@formspec/constraints 0.1.0-alpha.7

package/dist/index.d.ts

@@ -0,0 +1,44 @@
+/**
+ * @formspec/constraints
+ *
+ * Constraint validation for FormSpec - restrict features based on target
+ * environment capabilities.
+ *
+ * This package provides:
+ * - Type definitions for constraint configuration
+ * - YAML/TypeScript config file loading
+ * - Core validation logic for FormSpec elements
+ * - JSON Schema for .formspec.yml validation
+ *
+ * @example
+ * ```ts
+ * import { loadConfig, validateFormSpecElements } from '@formspec/constraints';
+ * import { formspec, field } from '@formspec/dsl';
+ *
+ * // Load constraints from .formspec.yml
+ * const { config } = await loadConfig();
+ *
+ * // Create a form
+ * const form = formspec(
+ *   field.text("name"),
+ *   field.dynamicEnum("country", "countries"),
+ * );
+ *
+ * // Validate against constraints
+ * const result = validateFormSpecElements(form.elements, { constraints: config });
+ *
+ * if (!result.valid) {
+ *   console.error('Validation failed:', result.issues);
+ * }
+ * ```
+ *
+ * @packageDocumentation
+ */
+export type { Severity, FieldTypeConstraints, LayoutConstraints, LayoutTypeConstraints, RuleEffectConstraints, RuleConstraints, UISchemaConstraints, FieldOptionConstraints, ControlOptionConstraints, ConstraintConfig, ResolvedConstraintConfig, ResolvedUISchemaConstraints, ResolvedRuleConstraints, FormSpecConfig, ValidationIssue, ValidationResult, } from "./types.js";
+export { loadConfig, loadConfigFromString, defineConstraints, type LoadConfigOptions, type LoadConfigResult, } from "./loader.js";
+export { DEFAULT_CONSTRAINTS, DEFAULT_CONFIG, mergeWithDefaults } from "./defaults.js";
+export { validateFormSpecElements, validateFormSpec, type FormSpecValidationOptions, } from "./validators/formspec.js";
+export { validateFieldTypes, isFieldTypeAllowed, getFieldTypeSeverity, type FieldTypeContext, } from "./validators/field-types.js";
+export { validateLayout, isLayoutTypeAllowed, isNestingDepthAllowed, type LayoutContext, } from "./validators/layout.js";
+export { validateFieldOptions, extractFieldOptions, isFieldOptionAllowed, getFieldOptionSeverity, type FieldOptionsContext, type FieldOption, } from "./validators/field-options.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAGH,YAAY,EACV,QAAQ,EACR,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,qBAAqB,EACrB,eAAe,EACf,mBAAmB,EACnB,sBAAsB,EACtB,wBAAwB,EACxB,gBAAgB,EAChB,wBAAwB,EACxB,2BAA2B,EAC3B,uBAAuB,EACvB,cAAc,EACd,eAAe,EACf,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,GACtB,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGvF,OAAO,EACL,wBAAwB,EACxB,gBAAgB,EAChB,KAAK,yBAAyB,GAC/B,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,oBAAoB,EACpB,KAAK,gBAAgB,GACtB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,qBAAqB,EACrB,KAAK,aAAa,GACnB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,KAAK,mBAAmB,EACxB,KAAK,WAAW,GACjB,MAAM,+BAA+B,CAAC"}

package/dist/index.js

