@formspec/core 0.1.0-alpha.2 → 0.1.0-alpha.23

package/dist/core.d.ts

@@ -0,0 +1,917 @@
+/**
+ * `@formspec/core` - Core type definitions for FormSpec
+ *
+ * This package provides the foundational types used throughout the FormSpec ecosystem:
+ * - Form element types (fields, groups, conditionals)
+ * - Field and form state types
+ * - Data source registry for dynamic enums
+ * - Canonical IR types (FormIR, FieldNode, TypeNode, ConstraintNode, AnnotationNode, etc.)
+ *
+ * @packageDocumentation
+ */
+
+/* Excluded from this release type: AnnotationNode */
+
+/**
+ * Union of all field types.
+ *
+ * @public
+ */
+export declare type AnyField = TextField<string> | NumberField<string> | BooleanField<string> | StaticEnumField<string, readonly EnumOptionValue[]> | DynamicEnumField<string, string> | DynamicSchemaField<string> | ArrayField<string, readonly FormElement[]> | ObjectField<string, readonly FormElement[]>;
+
+/* Excluded from this release type: ArrayCardinalityConstraintNode */
+
+/**
+ * An array field containing repeating items.
+ *
+ * Use this for lists of values (e.g., multiple addresses, line items).
+ *
+ * @typeParam N - The field name (string literal type)
+ * @typeParam Items - The form elements that define each array item
+ *
+ * @public
+ */
+export declare interface ArrayField<N extends string, Items extends readonly FormElement[]> {
+    /** Type discriminator for form elements */
+    readonly _type: "field";
+    /** Field type discriminator - identifies this as an array field */
+    readonly _field: "array";
+    /** Unique field identifier used as the schema key */
+    readonly name: N;
+    /** Form elements that define the schema for each array item */
+    readonly items: Items;
+    /** Display label for the field */
+    readonly label?: string;
+    /** Whether this field is required for form submission */
+    readonly required?: boolean;
+    /** Minimum number of items required */
+    readonly minItems?: number;
+    /** Maximum number of items allowed */
+    readonly maxItems?: number;
+}
+
+/* Excluded from this release type: ArrayTypeNode */
+
+/**
+ * A boolean checkbox field.
+ *
+ * @typeParam N - The field name (string literal type)
+ *
+ * @public
+ */
+export declare interface BooleanField<N extends string> {
+    /** Type discriminator for form elements */
+    readonly _type: "field";
+    /** Field type discriminator - identifies this as a boolean field */
+    readonly _field: "boolean";
+    /** Unique field identifier used as the schema key */
+    readonly name: N;
+    /** Display label for the field */
+    readonly label?: string;
+    /** Whether this field is required for form submission */
+    readonly required?: boolean;
+}
+
+/**
+ * Registration for mapping a built-in TSDoc tag onto a custom constraint when
+ * it is used on a particular custom type.
+ *
+ * @public
+ */
+export declare interface BuiltinConstraintBroadeningRegistration {
+    /** The built-in tag being broadened, without the `@` prefix. */
+    readonly tagName: BuiltinConstraintName;
+    /** The custom constraint to emit for this built-in tag. */
+    readonly constraintName: string;
+    /** Parser from raw TSDoc text to extension payload. */
+    readonly parseValue: (raw: string) => ExtensionPayloadValue;
+}
+
+/**
+ * Type of a built-in constraint name.
+ *
+ * @public
+ */
+export declare type BuiltinConstraintName = "minimum" | "maximum" | "exclusiveMinimum" | "exclusiveMaximum" | "multipleOf" | "minLength" | "maxLength" | "minItems" | "maxItems" | "uniqueItems" | "pattern" | "const" | "enumOptions";
+
+/**
+ * A conditional wrapper that shows/hides elements based on another field's value.
+ *
+ * @typeParam FieldName - The field to check
+ * @typeParam Value - The value that triggers the condition
+ * @typeParam Elements - Tuple of contained form elements
+ *
+ * @public
+ */
+export declare interface Conditional<FieldName extends string, Value, Elements extends readonly FormElement[]> {
+    /** Type discriminator - identifies this as a conditional element */
+    readonly _type: "conditional";
+    /** Name of the field whose value determines visibility */
+    readonly field: FieldName;
+    /** Value that triggers the condition (shows nested elements) */
+    readonly value: Value;
+    /** Form elements shown when condition is met */
+    readonly elements: Elements;
+}
+
+/* Excluded from this release type: ConditionalLayoutNode */
+
+/* Excluded from this release type: ConstConstraintNode */
+
+/* Excluded from this release type: ConstraintNode */
+
+/**
+ * Semantic metadata for ordered custom constraints that should participate in
+ * the generic contradiction/broadening logic.
+ *
+ * @public
+ */
+export declare interface ConstraintSemanticRole {
+    /**
+     * Logical family identifier shared by related constraints, for example
+     * `"decimal-bound"` or `"date-bound"`.
+     */
+    readonly family: string;
+    /** Whether this constraint acts as a lower or upper bound. */
+    readonly bound: "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.
+ *
+ * @public
+ */
+export declare interface ConstraintTagRegistration {
+    /** Tag name without the `@` prefix, e.g. `"maxSigFig"`. */
+    readonly tagName: string;
+    /** The custom constraint that this tag should produce. */
+    readonly constraintName: string;
+    /** Parser from raw TSDoc text to JSON-serializable payload. */
+    readonly parseValue: (raw: string) => ExtensionPayloadValue;
+    /**
+     * Optional precise applicability predicate for the field type being parsed.
+     * When omitted, the target custom constraint registration controls type
+     * applicability during validation.
+     */
+    readonly isApplicableToType?: (type: ExtensionApplicableType) => boolean;
+}
+
+/**
+ * Creates initial field state with default values.
+ *
+ * @typeParam T - The value type of the field
+ * @param value - The initial value for the field
+ * @returns Initial field state
+ *
+ * @public
+ */
+export declare function createInitialFieldState<T>(value: T): FieldState<T>;
+
+/* Excluded from this release type: CustomAnnotationNode */
+
+/**
+ * Registration for a custom annotation that may produce JSON Schema keywords.
+ *
+ * Custom annotations are referenced by FormSpec's internal custom-annotation nodes.
+ * They describe or present a field but do not affect which values are valid.
+ *
+ * @public
+ */
+export declare interface CustomAnnotationRegistration {
+    /** The annotation name, unique within the extension. */
+    readonly annotationName: string;
+    /**
+     * Optionally converts the annotation value into JSON Schema keywords.
+     * If omitted, the annotation has no JSON Schema representation (UI-only).
+     */
+    readonly toJsonSchema?: (value: ExtensionPayloadValue, vendorPrefix: string) => Record<string, unknown>;
+}
+
+/* Excluded from this release type: CustomConstraintNode */
+
+/**
+ * Registration for a custom constraint that maps to JSON Schema keywords.
+ *
+ * Custom constraints are referenced by FormSpec's internal custom-constraint nodes.
+ *
+ * @public
+ */
+export declare interface CustomConstraintRegistration {
+    /** The constraint name, unique within the extension. */
+    readonly constraintName: string;
+    /**
+     * How this constraint composes with other constraints of the same kind.
+     * - "intersect": combine with logical AND (both must hold)
+     * - "override": last writer wins
+     */
+    readonly compositionRule: "intersect" | "override";
+    /**
+     * TypeNode kinds this constraint is applicable to, or `null` for any type.
+     * Used by the validator to emit TYPE_MISMATCH diagnostics.
+     */
+    readonly applicableTypes: readonly ExtensionApplicableType["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) => boolean;
+    /**
+     * Optional comparator for payloads belonging to the same custom constraint.
+     * Return values follow the `Array.prototype.sort()` contract.
+     */
+    readonly comparePayloads?: (left: ExtensionPayloadValue, right: ExtensionPayloadValue) => number;
+    /**
+     * Optional semantic family metadata for generic contradiction/broadening
+     * handling across ordered constraints.
+     */
+    readonly semanticRole?: ConstraintSemanticRole;
+    /**
+     * Converts the custom constraint's payload into JSON Schema keywords.
+     *
+     * @param payload - The opaque JSON payload stored on the custom constraint node.
+     * @param vendorPrefix - The vendor prefix for extension keywords.
+     * @returns A JSON Schema fragment with the constraint keywords.
+     */
+    readonly toJsonSchema: (payload: ExtensionPayloadValue, vendorPrefix: string) => Record<string, unknown>;
+}
+
+/* Excluded from this release type: CustomTypeNode */
+
+/**
+ * Registration for a custom type that maps to a JSON Schema representation.
+ *
+ * Custom types are referenced by FormSpec's internal custom-type IR nodes and
+ * resolved to JSON Schema via `toJsonSchema` during generation.
+ *
+ * @public
+ */
+export declare interface CustomTypeRegistration {
+    /** The type name, unique within the extension. */
+    readonly typeName: string;
+    /**
+     * Optional TypeScript surface names that should resolve to this custom type
+     * during TSDoc/class analysis. Defaults to `typeName` when omitted.
+     */
+    readonly tsTypeNames?: readonly string[];
+    /**
+     * Converts the custom type's payload into a JSON Schema fragment.
+     *
+     * @param payload - The opaque JSON payload stored on the custom type node.
+     * @param vendorPrefix - The vendor prefix for extension keywords (e.g., "x-stripe").
+     * @returns A JSON Schema fragment representing this type.
+     */
+    readonly toJsonSchema: (payload: ExtensionPayloadValue, vendorPrefix: string) => Record<string, unknown>;
+    /**
+     * 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[];
+}
+
+/**
+ * A single option returned by a data source resolver.
+ *
+ * @typeParam T - The data type for additional option metadata
+ *
+ * @public
+ */
+export declare interface DataSourceOption<T = unknown> {
+    /** The value stored when this option is selected */
+    readonly value: string;
+    /** The display label for this option */
+    readonly label: string;
+    /** Optional additional data associated with this option */
+    readonly data?: T;
+}
+
+/**
+ * Registry for dynamic data sources.
+ *
+ * Extend this interface via module augmentation to register your data sources:
+ *
+ * @example
+ * ```typescript
+ * declare module "@formspec/core" {
+ *   interface DataSourceRegistry {
+ *     countries: { id: string; code: string; name: string };
+ *     templates: { id: string; name: string; category: string };
+ *   }
+ * }
+ * ```
+ *
+ * @public
+ */
+export declare interface DataSourceRegistry {
+}
+
+/**
+ * Gets the value type for a registered data source.
+ *
+ * If the source has an `id` property, that becomes the value type.
+ * Otherwise, defaults to `string`.
+ *
+ * @public
+ */
+export declare type DataSourceValueType<Source extends string> = Source extends keyof DataSourceRegistry ? DataSourceRegistry[Source] extends {
+    id: infer ID;
+} ? ID : string : string;
+
+/* Excluded from this release type: DefaultValueAnnotationNode */
+
+/**
+ * Defines a custom annotation registration. Currently an identity function
+ * that provides type-checking and IDE autocompletion.
+ *
+ * @param reg - The custom annotation registration.
+ * @returns The same registration, validated at the type level.
+ *
+ * @public
+ */
+export declare function defineAnnotation(reg: CustomAnnotationRegistration): CustomAnnotationRegistration;
+
+/**
+ * Defines a custom constraint registration. Currently an identity function
+ * that provides type-checking and IDE autocompletion.
+ *
+ * @param reg - The custom constraint registration.
+ * @returns The same registration, validated at the type level.
+ *
+ * @public
+ */
+export declare function defineConstraint(reg: CustomConstraintRegistration): CustomConstraintRegistration;
+
+/**
+ * Defines a custom TSDoc constraint tag registration.
+ *
+ * @param reg - The custom tag registration.
+ * @returns The same registration, validated at the type level.
+ *
+ * @public
+ */
+export declare function defineConstraintTag(reg: ConstraintTagRegistration): ConstraintTagRegistration;
+
+/**
+ * Defines a custom type registration. Currently an identity function that
+ * provides type-checking and IDE autocompletion.
+ *
+ * @param reg - The custom type registration.
+ * @returns The same registration, validated at the type level.
+ *
+ * @public
+ */
+export declare function defineCustomType(reg: CustomTypeRegistration): CustomTypeRegistration;
+
+/**
+ * Defines a complete extension. Currently an identity function that provides
+ * type-checking and IDE autocompletion for the definition shape.
+ *
+ * @param def - The extension definition.
+ * @returns The same definition, validated at the type level.
+ *
+ * @public
+ */
+export declare function defineExtension(def: ExtensionDefinition): ExtensionDefinition;
+
+/* Excluded from this release type: DeprecatedAnnotationNode */
+
+/* Excluded from this release type: DescriptionAnnotationNode */
+
+/* Excluded from this release type: DisplayNameAnnotationNode */
+
+/**
+ * A field with dynamic enum options (fetched from a data source at runtime).
+ *
+ * @typeParam N - The field name (string literal type)
+ * @typeParam Source - The data source key (from DataSourceRegistry)
+ *
+ * @public
+ */
+export declare interface DynamicEnumField<N extends string, Source extends string> {
+    /** Type discriminator for form elements */
+    readonly _type: "field";
+    /** Field type discriminator - identifies this as a dynamic enum field */
+    readonly _field: "dynamic_enum";
+    /** Unique field identifier used as the schema key */
+    readonly name: N;
+    /** Data source key for fetching options at runtime */
+    readonly source: Source;
+    /** Display label for the field */
+    readonly label?: string;
+    /** Whether this field is required for form submission */
+    readonly required?: boolean;
+    /** Field names whose values are needed to fetch options */
+    readonly params?: readonly string[];
+}
+
+/**
+ * A field that loads its schema dynamically (e.g., from an extension).
+ *
+ * @typeParam N - The field name (string literal type)
+ *
+ * @public
+ */
+export declare interface DynamicSchemaField<N extends string> {
+    /** Type discriminator for form elements */
+    readonly _type: "field";
+    /** Field type discriminator - identifies this as a dynamic schema field */
+    readonly _field: "dynamic_schema";
+    /** Unique field identifier used as the schema key */
+    readonly name: N;
+    /** Identifier for the schema source */
+    readonly schemaSource: string;
+    /** Display label for the field */
+    readonly label?: string;
+    /** Whether this field is required for form submission */
+    readonly required?: boolean;
+    /** Field names whose values are needed to configure the schema */
+    readonly params?: readonly string[];
+}
+
+/* Excluded from this release type: DynamicTypeNode */
+
+/* Excluded from this release type: EnumMember */
+
+/* Excluded from this release type: EnumMemberConstraintNode */
+
+/**
+ * An enum option with a separate ID and display label.
+ *
+ * Use this when the stored value (id) should differ from the display text (label).
+ *
+ * @public
+ */
+export declare interface EnumOption {
+    readonly id: string;
+    readonly label: string;
+}
+
+/**
+ * Valid enum option types: either plain strings or objects with id/label.
+ *
+ * @public
+ */
+export declare type EnumOptionValue = string | EnumOption;
+
+/* Excluded from this release type: EnumTypeNode */
+
+/**
+ * Predicate types for conditional logic.
+ *
+ * Predicates are used with `when()` to define conditions in a readable way.
+ */
+/**
+ * An equality predicate that checks if a field equals a specific value.
+ *
+ * @typeParam K - The field name to check
+ * @typeParam V - The value to compare against
+ *
+ * @public
+ */
+export declare interface EqualsPredicate<K extends string, V> {
+    /** Predicate type discriminator */
+    readonly _predicate: "equals";
+    /** Name of the field to check */
+    readonly field: K;
+    /** Value that the field must equal */
+    readonly value: V;
+}
+
+/**
+ * A curated type shape exposed to extension applicability hooks.
+ *
+ * This intentionally exposes only the fields needed to determine tag/type
+ * applicability without committing the entire canonical IR as public API.
+ *
+ * @public
+ */
+export declare type ExtensionApplicableType = {
+    readonly kind: "primitive";
+    readonly primitiveKind: "string" | "number" | "integer" | "bigint" | "boolean" | "null";
+} | {
+    readonly kind: "custom";
+    readonly typeId: string;
+    readonly payload: ExtensionPayloadValue;
+} | {
+    readonly kind: Exclude<ExtensionTypeKind, "primitive" | "custom">;
+};
+
+/**
+ * A complete extension definition bundling types, constraints, annotations,
+ * and vocabulary keywords.
+ *
+ * @example
+ * ```typescript
+ * const monetaryExtension = defineExtension({
+ *   extensionId: "x-stripe/monetary",
+ *   types: [
+ *     defineCustomType({
+ *       typeName: "Decimal",
+ *       toJsonSchema: (_payload, prefix) => ({
+ *         type: "string",
+ *         [`${prefix}-decimal`]: true,
+ *       }),
+ *     }),
+ *   ],
+ * });
+ * ```
+ *
+ * @public
+ */
+export declare interface ExtensionDefinition {
+    /** Globally unique extension identifier, e.g., "x-stripe/monetary". */
+    readonly extensionId: string;
+    /** Custom type registrations provided by this extension. */
+    readonly types?: readonly CustomTypeRegistration[];
+    /** Custom constraint registrations provided by this extension. */
+    readonly constraints?: readonly CustomConstraintRegistration[];
+    /** Authoring-side TSDoc tag registrations provided by this extension. */
+    readonly constraintTags?: readonly ConstraintTagRegistration[];
+    /** Custom annotation registrations provided by this extension. */
+    readonly annotations?: readonly CustomAnnotationRegistration[];
+    /** Vocabulary keyword registrations provided by this extension. */
+    readonly vocabularyKeywords?: readonly VocabularyKeywordRegistration[];
+}
+
+/**
+ * A JSON-serializable payload value used by extension registration hooks.
+ *
+ * @public
+ */
+export declare type ExtensionPayloadValue = null | boolean | number | string | readonly ExtensionPayloadValue[] | {
+    readonly [key: string]: ExtensionPayloadValue;
+};
+
+/**
+ * Top-level type kinds that extension applicability hooks may inspect.
+ *
+ * @public
+ */
+export declare type ExtensionTypeKind = "primitive" | "enum" | "array" | "object" | "record" | "union" | "reference" | "dynamic" | "custom";
+
+/**
+ * Response from a data source resolver function.
+ *
+ * @typeParam T - The data type for option metadata
+ *
+ * @public
+ */
+export declare interface FetchOptionsResponse<T = unknown> {
+    /** The available options */
+    readonly options: readonly DataSourceOption<T>[];
+    /** Validity state of the fetch operation */
+    readonly validity: "valid" | "invalid" | "unknown";
+    /** Optional message (e.g., error description) */
+    readonly message?: string;
+}
+
+/* Excluded from this release type: FieldNode */
+
+/**
+ * Represents the runtime state of a single form field.
+ *
+ * @typeParam T - The value type of the field
+ *
+ * @public
+ */
+export declare interface FieldState<T> {
+    /** Current value of the field */
+    readonly value: T;
+    /** Whether the field has been modified by the user */
+    readonly dirty: boolean;
+    /** Whether the field has been focused and blurred */
+    readonly touched: boolean;
+    /** Current validity state */
+    readonly validity: Validity;
+    /** Validation error messages, if any */
+    readonly errors: readonly string[];
+}
+
+/* Excluded from this release type: FormatAnnotationNode */
+
+/* Excluded from this release type: FormatHintAnnotationNode */
+
+/**
+ * Union of all form element types (fields and structural elements).
+ *
+ * @public
+ */
+export declare type FormElement = AnyField | Group<readonly FormElement[]> | Conditional<string, unknown, readonly FormElement[]>;
+
+/* Excluded from this release type: FormIR */
+
+/* Excluded from this release type: FormIRElement */
+
+/**
+ * A complete form specification.
+ *
+ * @typeParam Elements - Tuple of top-level form elements
+ *
+ * @public
+ */
+export declare interface FormSpec<Elements extends readonly FormElement[]> {
+    /** Top-level form elements */
+    readonly elements: Elements;
+}
+
+/**
+ * Represents the runtime state of an entire form.
+ *
+ * @typeParam Schema - The form schema type (maps field names to value types)
+ *
+ * @public
+ */
+export declare interface FormState<Schema extends Record<string, unknown>> {
+    /** State for each field, keyed by field name */
+    readonly fields: {
+        readonly [K in keyof Schema]: FieldState<Schema[K]>;
+    };
+    /** Whether any field has been modified */
+    readonly dirty: boolean;
+    /** Whether the form is currently being submitted */
+    readonly submitting: boolean;
+    /** Overall form validity (derived from all field validities) */
+    readonly validity: Validity;
+}
+
+/**
+ * A visual grouping of form elements.
+ *
+ * Groups provide visual organization and can be rendered as fieldsets or sections.
+ *
+ * @typeParam Elements - Tuple of contained form elements
+ *
+ * @public
+ */
+export declare interface Group<Elements extends readonly FormElement[]> {
+    /** Type discriminator - identifies this as a group element */
+    readonly _type: "group";
+    /** Display label for the group */
+    readonly label: string;
+    /** Form elements contained within this group */
+    readonly elements: Elements;
+}
+
+/* Excluded from this release type: GroupLayoutNode */
+
+/* Excluded from this release type: IR_VERSION */
+
+/**
+ * Narrows a `FormElement` to an array field.
+ *
+ * @public
+ */
+export declare function isArrayField(element: FormElement): element is ArrayField<string, readonly FormElement[]>;
+
+/**
+ * Narrows a `FormElement` to a boolean checkbox field.
+ *
+ * @public
+ */
+export declare function isBooleanField(element: FormElement): element is BooleanField<string>;
+
+/**
+ * Narrows a `FormElement` to a conditional wrapper.
+ *
+ * @public
+ */
+export declare function isConditional(element: FormElement): element is Conditional<string, unknown, readonly FormElement[]>;
+
+/**
+ * Narrows a `FormElement` to a dynamic enum field.
+ *
+ * @public
+ */
+export declare function isDynamicEnumField(element: FormElement): element is DynamicEnumField<string, string>;
+
+/**
+ * Narrows a `FormElement` to a dynamic schema field.
+ *
+ * @public
+ */
+export declare function isDynamicSchemaField(element: FormElement): element is DynamicSchemaField<string>;
+
+/**
+ * Narrows a `FormElement` to any field type.
+ *
+ * @public
+ */
+export declare function isField(element: FormElement): element is AnyField;
+
+/**
+ * Narrows a `FormElement` to a visual group.
+ *
+ * @public
+ */
+export declare function isGroup(element: FormElement): element is Group<readonly FormElement[]>;
+
+/**
+ * Narrows a `FormElement` to a numeric input field.
+ *
+ * @public
+ */
+export declare function isNumberField(element: FormElement): element is NumberField<string>;
+
+/**
+ * Narrows a `FormElement` to an object field.
+ *
+ * @public
+ */
+export declare function isObjectField(element: FormElement): element is ObjectField<string, readonly FormElement[]>;
+
+/**
+ * Narrows a `FormElement` to a static enum field.
+ *
+ * @public
+ */
+export declare function isStaticEnumField(element: FormElement): element is StaticEnumField<string, readonly EnumOptionValue[]>;
+
+/**
+ * Narrows a `FormElement` to a text input field.
+ *
+ * @public
+ */
+export declare function isTextField(element: FormElement): element is TextField<string>;
+
+/* Excluded from this release type: JsonValue */
+
+/* Excluded from this release type: LayoutNode */
+
+/* Excluded from this release type: LengthConstraintNode */
+
+/**
+ * A numeric input field.
+ *
+ * @typeParam N - The field name (string literal type)
+ *
+ * @public
+ */
+export declare interface NumberField<N extends string> {
+    /** Type discriminator for form elements */
+    readonly _type: "field";
+    /** Field type discriminator - identifies this as a number field */
+    readonly _field: "number";
+    /** Unique field identifier used as the schema key */
+    readonly name: N;
+    /** Display label for the field */
+    readonly label?: string;
+    /** Minimum allowed value */
+    readonly min?: number;
+    /** Maximum allowed value */
+    readonly max?: number;
+    /** Whether this field is required for form submission */
+    readonly required?: boolean;
+    /** Value must be a multiple of this number (use 1 for integer semantics) */
+    readonly multipleOf?: number;
+}
+
+/* Excluded from this release type: NumericConstraintNode */
+
+/**
+ * An object field containing nested properties.
+ *
+ * Use this for grouping related fields under a single key in the schema.
+ *
+ * @typeParam N - The field name (string literal type)
+ * @typeParam Properties - The form elements that define the object's properties
+ *
+ * @public
+ */
+export declare interface ObjectField<N extends string, Properties extends readonly FormElement[]> {
+    /** Type discriminator for form elements */
+    readonly _type: "field";
+    /** Field type discriminator - identifies this as an object field */
+    readonly _field: "object";
+    /** Unique field identifier used as the schema key */
+    readonly name: N;
+    /** Form elements that define the properties of this object */
+    readonly properties: Properties;
+    /** Display label for the field */
+    readonly label?: string;
+    /** Whether this field is required for form submission */
+    readonly required?: boolean;
+}
+
+/* Excluded from this release type: ObjectProperty */
+
+/* Excluded from this release type: ObjectTypeNode */
+
+/* Excluded from this release type: PathTarget */
+
+/* Excluded from this release type: PatternConstraintNode */
+
+/* Excluded from this release type: PlaceholderAnnotationNode */
+
+/**
+ * Union of all predicate types.
+ *
+ * Currently only supports equality, but can be extended with:
+ * - `OneOfPredicate` - field value is one of several options
+ * - `NotPredicate` - negation of another predicate
+ * - `AndPredicate` / `OrPredicate` - logical combinations
+ *
+ * @public
+ */
+export declare type Predicate<K extends string = string, V = unknown> = EqualsPredicate<K, V>;
+
+/* Excluded from this release type: PrimitiveTypeNode */
+
+/* Excluded from this release type: Provenance */
+
+/* Excluded from this release type: RecordTypeNode */
+
+/* Excluded from this release type: ReferenceTypeNode */
+
+/* Excluded from this release type: RemarksAnnotationNode */
+
+/**
+ * A field with static enum options (known at compile time).
+ *
+ * Options can be plain strings or objects with `id` and `label` properties.
+ *
+ * @typeParam N - The field name (string literal type)
+ * @typeParam O - Tuple of option values (strings or EnumOption objects)
+ *
+ * @public
+ */
+export declare interface StaticEnumField<N extends string, O extends readonly EnumOptionValue[]> {
+    /** Type discriminator for form elements */
+    readonly _type: "field";
+    /** Field type discriminator - identifies this as an enum field */
+    readonly _field: "enum";
+    /** Unique field identifier used as the schema key */
+    readonly name: N;
+    /** Array of allowed option values */
+    readonly options: O;
+    /** Display label for the field */
+    readonly label?: string;
+    /** Whether this field is required for form submission */
+    readonly required?: boolean;
+}
+
+/**
+ * Form element type definitions.
+ *
+ * These types define the structure of form specifications.
+ * The structure IS the definition - nesting implies layout and conditional logic.
+ */
+/**
+ * A text input field.
+ *
+ * @typeParam N - The field name (string literal type)
+ *
+ * @public
+ */
+export declare interface TextField<N extends string> {
+    /** Type discriminator for form elements */
+    readonly _type: "field";
+    /** Field type discriminator - identifies this as a text field */
+    readonly _field: "text";
+    /** Unique field identifier used as the schema key */
+    readonly name: N;
+    /** Display label for the field */
+    readonly label?: string;
+    /** Placeholder text shown when field is empty */
+    readonly placeholder?: string;
+    /** Whether this field is required for form submission */
+    readonly required?: boolean;
+    /** Minimum string length */
+    readonly minLength?: number;
+    /** Maximum string length */
+    readonly maxLength?: number;
+    /** Regular expression pattern the value must match */
+    readonly pattern?: string;
+}
+
+/* Excluded from this release type: TypeDefinition */
+
+/* Excluded from this release type: TypeNode */
+
+/* Excluded from this release type: UnionTypeNode */
+
+/**
+ * Represents the validity state of a field or form.
+ *
+ * - `"valid"` - All validations pass
+ * - `"invalid"` - One or more validations failed
+ * - `"unknown"` - Validation state not yet determined (e.g., async validation pending)
+ *
+ * @public
+ */
+export declare type Validity = "valid" | "invalid" | "unknown";
+
+/**
+ * Registration for a vocabulary keyword to include in a JSON Schema `$vocabulary` declaration.
+ *
+ * @public
+ */
+export declare interface VocabularyKeywordRegistration {
+    /** The keyword name (without vendor prefix). */
+    readonly keyword: string;
+    /** JSON Schema that describes the valid values for this keyword. */
+    readonly schema: ExtensionPayloadValue;
+}
+
+export { }