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

package/dist/core.d.ts

@@ -10,14 +10,7 @@
  * @packageDocumentation
  */
 
-/**
- * Discriminated union of all annotation types.
- * Annotations are value-influencing: they describe or present a field
- * but do not affect which values are valid.
- *
- * @public
- */
-export declare type AnnotationNode = DisplayNameAnnotationNode | DescriptionAnnotationNode | RemarksAnnotationNode | FormatAnnotationNode | PlaceholderAnnotationNode | DefaultValueAnnotationNode | DeprecatedAnnotationNode | FormatHintAnnotationNode | CustomAnnotationNode;
+/* Excluded from this release type: AnnotationNode */
 
 /**
  * Union of all field types.
@@ -26,18 +19,7 @@ export declare type AnnotationNode = DisplayNameAnnotationNode | DescriptionAnno
  */
 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[]>;
 
-/**
- * Array uniqueness constraint.
- *
- * @public
- */
-export declare interface ArrayCardinalityConstraintNode {
-    readonly kind: "constraint";
-    readonly constraintKind: "uniqueItems";
-    readonly value: true;
-    readonly path?: PathTarget;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: ArrayCardinalityConstraintNode */
 
 /**
  * An array field containing repeating items.
@@ -68,15 +50,7 @@ export declare interface ArrayField<N extends string, Items extends readonly For
     readonly maxItems?: number;
 }
 
-/**
- * Array type with a single items type.
- *
- * @public
- */
-export declare interface ArrayTypeNode {
-    readonly kind: "array";
-    readonly items: TypeNode;
-}
+/* Excluded from this release type: ArrayTypeNode */
 
 /**
  * A boolean checkbox field.
@@ -98,31 +72,6 @@ export declare interface BooleanField<N extends string> {
     readonly required?: boolean;
 }
 
-/**
- * Built-in constraint names mapped to their expected value type for parsing.
- * Constraints are surface-agnostic — they manifest as both TSDoc tags
- * (e.g., `@minimum 0`) and chain DSL options (e.g., `{ minimum: 0 }`).
- *
- * Keys use camelCase matching JSON Schema property names.
- *
- * @public
- */
-export declare const BUILTIN_CONSTRAINT_DEFINITIONS: {
-    readonly minimum: "number";
-    readonly maximum: "number";
-    readonly exclusiveMinimum: "number";
-    readonly exclusiveMaximum: "number";
-    readonly multipleOf: "number";
-    readonly minLength: "number";
-    readonly maxLength: "number";
-    readonly minItems: "number";
-    readonly maxItems: "number";
-    readonly uniqueItems: "boolean";
-    readonly pattern: "string";
-    readonly const: "json";
-    readonly enumOptions: "json";
-};
-
 /**
  * Registration for mapping a built-in TSDoc tag onto a custom constraint when
  * it is used on a particular custom type.
@@ -135,7 +84,7 @@ export declare interface BuiltinConstraintBroadeningRegistration {
     /** 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) => JsonValue;
+    readonly parseValue: (raw: string) => ExtensionPayloadValue;
 }
 
 /**
@@ -143,7 +92,7 @@ export declare interface BuiltinConstraintBroadeningRegistration {
  *
  * @public
  */
-export declare type BuiltinConstraintName = keyof typeof BUILTIN_CONSTRAINT_DEFINITIONS;
+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.
@@ -165,42 +114,11 @@ export declare interface Conditional<FieldName extends string, Value, Elements e
     readonly elements: Elements;
 }
 
