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

package/dist/types/ir.d.ts

@@ -0,0 +1,578 @@
+/**
+ * Canonical Intermediate Representation (IR) types for FormSpec.
+ *
+ * The IR is the shared intermediate structure that both authoring surfaces
+ * (chain DSL and TSDoc-annotated types) compile to. All downstream operations
+ * — JSON Schema generation, UI Schema generation, constraint validation,
+ * diagnostics — consume the IR exclusively.
+ *
+ * All types are plain, serializable objects (no live compiler references).
+ *
+ * @see {@link https://github.com/stripe/formspec-workspace/blob/main/scratch/design/001-canonical-ir.md}
+ */
+/**
+ * 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";
+/**
+ * A JSON-serializable value. All IR nodes must be representable as JSON.
+ *
+ * @public
+ */
+export type JsonValue = null | boolean | number | string | readonly JsonValue[] | {
+    readonly [key: string]: JsonValue;
+};
+/**
+ * Describes the origin of an IR node.
+ * Enables diagnostics that point to the source of a contradiction or error.
+ *
+ * @public
+ */
+export 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;
+}
+/**
+ * A path targeting a sub-field within a complex type.
+ * Used by constraints and annotations to target nested properties.
+ *
+ * @public
+ */
+export 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[];
+}
+/**
+ * Discriminated union of all type representations in the IR.
+ *
+ * @public
+ */
+export type TypeNode = PrimitiveTypeNode | EnumTypeNode | ArrayTypeNode | ObjectTypeNode | RecordTypeNode | UnionTypeNode | ReferenceTypeNode | DynamicTypeNode | CustomTypeNode;
+/**
+ * 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 interface PrimitiveTypeNode {
+    readonly kind: "primitive";
+    readonly primitiveKind: "string" | "number" | "integer" | "bigint" | "boolean" | "null";
+}
+/**
+ * A member of a static enum type.
+ *
+ * @public
+ */
+export interface EnumMember {
+    /** The serialized value stored in data. */
+    readonly value: string | number;
+    /** Optional per-member display name. */
+    readonly displayName?: string;
+}
+/**
+ * Static enum type with members known at build time.
+ *
+ * @public
+ */
+export interface EnumTypeNode {
+    readonly kind: "enum";
+    readonly members: readonly EnumMember[];
+}
+/**
+ * Array type with a single items type.
+ *
+ * @public
+ */
+export interface ArrayTypeNode {
+    readonly kind: "array";
+    readonly items: TypeNode;
+}
+/**
+ * A named property within an object type.
+ *
+ * @public
+ */
+export 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;
+}
+/**
+ * Object type with named properties.
+ *
+ * @public
+ */
+export 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;
+}
+/**
+ * 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 interface RecordTypeNode {
+    readonly kind: "record";
+    /** The type of each value in the dictionary. */
+    readonly valueType: TypeNode;
+}
+/**
+ * Union type for non-enum unions. Nullable types are represented as `T | null`.
+ *
+ * @public
+ */
+export interface UnionTypeNode {
+    readonly kind: "union";
+    readonly members: readonly TypeNode[];
+}
+/**
+ * Named type reference preserved for `$defs` and `$ref` emission.
+ *
+ * @public
+ */
+export 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[];
+}
+/**
+ * Dynamic type whose schema is resolved at runtime from a named data source.
+ *
+ * @public
+ */
+export 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[];
+}
+/**
+ * Custom type registered by an extension.
+ *
+ * @public
+ */
+export 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;
+}
+/**
+ * Discriminated union of all constraint types.
+ * Constraints are set-influencing: they narrow the set of valid values.
+ *
+ * @public
+ */
+export type ConstraintNode = NumericConstraintNode | LengthConstraintNode | PatternConstraintNode | ArrayCardinalityConstraintNode | EnumMemberConstraintNode | ConstConstraintNode | CustomConstraintNode;
+/**
+ * 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 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;
+}
+/**
+ * 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 interface LengthConstraintNode {
+    readonly kind: "constraint";
+    readonly constraintKind: "minLength" | "maxLength" | "minItems" | "maxItems";
+    readonly value: number;
+    readonly path?: PathTarget;
+    readonly provenance: Provenance;
+}
+/**
+ * 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 interface PatternConstraintNode {
+    readonly kind: "constraint";
+    readonly constraintKind: "pattern";
+    /** ECMA-262 regular expression, without delimiters. */
+    readonly pattern: string;
+    readonly path?: PathTarget;
+    readonly provenance: Provenance;
+}
+/**
+ * Array uniqueness constraint.
+ *
+ * @public
+ */
+export interface ArrayCardinalityConstraintNode {
+    readonly kind: "constraint";
+    readonly constraintKind: "uniqueItems";
+    readonly value: true;
+    readonly path?: PathTarget;
+    readonly provenance: Provenance;
+}
+/**
+ * Enum member subset constraint that only narrows the allowed member set.
+ *
+ * @public
+ */
+export interface EnumMemberConstraintNode {
+    readonly kind: "constraint";
+    readonly constraintKind: "allowedMembers";
+    readonly members: readonly (string | number)[];
+    readonly path?: PathTarget;
+    readonly provenance: Provenance;
+}
+/**
+ * Literal-value equality constraint.
+ *
+ * @public
+ */
+export interface ConstConstraintNode {
+    readonly kind: "constraint";
+    readonly constraintKind: "const";
+    readonly value: JsonValue;
+    readonly path?: PathTarget;
+    readonly provenance: Provenance;
+}
+/**
+ * Extension-registered custom constraint.
+ *
+ * @public
+ */
+export 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;
+}
+/**
+ * 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 type AnnotationNode = DisplayNameAnnotationNode | DescriptionAnnotationNode | RemarksAnnotationNode | FormatAnnotationNode | PlaceholderAnnotationNode | DefaultValueAnnotationNode | DeprecatedAnnotationNode | FormatHintAnnotationNode | CustomAnnotationNode;
+/**
+ * Display-name annotation.
+ *
+ * @public
+ */
+export interface DisplayNameAnnotationNode {
+    readonly kind: "annotation";
+    readonly annotationKind: "displayName";
+    readonly value: string;
+    readonly provenance: Provenance;
+}
+/**
+ * Description annotation.
+ *
+ * @public
+ */
+export interface DescriptionAnnotationNode {
+    readonly kind: "annotation";
+    readonly annotationKind: "description";
+    readonly value: string;
+    readonly provenance: Provenance;
+}
+/**
+ * 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 interface RemarksAnnotationNode {
+    readonly kind: "annotation";
+    readonly annotationKind: "remarks";
+    readonly value: string;
+    readonly provenance: Provenance;
+}
+/**
+ * Schema format annotation, for example `email`, `date`, or `uri`.
+ *
+ * @public
+ */
+export interface FormatAnnotationNode {
+    readonly kind: "annotation";
+    readonly annotationKind: "format";
+    readonly value: string;
+    readonly provenance: Provenance;
+}
+/**
+ * Placeholder annotation.
+ *
+ * @public
+ */
+export interface PlaceholderAnnotationNode {
+    readonly kind: "annotation";
+    readonly annotationKind: "placeholder";
+    readonly value: string;
+    readonly provenance: Provenance;
+}
+/**
+ * Default-value annotation.
+ *
+ * @public
+ */
+export 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;
+}
+/**
+ * Deprecated annotation.
+ *
+ * @public
+ */
+export interface DeprecatedAnnotationNode {
+    readonly kind: "annotation";
+    readonly annotationKind: "deprecated";
+    /** Optional deprecation message. */
+    readonly message?: string;
+    readonly provenance: Provenance;
+}
+/**
+ * UI rendering hint — does not affect schema validation.
+ * Unlike FormatAnnotationNode, this never emits a JSON Schema `format`.
+ *
+ * @public
+ */
+export interface FormatHintAnnotationNode {
+    readonly kind: "annotation";
+    readonly annotationKind: "formatHint";
+    /** Renderer-specific format identifier: "textarea", "radio", "date", "color", etc. */
+    readonly format: string;
+    readonly provenance: Provenance;
+}
+/**
+ * Extension-registered custom annotation.
+ *
+ * @public
+ */
+export 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;
+}
+/**
+ * A single form field after canonicalization.
+ *
+ * @public
+ */
+export 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;
+    }[];
+}
+/**
+ * Union of layout node types.
+ *
+ * @public
+ */
+export type LayoutNode = GroupLayoutNode | ConditionalLayoutNode;
+/**
+ * A visual grouping of form elements.
+ *
+ * @public
+ */
+export 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;
+}
+/**
+ * Conditional visibility based on another field's value.
+ *
+ * @public
+ */
+export 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;
+}
+/**
+ * Union of all IR element types.
+ *
+ * @public
+ */
+export type FormIRElement = FieldNode | LayoutNode;
+/**
+ * A named type definition stored in the type registry.
+ *
+ * @public
+ */
+export 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;
+}
+/**
+ * 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 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;
+}
+//# sourceMappingURL=ir.d.ts.map

package/dist/types/ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/types/ir.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAMH;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAG,OAAgB,CAAC;AAM3C;;;;GAIG;AACH,MAAM,MAAM,SAAS,GACjB,IAAI,GACJ,OAAO,GACP,MAAM,GACN,MAAM,GACN,SAAS,SAAS,EAAE,GACpB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAM1C;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,qDAAqD;IACrD,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,CAAC;IACnE,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gDAAgD;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0EAA0E;IAC1E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAMD;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAMD;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAChB,iBAAiB,GACjB,YAAY,GACZ,aAAa,GACb,cAAc,GACd,cAAc,GACd,aAAa,GACb,iBAAiB,GACjB,eAAe,GACf,cAAc,CAAC;AAEnB;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,CAAC;CACzF;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,wCAAwC;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;IAChD,6CAA6C;IAC7C,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;IAChD,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,gDAAgD;IAChD,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;CAC9B;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;OAGG;IACH,QAAQ,CAAC,aAAa,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC7C;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,QAAQ,CAAC;IACxC,kEAAkE;IAClE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;CAC7B;AAMD;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GACtB,qBAAqB,GACrB,oBAAoB,GACpB,qBAAqB,GACrB,8BAA8B,GAC9B,wBAAwB,GACxB,mBAAmB,GACnB,oBAAoB,CAAC;AAEzB;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EACnB,SAAS,GACT,SAAS,GACT,kBAAkB,GAClB,kBAAkB,GAClB,YAAY,CAAC;IACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,WAAW,GAAG,WAAW,GAAG,UAAU,GAAG,UAAU,CAAC;IAC7E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC;IACnC,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,gBAAgB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC;IAClC,qFAAqF;IACrF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,0DAA0D;IAC1D,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,2EAA2E;IAC3E,QAAQ,CAAC,eAAe,EAAE,WAAW,GAAG,UAAU,CAAC;IACnD,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAMD;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GACtB,yBAAyB,GACzB,yBAAyB,GACzB,qBAAqB,GACrB,oBAAoB,GACpB,yBAAyB,GACzB,0BAA0B,GAC1B,wBAAwB,GACxB,wBAAwB,GACxB,oBAAoB,CAAC;AAEzB;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,sFAAsF;IACtF,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC;IACtC,oCAAoC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC;IACtC,sFAAsF;IACtF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC;IAClC,qFAAqF;IACrF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAMD;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,0CAA0C;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uCAAuC;IACvC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,yDAAyD;IACzD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,kDAAkD;IAClD,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;IAChD,oDAAoD;IACpD,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;IAChD,qCAAqC;IACrC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS;QAC/B,QAAQ,CAAC,IAAI,EAAE,cAAc,GAAG,cAAc,CAAC;QAC/C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;KAC7B,EAAE,CAAC;CACL;AAMD;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,eAAe,GAAG,qBAAqB,CAAC;AAEjE;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,iDAAiD;IACjD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,UAAU,CAAC;AAMnD;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8BAA8B;IAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,qDAAqD;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,oCAAoC;IACpC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAMD;;;;;;;;;GASG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,yEAAyE;IACzE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACrD;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;IAChE,+CAA+C;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,gDAAgD;IAChD,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC"}

package/dist/types/predicate.d.ts

@@ -8,6 +8,8 @@
  *
  * @typeParam K - The field name to check
  * @typeParam V - The value to compare against
+ *
+ * @public
  */
 export interface EqualsPredicate<K extends string, V> {
     /** Predicate type discriminator */
@@ -24,6 +26,8 @@ export interface EqualsPredicate<K extends string, V> {
  * - `OneOfPredicate` - field value is one of several options
  * - `NotPredicate` - negation of another predicate
  * - `AndPredicate` / `OrPredicate` - logical combinations
+ *
+ * @public
  */
 export type Predicate<K extends string = string, V = unknown> = EqualsPredicate<K, V>;
 //# sourceMappingURL=predicate.d.ts.map

package/dist/types/predicate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate.d.ts","sourceRoot":"","sources":["../../src/types/predicate.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;GAKG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC;IAClD,mCAAmC;IACnC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC9B,iCAAiC;IACjC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,sCAAsC;IACtC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;CACnB;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"predicate.d.ts","sourceRoot":"","sources":["../../src/types/predicate.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC;IAClD,mCAAmC;IACnC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC9B,iCAAiC;IACjC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,sCAAsC;IACtC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;CACnB;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,OAAO,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}

package/dist/types/validity.d.ts

@@ -4,6 +4,8 @@
  * - `"valid"` - All validations pass
  * - `"invalid"` - One or more validations failed
  * - `"unknown"` - Validation state not yet determined (e.g., async validation pending)
+ *
+ * @public
  */
 export type Validity = "valid" | "invalid" | "unknown";
 //# sourceMappingURL=validity.d.ts.map

package/dist/types/validity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validity.d.ts","sourceRoot":"","sources":["../../src/types/validity.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC"}
+{"version":3,"file":"validity.d.ts","sourceRoot":"","sources":["../../src/types/validity.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC"}

package/package.json

@@ -1,28 +1,40 @@
 {
   "name": "@formspec/core",
-  "version": "0.1.0-alpha.2",
+  "version": "0.1.0-alpha.21",
   "description": "Core utilities for formspec",
   "type": "module",
-  "main": "./dist/index.js",
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.js",
   "types": "./dist/core.d.ts",
   "exports": {
     ".": {
       "types": "./dist/core.d.ts",
-      "import": "./dist/index.js"
+      "import": "./dist/index.js",
+      "require": "./dist/index.cjs"
     }
   },
   "files": [
-    "dist"
+    "dist",
+    "README.md"
   ],
+  "devDependencies": {
+    "tsd": "^0.31.0",
+    "vitest": "^3.2.4"
+  },
+  "tsd": {
+    "directory": "src/__tests__"
+  },
   "publishConfig": {
     "access": "public"
   },
   "keywords": [],
   "license": "UNLICENSED",
   "scripts": {
-    "build": "tsc",
+    "build": "tsup && tsc --emitDeclarationOnly && api-extractor run --local",
     "clean": "rm -rf dist temp",
     "typecheck": "tsc --noEmit",
+    "test": "vitest run && tsd",
+    "test:types": "tsd",
     "api-extractor": "api-extractor run",
     "api-extractor:local": "api-extractor run --local",
     "api-documenter": "api-documenter markdown -i temp -o docs"

package/dist/types/data-source.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=data-source.js.map

package/dist/types/data-source.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"data-source.js","sourceRoot":"","sources":["../../src/types/data-source.ts"],"names":[],"mappings":""}