@@ -0,0 +1,46 @@
+/**
+ * @formspec/constraints
+ *
+ * Constraint validation for FormSpec - restrict features based on target
+ * environment capabilities.
+ *
+ * This package provides:
+ * - Type definitions for constraint configuration
+ * - YAML/TypeScript config file loading
+ * - Core validation logic for FormSpec elements
+ * - JSON Schema for .formspec.yml validation
+ *
+ * @example
+ * ```ts
+ * import { loadConfig, validateFormSpecElements } from '@formspec/constraints';
+ * import { formspec, field } from '@formspec/dsl';
+ *
+ * // Load constraints from .formspec.yml
+ * const { config } = await loadConfig();
+ *
+ * // Create a form
+ * const form = formspec(
+ *   field.text("name"),
+ *   field.dynamicEnum("country", "countries"),
+ * );
+ *
+ * // Validate against constraints
+ * const result = validateFormSpecElements(form.elements, { constraints: config });
+ *
+ * if (!result.valid) {
+ *   console.error('Validation failed:', result.issues);
+ * }
+ * ```
+ *
+ * @packageDocumentation
+ */
+// Config loading
+export { loadConfig, loadConfigFromString, defineConstraints, } from "./loader.js";
+// Defaults
+export { DEFAULT_CONSTRAINTS, DEFAULT_CONFIG, mergeWithDefaults } from "./defaults.js";
+// Validators
+export { validateFormSpecElements, validateFormSpec, } from "./validators/formspec.js";
+export { validateFieldTypes, isFieldTypeAllowed, getFieldTypeSeverity, } from "./validators/field-types.js";
+export { validateLayout, isLayoutTypeAllowed, isNestingDepthAllowed, } from "./validators/layout.js";
+export { validateFieldOptions, extractFieldOptions, isFieldOptionAllowed, getFieldOptionSeverity, } from "./validators/field-options.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAsBH,iBAAiB;AACjB,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,iBAAiB,GAGlB,MAAM,aAAa,CAAC;AAErB,WAAW;AACX,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEvF,aAAa;AACb,OAAO,EACL,wBAAwB,EACxB,gBAAgB,GAEjB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,oBAAoB,GAErB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,qBAAqB,GAEtB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,GAGvB,MAAM,+BAA+B,CAAC"}

package/dist/loader.d.ts

@@ -0,0 +1,81 @@
+import type { ConstraintConfig, ResolvedConstraintConfig } from "./types.js";
+/**
+ * Options for loading configuration.
+ */
+export interface LoadConfigOptions {
+    /**
+     * The directory to search for config files.
+     * Defaults to process.cwd().
+     */
+    cwd?: string;
+    /**
+     * Explicit path to a config file.
+     * If provided, skips searching for default config file names.
+     */
+    configPath?: string;
+    /**
+     * Whether to search parent directories for config files.
+     * Defaults to true.
+     */
+    searchParents?: boolean;
+}
+/**
+ * Result of loading configuration.
+ */
+export interface LoadConfigResult {
+    /** The loaded and merged configuration */
+    config: ResolvedConstraintConfig;
+    /** The path to the config file that was loaded (if any) */
+    configPath: string | null;
+    /** Whether a config file was found */
+    found: boolean;
+}
+/**
+ * Loads FormSpec constraint configuration from a .formspec.yml file.
+ *
+ * @param options - Options for loading configuration
+ * @returns The loaded configuration with defaults applied
+ *
+ * @example
+ * ```ts
+ * // Load from current directory (searches for .formspec.yml)
+ * const result = await loadConfig();
+ *
+ * // Load from specific directory
+ * const result = await loadConfig({ cwd: '/path/to/project' });
+ *
+ * // Load from specific file
+ * const result = await loadConfig({ configPath: '/path/to/config.yml' });
+ * ```
+ */
+export declare function loadConfig(options?: LoadConfigOptions): Promise<LoadConfigResult>;
+/**
+ * Synchronously loads config from a pre-parsed YAML string.
+ * Useful for testing or when config is already available.
+ *
+ * @param yamlContent - The YAML content to parse
+ * @returns The parsed and merged configuration
+ */
+export declare function loadConfigFromString(yamlContent: string): ResolvedConstraintConfig;
+/**
+ * Creates a constraint configuration directly from an object.
+ * Useful for programmatic configuration without YAML.
+ *
+ * @param config - Partial constraint configuration
+ * @returns Complete configuration with defaults applied
+ *
+ * @example
+ * ```ts
+ * const config = defineConstraints({
+ *   fieldTypes: {
+ *     dynamicEnum: 'error',
+ *     dynamicSchema: 'error',
+ *   },
+ *   layout: {
+ *     group: 'error',
+ *   },
+ * });
+ * ```
+ */
+export declare function defineConstraints(config: ConstraintConfig): ResolvedConstraintConfig;
+//# sourceMappingURL=loader.d.ts.map