-/**
- * Conditional visibility based on another field's value.
- *
- * @public
- */
-export declare interface ConditionalLayoutNode {
-    readonly kind: "conditional";
-    /** The field whose value triggers visibility. */
-    readonly fieldName: string;
-    /** The value that makes the condition true (SHOW). */
-    readonly value: JsonValue;
-    /** Elements shown when the condition is met. */
-    readonly elements: readonly FormIRElement[];
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: ConditionalLayoutNode */
 
-/**
- * Literal-value equality constraint.
- *
- * @public
- */
-export declare interface ConstConstraintNode {
-    readonly kind: "constraint";
-    readonly constraintKind: "const";
-    readonly value: JsonValue;
-    readonly path?: PathTarget;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: ConstConstraintNode */
 
-/**
- * Discriminated union of all constraint types.
- * Constraints are set-influencing: they narrow the set of valid values.
- *
- * @public
- */
-export declare type ConstraintNode = NumericConstraintNode | LengthConstraintNode | PatternConstraintNode | ArrayCardinalityConstraintNode | EnumMemberConstraintNode | ConstConstraintNode | CustomConstraintNode;
+/* Excluded from this release type: ConstraintNode */
 
 /**
  * Semantic metadata for ordered custom constraints that should participate in
@@ -231,13 +149,13 @@ export declare interface ConstraintTagRegistration {
     /** The custom constraint that this tag should produce. */
     readonly constraintName: string;
     /** Parser from raw TSDoc text to JSON-serializable payload. */
-    readonly parseValue: (raw: string) => JsonValue;
+    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: TypeNode) => boolean;
+    readonly isApplicableToType?: (type: ExtensionApplicableType) => boolean;
 }
 
 /**
@@ -251,24 +169,12 @@ export declare interface ConstraintTagRegistration {
  */
 export declare function createInitialFieldState<T>(value: T): FieldState<T>;
 
-/**
- * Extension-registered custom annotation.
- *
- * @public
- */
-export declare interface CustomAnnotationNode {
-    readonly kind: "annotation";
-    readonly annotationKind: "custom";
-    /** Extension-qualified ID: `"<vendor-prefix>/<extension-name>/<annotation-name>"` */
-    readonly annotationId: string;
-    readonly value: JsonValue;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: CustomAnnotationNode */
 
 /**
  * Registration for a custom annotation that may produce JSON Schema keywords.
  *
- * Custom annotations are referenced via {@link CustomAnnotationNode} in the IR.
+ * 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
@@ -280,31 +186,15 @@ export declare interface CustomAnnotationRegistration {
      * Optionally converts the annotation value into JSON Schema keywords.
      * If omitted, the annotation has no JSON Schema representation (UI-only).
      */
-    readonly toJsonSchema?: (value: JsonValue, vendorPrefix: string) => Record<string, unknown>;
+    readonly toJsonSchema?: (value: ExtensionPayloadValue, vendorPrefix: string) => Record<string, unknown>;
 }
 