package/dist/loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../src/loader.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAkB,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAQ7F;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;;OAGG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;IAEb;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB;;;OAGG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,0CAA0C;IAC1C,MAAM,EAAE,wBAAwB,CAAC;IACjC,2DAA2D;IAC3D,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,sCAAsC;IACtC,KAAK,EAAE,OAAO,CAAC;CAChB;AA0DD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,UAAU,CAC9B,OAAO,GAAE,iBAAsB,GAC9B,OAAO,CAAC,gBAAgB,CAAC,CAgC3B;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,GAClB,wBAAwB,CAc1B;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,gBAAgB,GACvB,wBAAwB,CAE1B"}

package/dist/loader.js

@@ -0,0 +1,140 @@
+import { readFile } from "node:fs/promises";
+import { resolve, dirname } from "node:path";
+import { parse as parseYaml } from "yaml";
+import { mergeWithDefaults } from "./defaults.js";
+/**
+ * Default config file names to search for (in order of priority).
+ */
+const CONFIG_FILE_NAMES = [".formspec.yml", ".formspec.yaml", "formspec.yml"];
+/**
+ * Searches for a config file in the given directory and optionally parent directories.
+ */
+async function findConfigFile(startDir, searchParents) {
+    let currentDir = resolve(startDir);
+    // eslint-disable-next-line @typescript-eslint/no-unnecessary-condition -- intentional infinite loop with break conditions
+    while (true) {
+        for (const fileName of CONFIG_FILE_NAMES) {
+            const filePath = resolve(currentDir, fileName);
+            try {
+                await readFile(filePath);
+                return filePath;
+            }
+            catch {
+                // File doesn't exist, continue searching
+            }
+        }
+        if (!searchParents) {
+            break;
+        }
+        const parentDir = dirname(currentDir);
+        // Reached filesystem root when dirname returns same path
+        if (parentDir === currentDir) {
+            break;
+        }
+        currentDir = parentDir;
+    }
+    return null;
+}
+/**
+ * Parses a YAML config file and returns the FormSpecConfig.
+ */
+async function parseConfigFile(filePath) {
+    const content = await readFile(filePath, "utf-8");
+    const parsed = parseYaml(content);
+    if (parsed === null || parsed === undefined) {
+        return {};
+    }
+    if (typeof parsed !== "object" || Array.isArray(parsed)) {
+        throw new Error(`Invalid config file at ${filePath}: expected an object, got ${typeof parsed}`);
+    }
+    return parsed;
+}
+/**
+ * Loads FormSpec constraint configuration from a .formspec.yml file.
+ *
+ * @param options - Options for loading configuration
+ * @returns The loaded configuration with defaults applied
+ *
+ * @example
+ * ```ts
+ * // Load from current directory (searches for .formspec.yml)
+ * const result = await loadConfig();
+ *
+ * // Load from specific directory
+ * const result = await loadConfig({ cwd: '/path/to/project' });
+ *
+ * // Load from specific file
+ * const result = await loadConfig({ configPath: '/path/to/config.yml' });
+ * ```
+ */
+export async function loadConfig(options = {}) {
+    const { cwd = process.cwd(), configPath, searchParents = true } = options;
+    let resolvedPath = null;
+    if (configPath) {
+        resolvedPath = resolve(cwd, configPath);
+        try {
+            await readFile(resolvedPath);
+        }
+        catch {
+            throw new Error(`Config file not found at ${resolvedPath}`);
+        }
+    }
+    else {
+        resolvedPath = await findConfigFile(cwd, searchParents);
+    }
+    if (!resolvedPath) {
+        return {
+            config: mergeWithDefaults(undefined),
+            configPath: null,
+            found: false,
+        };
+    }
+    const fileConfig = await parseConfigFile(resolvedPath);
+    const config = mergeWithDefaults(fileConfig.constraints);
+    return {
+        config,
+        configPath: resolvedPath,
+        found: true,
+    };
+}
+/**
+ * Synchronously loads config from a pre-parsed YAML string.
+ * Useful for testing or when config is already available.
+ *
+ * @param yamlContent - The YAML content to parse
+ * @returns The parsed and merged configuration
+ */
+export function loadConfigFromString(yamlContent) {
+    const parsed = parseYaml(yamlContent);
+    if (parsed === null || parsed === undefined) {
+        return mergeWithDefaults(undefined);
+    }
+    if (typeof parsed !== "object" || Array.isArray(parsed)) {
+        throw new Error(`Invalid config content: expected an object, got ${typeof parsed}`);
+    }
+    return mergeWithDefaults(parsed.constraints);
+}
+/**
+ * Creates a constraint configuration directly from an object.
+ * Useful for programmatic configuration without YAML.
+ *
+ * @param config - Partial constraint configuration
+ * @returns Complete configuration with defaults applied
+ *
+ * @example
+ * ```ts
+ * const config = defineConstraints({
+ *   fieldTypes: {
+ *     dynamicEnum: 'error',
+ *     dynamicSchema: 'error',
+ *   },
+ *   layout: {
+ *     group: 'error',
+ *   },
+ * });
+ * ```
+ */
+export function defineConstraints(config) {
+    return mergeWithDefaults(config);
+}
+//# sourceMappingURL=loader.js.map

package/dist/loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader.js","sourceRoot":"","sources":["../src/loader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAE1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAElD;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,eAAe,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC;AAqC9E;;GAEG;AACH,KAAK,UAAU,cAAc,CAC3B,QAAgB,EAChB,aAAsB;IAEtB,IAAI,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEnC,0HAA0H;IAC1H,OAAO,IAAI,EAAE,CAAC;QACZ,KAAK,MAAM,QAAQ,IAAI,iBAAiB,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC/C,IAAI,CAAC;gBACH,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBACzB,OAAO,QAAQ,CAAC;YAClB,CAAC;YAAC,MAAM,CAAC;gBACP,yCAAyC;YAC3C,CAAC;QACH,CAAC;QAED,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,MAAM;QACR,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,yDAAyD;QACzD,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM;QACR,CAAC;QACD,UAAU,GAAG,SAAS,CAAC;IACzB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,eAAe,CAAC,QAAgB;IAC7C,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAY,CAAC;IAE7C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CACb,0BAA0B,QAAQ,6BAA6B,OAAO,MAAM,EAAE,CAC/E,CAAC;IACJ,CAAC;IAED,OAAO,MAAwB,CAAC;AAClC,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,UAA6B,EAAE;IAE/B,MAAM,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,aAAa,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IAE1E,IAAI,YAAY,GAAkB,IAAI,CAAC;IAEvC,IAAI,UAAU,EAAE,CAAC;QACf,YAAY,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC;YACH,MAAM,QAAQ,CAAC,YAAY,CAAC,CAAC;QAC/B,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,4BAA4B,YAAY,EAAE,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;SAAM,CAAC;QACN,YAAY,GAAG,MAAM,cAAc,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IAC1D,CAAC;IAED,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO;YACL,MAAM,EAAE,iBAAiB,CAAC,SAAS,CAAC;YACpC,UAAU,EAAE,IAAI;YAChB,KAAK,EAAE,KAAK;SACb,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,eAAe,CAAC,YAAY,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,iBAAiB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAEzD,OAAO;QACL,MAAM;QACN,UAAU,EAAE,YAAY;QACxB,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,WAAmB;IAEnB,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAsC,CAAC;IAE3E,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CACb,mDAAmD,OAAO,MAAM,EAAE,CACnE,CAAC;IACJ,CAAC;IAED,OAAO,iBAAiB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAwB;IAExB,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC;AACnC,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,200 @@
+/**
+ * Severity level for constraint violations.
+ * - "error": Violation fails validation
+ * - "warn": Violation emits warning but passes
+ * - "off": Feature is allowed (no violation)
+ */
+export type Severity = "error" | "warn" | "off";
+/**
+ * Field type constraints - control which field types are allowed.
+ * Fine-grained control over each DSL field builder.
+ */
+export interface FieldTypeConstraints {
+    /** field.text() - basic text input */
+    text?: Severity;
+    /** field.number() - numeric input */
+    number?: Severity;
+    /** field.boolean() - checkbox/toggle */
+    boolean?: Severity;
+    /** field.enum() with literal options */
+    staticEnum?: Severity;
+    /** field.dynamicEnum() - runtime-fetched options */
+    dynamicEnum?: Severity;
+    /** field.dynamicSchema() - runtime-fetched schema */
+    dynamicSchema?: Severity;
+    /** field.array() / field.arrayWithConfig() */
+    array?: Severity;
+    /** field.object() / field.objectWithConfig() */
+    object?: Severity;
+}
+/**
+ * Layout and structure constraints - control grouping, conditionals, nesting.
+ */
+export interface LayoutConstraints {
+    /** group() - visual grouping of fields */
+    group?: Severity;
+    /** when() - conditional field visibility */
+    conditionals?: Severity;
+    /** Maximum nesting depth for objects/arrays (0 = flat only) */
+    maxNestingDepth?: number;
+}
+/**
+ * JSONForms layout type constraints.
+ */
+export interface LayoutTypeConstraints {
+    /** VerticalLayout - stack elements vertically */
+    VerticalLayout?: Severity;
+    /** HorizontalLayout - arrange elements horizontally */
+    HorizontalLayout?: Severity;
+    /** Group - visual grouping with label */
+    Group?: Severity;
+    /** Categorization - tabbed/wizard interface */
+    Categorization?: Severity;
+    /** Category - individual tab/step in Categorization */
+    Category?: Severity;
+}
+/**
+ * JSONForms rule effect constraints.
+ */
+export interface RuleEffectConstraints {
+    /** SHOW - show element when condition is true */
+    SHOW?: Severity;
+    /** HIDE - hide element when condition is true */
+    HIDE?: Severity;
+    /** ENABLE - enable element when condition is true */
+    ENABLE?: Severity;
+    /** DISABLE - disable element when condition is true */
+    DISABLE?: Severity;
+}
+/**
+ * JSONForms rule constraints.
+ */
+export interface RuleConstraints {
+    /** Whether rules are enabled at all */
+    enabled?: Severity;
+    /** Fine-grained control over rule effects */
+    effects?: RuleEffectConstraints;
+}
+/**
+ * UI Schema feature constraints - control JSONForms-specific features.
+ */
+export interface UISchemaConstraints {
+    /** Layout type constraints */
+    layouts?: LayoutTypeConstraints;
+    /** Rule (conditional) constraints */
+    rules?: RuleConstraints;
+}
+/**
+ * Field configuration option constraints - control which field options are allowed.
+ */
+export interface FieldOptionConstraints {
+    /** label - field label text */
+    label?: Severity;
+    /** placeholder - input placeholder text */
+    placeholder?: Severity;
+    /** required - whether field is required */
+    required?: Severity;
+    /** minValue - minimum value for numbers */
+    minValue?: Severity;
+    /** maxValue - maximum value for numbers */
+    maxValue?: Severity;
+    /** minItems - minimum array length */
+    minItems?: Severity;
+    /** maxItems - maximum array length */
+    maxItems?: Severity;
+}
+/**
+ * Control options constraints - control which JSONForms Control.options are allowed.
+ * These are renderer-specific options that may not be universally supported.
+ */
+export interface ControlOptionConstraints {
+    /** format - renderer format hint (e.g., "radio", "textarea") */
+    format?: Severity;
+    /** readonly - read-only mode */
+    readonly?: Severity;
+    /** multi - multi-select for enums */
+    multi?: Severity;
+    /** showUnfocusedDescription - show description when unfocused */
+    showUnfocusedDescription?: Severity;
+    /** hideRequiredAsterisk - hide required indicator */
+    hideRequiredAsterisk?: Severity;
+    /** Custom control options (extensible dictionary) */
+    custom?: Record<string, Severity>;
+}
+/**
+ * Complete constraint configuration for a FormSpec project.
+ */
+export interface ConstraintConfig {
+    /** Field type constraints */
+    fieldTypes?: FieldTypeConstraints;
+    /** Layout and structure constraints */
+    layout?: LayoutConstraints;
+    /** UI Schema feature constraints */
+    uiSchema?: UISchemaConstraints;
+    /** Field configuration option constraints */
+    fieldOptions?: FieldOptionConstraints;
+    /** Control options constraints */
+    controlOptions?: ControlOptionConstraints;
+}
+/**
+ * Fully resolved rule constraints with all properties required.
+ */
+export interface ResolvedRuleConstraints {
+    enabled: Severity;
+    effects: Required<RuleEffectConstraints>;
+}
+/**
+ * Fully resolved UI schema constraints with all properties required.
+ */
+export interface ResolvedUISchemaConstraints {
+    layouts: Required<LayoutTypeConstraints>;
+    rules: ResolvedRuleConstraints;
+}
+/**
+ * Fully resolved constraint configuration with all properties required.
+ * This is the type returned by mergeWithDefaults().
+ */
+export interface ResolvedConstraintConfig {
+    fieldTypes: Required<FieldTypeConstraints>;
+    layout: Required<LayoutConstraints>;
+    uiSchema: ResolvedUISchemaConstraints;
+    fieldOptions: Required<FieldOptionConstraints>;
+    controlOptions: Required<ControlOptionConstraints>;
+}
+/**
+ * Top-level FormSpec configuration file structure.
+ * The .formspec.yml file uses this structure.
+ */
+export interface FormSpecConfig {
+    /** Constraint configuration */
+    constraints?: ConstraintConfig;
+}
+/**
+ * A single validation issue found during constraint checking.
+ */
+export interface ValidationIssue {
+    /** Unique code identifying the issue type */
+    code: string;
+    /** Human-readable description of the issue */
+    message: string;
+    /** Severity level of this issue */
+    severity: "error" | "warning";
+    /** Which constraint category this issue belongs to */
+    category: "fieldTypes" | "layout" | "uiSchema" | "fieldOptions" | "controlOptions";
+    /** JSON pointer or field path to the issue location */
+    path?: string;
+    /** Name of the affected field (if applicable) */
+    fieldName?: string;
+    /** Type of the affected field (if applicable) */
+    fieldType?: string;
+}
+/**
+ * Result of validating a FormSpec or schema against constraints.
+ */
+export interface ValidationResult {
+    /** Whether validation passed (no errors, warnings OK) */
+    valid: boolean;
+    /** List of all issues found */
+    issues: ValidationIssue[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,MAAM,GAAG,KAAK,CAAC;AAEhD;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,sCAAsC;IACtC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,qCAAqC;IACrC,MAAM,CAAC,EAAE,QAAQ,CAAC;IAClB,wCAAwC;IACxC,OAAO,CAAC,EAAE,QAAQ,CAAC;IACnB,wCAAwC;IACxC,UAAU,CAAC,EAAE,QAAQ,CAAC;IACtB,oDAAoD;IACpD,WAAW,CAAC,EAAE,QAAQ,CAAC;IACvB,qDAAqD;IACrD,aAAa,CAAC,EAAE,QAAQ,CAAC;IACzB,8CAA8C;IAC9C,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,gDAAgD;IAChD,MAAM,CAAC,EAAE,QAAQ,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,0CAA0C;IAC1C,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,4CAA4C;IAC5C,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB,+DAA+D;IAC/D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,iDAAiD;IACjD,cAAc,CAAC,EAAE,QAAQ,CAAC;IAC1B,uDAAuD;IACvD,gBAAgB,CAAC,EAAE,QAAQ,CAAC;IAC5B,yCAAyC;IACzC,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,+CAA+C;IAC/C,cAAc,CAAC,EAAE,QAAQ,CAAC;IAC1B,uDAAuD;IACvD,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,iDAAiD;IACjD,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,iDAAiD;IACjD,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,qDAAqD;IACrD,MAAM,CAAC,EAAE,QAAQ,CAAC;IAClB,uDAAuD;IACvD,OAAO,CAAC,EAAE,QAAQ,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,uCAAuC;IACvC,OAAO,CAAC,EAAE,QAAQ,CAAC;IACnB,6CAA6C;IAC7C,OAAO,CAAC,EAAE,qBAAqB,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,8BAA8B;IAC9B,OAAO,CAAC,EAAE,qBAAqB,CAAC;IAChC,qCAAqC;IACrC,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,+BAA+B;IAC/B,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,2CAA2C;IAC3C,WAAW,CAAC,EAAE,QAAQ,CAAC;IACvB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,sCAAsC;IACtC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,sCAAsC;IACtC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,wBAAwB;IACvC,gEAAgE;IAChE,MAAM,CAAC,EAAE,QAAQ,CAAC;IAClB,gCAAgC;IAChC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,qCAAqC;IACrC,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,iEAAiE;IACjE,wBAAwB,CAAC,EAAE,QAAQ,CAAC;IACpC,qDAAqD;IACrD,oBAAoB,CAAC,EAAE,QAAQ,CAAC;IAChC,qDAAqD;IACrD,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6BAA6B;IAC7B,UAAU,CAAC,EAAE,oBAAoB,CAAC;IAClC,uCAAuC;IACvC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAC3B,oCAAoC;IACpC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;IAC/B,6CAA6C;IAC7C,YAAY,CAAC,EAAE,sBAAsB,CAAC;IACtC,kCAAkC;IAClC,cAAc,CAAC,EAAE,wBAAwB,CAAC;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,QAAQ,CAAC;IAClB,OAAO,EAAE,QAAQ,CAAC,qBAAqB,CAAC,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,OAAO,EAAE,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IACzC,KAAK,EAAE,uBAAuB,CAAC;CAChC;AAED;;;GAGG;AACH,MAAM,WAAW,wBAAwB;IACvC,UAAU,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC3C,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IACpC,QAAQ,EAAE,2BAA2B,CAAC;IACtC,YAAY,EAAE,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC/C,cAAc,EAAE,QAAQ,CAAC,wBAAwB,CAAC,CAAC;CACpD;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,+BAA+B;IAC/B,WAAW,CAAC,EAAE,gBAAgB,CAAC;CAIhC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,6CAA6C;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,8CAA8C;IAC9C,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,sDAAsD;IACtD,QAAQ,EACJ,YAAY,GACZ,QAAQ,GACR,UAAU,GACV,cAAc,GACd,gBAAgB,CAAC;IACrB,uDAAuD;IACvD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,iDAAiD;IACjD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,KAAK,EAAE,OAAO,CAAC;IACf,+BAA+B;IAC/B,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B"}

package/dist/types.js

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

package/dist/types.js.map

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

package/dist/validators/field-options.d.ts

@@ -0,0 +1,49 @@
+import type { FieldOptionConstraints, Severity, ValidationIssue } from "../types.js";
+/**
+ * Known field options that can be validated.
+ */
+export type FieldOption = "label" | "placeholder" | "required" | "minValue" | "maxValue" | "minItems" | "maxItems";
+/**
+ * Context for field option validation.
+ */
+export interface FieldOptionsContext {
+    /** The field name */
+    fieldName: string;
+    /** Which options are present on this field */
+    presentOptions: FieldOption[];
+    /** Path to this field */
+    path?: string;
+}
+/**
+ * Validates field options against constraints.
+ *
+ * @param context - Information about the field and its options
+ * @param constraints - Field option constraints
+ * @returns Array of validation issues (empty if valid)
+ */
+export declare function validateFieldOptions(context: FieldOptionsContext, constraints: FieldOptionConstraints): ValidationIssue[];
+/**
+ * Extracts which options are present on a field object.
+ * Works with FormSpec field types.
+ *
+ * @param field - A field object with potential options
+ * @returns Array of present option names
+ */
+export declare function extractFieldOptions(field: Record<string, unknown>): FieldOption[];
+/**
+ * Checks if a specific field option is allowed.
+ *
+ * @param option - The option to check
+ * @param constraints - Field option constraints
+ * @returns true if allowed, false if disallowed
+ */
+export declare function isFieldOptionAllowed(option: FieldOption, constraints: FieldOptionConstraints): boolean;
+/**
+ * Gets the severity level for a field option.
+ *
+ * @param option - The option to check
+ * @param constraints - Field option constraints
+ * @returns Severity level, or "off" if not constrained
+ */
+export declare function getFieldOptionSeverity(option: FieldOption, constraints: FieldOptionConstraints): Severity;
+//# sourceMappingURL=field-options.d.ts.map

package/dist/validators/field-options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-options.d.ts","sourceRoot":"","sources":["../../src/validators/field-options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,sBAAsB,EACtB,QAAQ,EACR,eAAe,EAChB,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB,OAAO,GACP,aAAa,GACb,UAAU,GACV,UAAU,GACV,UAAU,GACV,UAAU,GACV,UAAU,CAAC;AAEf;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,qBAAqB;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,8CAA8C;IAC9C,cAAc,EAAE,WAAW,EAAE,CAAC;IAC9B,yBAAyB;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,mBAAmB,EAC5B,WAAW,EAAE,sBAAsB,GAClC,eAAe,EAAE,CAWnB;AAqBD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,WAAW,EAAE,CAef;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,WAAW,EACnB,WAAW,EAAE,sBAAsB,GAClC,OAAO,CAGT;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,WAAW,EACnB,WAAW,EAAE,sBAAsB,GAClC,QAAQ,CAEV"}