-/**
- * Extension-registered custom constraint.
- *
- * @public
- */
-export declare interface CustomConstraintNode {
-    readonly kind: "constraint";
-    readonly constraintKind: "custom";
-    /** Extension-qualified ID: `"<vendor-prefix>/<extension-name>/<constraint-name>"` */
-    readonly constraintId: string;
-    /** JSON-serializable payload defined by the extension. */
-    readonly payload: JsonValue;
-    /** How this constraint composes with others of the same `constraintId`. */
-    readonly compositionRule: "intersect" | "override";
-    readonly path?: PathTarget;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: CustomConstraintNode */
 
 /**
  * Registration for a custom constraint that maps to JSON Schema keywords.
  *
- * Custom constraints are referenced via {@link CustomConstraintNode} in the IR.
+ * Custom constraints are referenced by FormSpec's internal custom-constraint nodes.
  *
  * @public
  */
@@ -321,18 +211,18 @@ export declare interface CustomConstraintRegistration {
      * TypeNode kinds this constraint is applicable to, or `null` for any type.
      * Used by the validator to emit TYPE_MISMATCH diagnostics.
      */
-    readonly applicableTypes: readonly TypeNode["kind"][] | null;
+    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: TypeNode) => boolean;
+    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: JsonValue, right: JsonValue) => number;
+    readonly comparePayloads?: (left: ExtensionPayloadValue, right: ExtensionPayloadValue) => number;
     /**
      * Optional semantic family metadata for generic contradiction/broadening
      * handling across ordered constraints.
@@ -341,37 +231,19 @@ export declare interface CustomConstraintRegistration {
     /**
      * Converts the custom constraint's payload into JSON Schema keywords.
      *
-     * @param payload - The opaque JSON payload from the {@link CustomConstraintNode}.
+     * @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: JsonValue, vendorPrefix: string) => Record<string, unknown>;
+    readonly toJsonSchema: (payload: ExtensionPayloadValue, vendorPrefix: string) => Record<string, unknown>;
 }
 
-/**
- * Custom type registered by an extension.
- *
- * @public
- */
-export declare interface CustomTypeNode {
-    readonly kind: "custom";
-    /**
-     * The extension-qualified type identifier.
-     * Format: `"<vendor-prefix>/<extension-name>/<type-name>"`
-     * e.g., `"x-stripe/monetary/MonetaryAmount"`
-     */
-    readonly typeId: string;
-    /**
-     * Opaque payload serialized by the extension that registered this type.
-     * Must be JSON-serializable.
-     */
-    readonly payload: JsonValue;
-}
+/* Excluded from this release type: CustomTypeNode */
 
 /**
  * Registration for a custom type that maps to a JSON Schema representation.
  *
- * Custom types are referenced via {@link CustomTypeNode} in the IR and
+ * Custom types are referenced by FormSpec's internal custom-type IR nodes and
  * resolved to JSON Schema via `toJsonSchema` during generation.
  *
  * @public
@@ -387,11 +259,11 @@ export declare interface CustomTypeRegistration {
     /**
      * Converts the custom type's payload into a JSON Schema fragment.
      *
-     * @param payload - The opaque JSON payload from the {@link CustomTypeNode}.
+     * @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: JsonValue, vendorPrefix: string) => Record<string, unknown>;
+    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.
@@ -447,18 +319,7 @@ export declare type DataSourceValueType<Source extends string> = Source extends
     id: infer ID;
 } ? ID : string : string;
 
-/**
- * Default-value annotation.
- *
- * @public
- */
-export declare interface DefaultValueAnnotationNode {
-    readonly kind: "annotation";
-    readonly annotationKind: "defaultValue";
-    /** Must be JSON-serializable and type-compatible (verified during Validate phase). */
-    readonly value: JsonValue;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: DefaultValueAnnotationNode */
 
 /**
  * Defines a custom annotation registration. Currently an identity function
@@ -514,42 +375,11 @@ export declare function defineCustomType(reg: CustomTypeRegistration): CustomTyp
  */
 export declare function defineExtension(def: ExtensionDefinition): ExtensionDefinition;
 
-/**
- * Deprecated annotation.
- *
- * @public
- */
-export declare interface DeprecatedAnnotationNode {
-    readonly kind: "annotation";
-    readonly annotationKind: "deprecated";
-    /** Optional deprecation message. */
-    readonly message?: string;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: DeprecatedAnnotationNode */
 
-/**
- * Description annotation.
- *
- * @public
- */
-export declare interface DescriptionAnnotationNode {
-    readonly kind: "annotation";
-    readonly annotationKind: "description";
-    readonly value: string;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: DescriptionAnnotationNode */
 
-/**
- * Display-name annotation.
- *
- * @public
- */
-export declare interface DisplayNameAnnotationNode {
-    readonly kind: "annotation";
-    readonly annotationKind: "displayName";
-    readonly value: string;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: DisplayNameAnnotationNode */
 
 /**
  * A field with dynamic enum options (fetched from a data source at runtime).
@@ -600,47 +430,11 @@ export declare interface DynamicSchemaField<N extends string> {
     readonly params?: readonly string[];
 }
 
-/**
- * Dynamic type whose schema is resolved at runtime from a named data source.
- *
- * @public
- */
-export declare interface DynamicTypeNode {
-    readonly kind: "dynamic";
-    readonly dynamicKind: "enum" | "schema";
-    /** Key identifying the runtime data source or schema provider. */
-    readonly sourceKey: string;
-    /**
-     * For dynamic enums: field names whose current values are passed as
-     * parameters to the data source resolver.
-     */
-    readonly parameterFields: readonly string[];
-}
+/* Excluded from this release type: DynamicTypeNode */
 
-/**
- * A member of a static enum type.
- *
- * @public
- */
-export declare interface EnumMember {
-    /** The serialized value stored in data. */
-    readonly value: string | number;
-    /** Optional per-member display name. */
-    readonly displayName?: string;
-}
+/* Excluded from this release type: EnumMember */
 
-/**
- * Enum member subset constraint that only narrows the allowed member set.
- *
- * @public
- */
-export declare interface EnumMemberConstraintNode {
-    readonly kind: "constraint";
-    readonly constraintKind: "allowedMembers";
-    readonly members: readonly (string | number)[];
-    readonly path?: PathTarget;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: EnumMemberConstraintNode */
 
 /**
  * An enum option with a separate ID and display label.
@@ -661,15 +455,7 @@ export declare interface EnumOption {
  */
 export declare type EnumOptionValue = string | EnumOption;
 
-/**
- * Static enum type with members known at build time.
- *
- * @public
- */
-export declare interface EnumTypeNode {
-    readonly kind: "enum";
-    readonly members: readonly EnumMember[];
-}
+/* Excluded from this release type: EnumTypeNode */
 
 /**
  * Predicate types for conditional logic.
@@ -693,6 +479,25 @@ export declare interface EqualsPredicate<K extends string, V> {
     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.
@@ -730,6 +535,22 @@ export declare interface ExtensionDefinition {
     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.
  *
@@ -746,34 +567,7 @@ export declare interface FetchOptionsResponse<T = unknown> {
     readonly message?: string;
 }
 
-/**
- * A single form field after canonicalization.
- *
- * @public
- */
-export declare interface FieldNode {
-    readonly kind: "field";
-    /** The field's key in the data schema. */
-    readonly name: string;
-    /** The resolved type of this field. */
-    readonly type: TypeNode;
-    /** Whether this field is required in the data schema. */
-    readonly required: boolean;
-    /** Set-influencing constraints, after merging. */
-    readonly constraints: readonly ConstraintNode[];
-    /** Value-influencing annotations, after merging. */
-    readonly annotations: readonly AnnotationNode[];
-    /** Where this field was declared. */
-    readonly provenance: Provenance;
-    /**
-     * Debug only — ordered list of constraint/annotation nodes that participated
-     * in merging, including dominated ones.
-     */
-    readonly mergeHistory?: readonly {
-        readonly node: ConstraintNode | AnnotationNode;
-        readonly dominated: boolean;
-    }[];
-}
+/* Excluded from this release type: FieldNode */
 
 /**
  * Represents the runtime state of a single form field.
@@ -795,31 +589,9 @@ export declare interface FieldState<T> {
     readonly errors: readonly string[];
 }
 
-/**
- * Schema format annotation, for example `email`, `date`, or `uri`.
- *
- * @public
- */
-export declare interface FormatAnnotationNode {
-    readonly kind: "annotation";
-    readonly annotationKind: "format";
-    readonly value: string;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: FormatAnnotationNode */
 
-/**
- * UI rendering hint — does not affect schema validation.
- * Unlike FormatAnnotationNode, this never emits a JSON Schema `format`.
- *
- * @public
- */
-export declare interface FormatHintAnnotationNode {
-    readonly kind: "annotation";
-    readonly annotationKind: "formatHint";
-    /** Renderer-specific format identifier: "textarea", "radio", "date", "color", etc. */
-    readonly format: string;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: FormatHintAnnotationNode */
 
 /**
  * Union of all form element types (fields and structural elements).
@@ -828,44 +600,9 @@ export declare interface FormatHintAnnotationNode {
  */
 export declare type FormElement = AnyField | Group<readonly FormElement[]> | Conditional<string, unknown, readonly FormElement[]>;
 
-/**
- * The complete Canonical Intermediate Representation for a form.
- *
- * Output of the Canonicalize phase; input to Validate, Generate (JSON Schema),
- * and Generate (UI Schema) phases.
- *
- * Serializable to JSON — no live compiler objects.
- *
- * @public
- */
-export declare interface FormIR {
-    readonly kind: "form-ir";
-    /**
-     * Schema version for the IR format itself.
-     * Should equal `IR_VERSION`.
-     */
-    readonly irVersion: string;
-    /** Top-level elements of the form: fields and layout nodes. */
-    readonly elements: readonly FormIRElement[];
-    /** Root-level annotations derived from the source declaration itself. */
-    readonly rootAnnotations?: readonly AnnotationNode[];
-    /**
-     * Registry of named types referenced by fields in this form.
-     * Keys are fully-qualified type names matching `ReferenceTypeNode.name`.
-     */
-    readonly typeRegistry: Readonly<Record<string, TypeDefinition>>;
-    /** Root-level metadata for the form itself. */
-    readonly annotations?: readonly AnnotationNode[];
-    /** Provenance of the form definition itself. */
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: FormIR */
 
-/**
- * Union of all IR element types.
- *
- * @public
- */
-export declare type FormIRElement = FieldNode | LayoutNode;
+/* Excluded from this release type: FormIRElement */
 
 /**
  * A complete form specification.
@@ -917,26 +654,9 @@ export declare interface Group<Elements extends readonly FormElement[]> {
     readonly elements: Elements;
 }
 
-/**
- * A visual grouping of form elements.
- *
- * @public
- */
-export declare interface GroupLayoutNode {
-    readonly kind: "group";
-    readonly label: string;
-    /** Elements contained in this group — may be fields or nested groups. */
-    readonly elements: readonly FormIRElement[];
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: GroupLayoutNode */
 
-/**
- * The current IR format version. Centralized here so all canonicalizers
- * and consumers reference a single source of truth.
- *
- * @public
- */
-export declare const IR_VERSION: "0.1.0";
+/* Excluded from this release type: IR_VERSION */
 
 /**
  * Narrows a `FormElement` to an array field.
@@ -952,19 +672,6 @@ export declare function isArrayField(element: FormElement): element is ArrayFiel
  */
 export declare function isBooleanField(element: FormElement): element is BooleanField<string>;
 
-/**
- * Type guard: checks whether a tag name is a known built-in constraint.
- *
- * Uses `Object.hasOwn()` rather than `in` to prevent prototype-chain
- * matches on names like `"toString"` or `"constructor"`.
- *
- * Callers should normalize with {@link normalizeConstraintTagName} first
- * if the input may be PascalCase.
- *
- * @public
- */
-export declare function isBuiltinConstraintName(tagName: string): tagName is BuiltinConstraintName;
-
 /**
  * Narrows a `FormElement` to a conditional wrapper.
  *
@@ -1028,56 +735,11 @@ export declare function isStaticEnumField(element: FormElement): element is Stat
  */
 export declare function isTextField(element: FormElement): element is TextField<string>;
 
-/**
- * A JSON-serializable value. All IR nodes must be representable as JSON.
- *
- * @public
- */
-export declare type JsonValue = null | boolean | number | string | readonly JsonValue[] | {
-    readonly [key: string]: JsonValue;
-};
+/* Excluded from this release type: JsonValue */
 
-/**
- * Union of layout node types.
- *
- * @public
- */
-export declare type LayoutNode = GroupLayoutNode | ConditionalLayoutNode;
+/* Excluded from this release type: LayoutNode */
 
-/**
- * String length and array item count constraints.
- *
- * `minLength`/`maxLength` apply to strings; `minItems`/`maxItems` apply to
- * arrays. They share the same node shape because the composition rules are
- * identical.
- *
- * Type applicability: `minLength`/`maxLength` require `PrimitiveTypeNode("string")`;
- * `minItems`/`maxItems` require `ArrayTypeNode`.
- *
- * @public
- */
-export declare interface LengthConstraintNode {
-    readonly kind: "constraint";
-    readonly constraintKind: "minLength" | "maxLength" | "minItems" | "maxItems";
-    readonly value: number;
-    readonly path?: PathTarget;
-    readonly provenance: Provenance;
-}
-
-/**
- * Normalizes a constraint tag name from PascalCase to camelCase.
- *
- * Lowercases the first character so that e.g. `"Minimum"` becomes `"minimum"`.
- * Callers must strip the `@` prefix before calling this function.
- *
- * @example
- * normalizeConstraintTagName("Minimum")   // "minimum"
- * normalizeConstraintTagName("MinLength") // "minLength"
- * normalizeConstraintTagName("minimum")   // "minimum" (idempotent)
- *
- * @public
- */
-export declare function normalizeConstraintTagName(tagName: string): string;
+/* Excluded from this release type: LengthConstraintNode */
 
 /**
  * A numeric input field.
@@ -1105,26 +767,7 @@ export declare interface NumberField<N extends string> {
     readonly multipleOf?: number;
 }
 
-/**
- * Numeric constraints: bounds and multipleOf.
- *
- * `minimum` and `maximum` are inclusive; `exclusiveMinimum` and
- * `exclusiveMaximum` are exclusive bounds (matching JSON Schema 2020-12
- * semantics).
- *
- * Type applicability: may only attach to fields with `PrimitiveTypeNode("number")`
- * or a `ReferenceTypeNode` that resolves to one.
- *
- * @public
- */
-export declare interface NumericConstraintNode {
-    readonly kind: "constraint";
-    readonly constraintKind: "minimum" | "maximum" | "exclusiveMinimum" | "exclusiveMaximum" | "multipleOf";
-    readonly value: number;
-    /** If present, targets a nested sub-field rather than the field itself. */
-    readonly path?: PathTarget;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: NumericConstraintNode */
 
 /**
  * An object field containing nested properties.
@@ -1151,92 +794,15 @@ export declare interface ObjectField<N extends string, Properties extends readon
     readonly required?: boolean;
 }
 
-/**
- * A named property within an object type.
- *
- * @public
- */
-export declare interface ObjectProperty {
-    readonly name: string;
-    readonly type: TypeNode;
-    readonly optional: boolean;
-    /**
-     * Use-site constraints on this property.
-     * Distinct from constraints on the property's type — these are
-     * use-site constraints (e.g., `@minimum :amount 0` targets the
-     * `amount` property of a `MonetaryAmount` field).
-     */
-    readonly constraints: readonly ConstraintNode[];
-    /** Use-site annotations on this property. */
-    readonly annotations: readonly AnnotationNode[];
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: ObjectProperty */
 
-/**
- * Object type with named properties.
- *
- * @public
- */
-export declare interface ObjectTypeNode {
-    readonly kind: "object";
-    /**
-     * Named properties of this object. Order is preserved from the source
-     * declaration for deterministic output.
-     */
-    readonly properties: readonly ObjectProperty[];
-    /**
-     * Whether additional properties beyond those listed are permitted.
-     * Ordinary static object types default to true under the current spec.
-     * Explicitly closed-object modes may still set this to false.
-     */
-    readonly additionalProperties: boolean;
-}
+/* Excluded from this release type: ObjectTypeNode */
 
-/**
- * A path targeting a sub-field within a complex type.
- * Used by constraints and annotations to target nested properties.
- *
- * @public
- */
-export declare interface PathTarget {
-    /**
-     * Sequence of property names forming a path from the annotated field's type
-     * to the target sub-field.
-     * e.g., `["value"]` or `["address", "zip"]`
-     */
-    readonly segments: readonly string[];
-}
+/* Excluded from this release type: PathTarget */
 
-/**
- * String pattern constraint (ECMA-262 regex without delimiters).
- *
- * Multiple `pattern` constraints on the same field compose via intersection:
- * all patterns must match simultaneously.
- *
- * Type applicability: requires `PrimitiveTypeNode("string")`.
- *
- * @public
- */
-export declare interface PatternConstraintNode {
-    readonly kind: "constraint";
-    readonly constraintKind: "pattern";
-    /** ECMA-262 regular expression, without delimiters. */
-    readonly pattern: string;
-    readonly path?: PathTarget;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: PatternConstraintNode */
 
-/**
- * Placeholder annotation.
- *
- * @public
- */
-export declare interface PlaceholderAnnotationNode {
-    readonly kind: "annotation";
-    readonly annotationKind: "placeholder";
-    readonly value: string;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: PlaceholderAnnotationNode */
 
 /**
  * Union of all predicate types.
@@ -1250,94 +816,15 @@ export declare interface PlaceholderAnnotationNode {
  */
 export declare type Predicate<K extends string = string, V = unknown> = EqualsPredicate<K, V>;
 
-/**
- * Primitive types mapping directly to JSON Schema primitives.
- *
- * Note: integer is NOT a primitive kind — integer semantics are expressed
- * via a `multipleOf: 1` constraint on a number type.
- *
- * @public
- */
-export declare interface PrimitiveTypeNode {
-    readonly kind: "primitive";
-    readonly primitiveKind: "string" | "number" | "integer" | "bigint" | "boolean" | "null";
-}
+/* Excluded from this release type: PrimitiveTypeNode */
 
-/**
- * Describes the origin of an IR node.
- * Enables diagnostics that point to the source of a contradiction or error.
- *
- * @public
- */
-export declare interface Provenance {
-    /** The authoring surface that produced this node. */
-    readonly surface: "tsdoc" | "chain-dsl" | "extension" | "inferred";
-    /** Absolute path to the source file. */
-    readonly file: string;
-    /** 1-based line number in the source file. */
-    readonly line: number;
-    /** 0-based column number in the source file. */
-    readonly column: number;
-    /** Length of the source span in characters (for IDE underline ranges). */
-    readonly length?: number;
-    /**
-     * The specific tag, call, or construct that produced this node.
-     * Examples: `@minimum`, `field.number({ min: 0 })`, `optional`
-     */
-    readonly tagName?: string;
-}
+/* Excluded from this release type: Provenance */
 
-/**
- * Record (dictionary) type — an object with a string index signature and no
- * named properties. Corresponds to `Record<string, T>` or `{ [k: string]: T }`.
- *
- * Emitted as `{ "type": "object", "additionalProperties": <value schema> }` in
- * JSON Schema per spec 003 §2.5.
- *
- * @public
- */
-export declare interface RecordTypeNode {
-    readonly kind: "record";
-    /** The type of each value in the dictionary. */
-    readonly valueType: TypeNode;
-}
+/* Excluded from this release type: RecordTypeNode */
 
-/**
- * Named type reference preserved for `$defs` and `$ref` emission.
- *
- * @public
- */
-export declare interface ReferenceTypeNode {
-    readonly kind: "reference";
-    /**
-     * The fully-qualified name of the referenced type.
-     * For TypeScript interfaces/type aliases: `"<module>#<TypeName>"`.
-     * For built-in types: the primitive kind string.
-     */
-    readonly name: string;
-    /**
-     * Type arguments if this is a generic instantiation.
-     * e.g., `Array<string>` → `{ name: "Array", typeArguments: [PrimitiveTypeNode("string")] }`
-     */
-    readonly typeArguments: readonly TypeNode[];
-}
+/* Excluded from this release type: ReferenceTypeNode */
 
-/**
- * Remarks annotation — programmatic-persona documentation carried via
- * the `x-<vendor>-remarks` JSON Schema extension keyword.
- *
- * Populated from `@remarks` TSDoc tag content. SDK codegen can include
- * this in doc comments; API Documenter renders the source `@remarks`
- * natively in a dedicated Remarks section.
- *
- * @public
- */
-export declare interface RemarksAnnotationNode {
-    readonly kind: "annotation";
-    readonly annotationKind: "remarks";
-    readonly value: string;
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: RemarksAnnotationNode */
 
 /**
  * A field with static enum options (known at compile time).
@@ -1398,40 +885,11 @@ export declare interface TextField<N extends string> {
     readonly pattern?: string;
 }
 
-/**
- * A named type definition stored in the type registry.
- *
- * @public
- */
-export declare interface TypeDefinition {
-    /** The fully-qualified reference name (key in the registry). */
-    readonly name: string;
-    /** The resolved type node. */
-    readonly type: TypeNode;
-    /** Constraints declared on the named type itself. */
-    readonly constraints?: readonly ConstraintNode[];
-    /** Root-level value metadata for a named type definition. */
-    readonly annotations?: readonly AnnotationNode[];
-    /** Where this type was declared. */
-    readonly provenance: Provenance;
-}
+/* Excluded from this release type: TypeDefinition */
 
-/**
- * Discriminated union of all type representations in the IR.
- *
- * @public
- */
-export declare type TypeNode = PrimitiveTypeNode | EnumTypeNode | ArrayTypeNode | ObjectTypeNode | RecordTypeNode | UnionTypeNode | ReferenceTypeNode | DynamicTypeNode | CustomTypeNode;
+/* Excluded from this release type: TypeNode */
 
-/**
- * Union type for non-enum unions. Nullable types are represented as `T | null`.
- *
- * @public
- */
-export declare interface UnionTypeNode {
-    readonly kind: "union";
-    readonly members: readonly TypeNode[];
-}
+/* Excluded from this release type: UnionTypeNode */
 
 /**
  * Represents the validity state of a field or form.
@@ -1453,7 +911,7 @@ 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: JsonValue;
+    readonly schema: ExtensionPayloadValue;
 }
 
 export { }