@formspec/build 0.1.0-alpha.19 → 0.1.0-alpha.20

package/dist/ui-schema/schema.d.ts

@@ -74,17 +74,17 @@ export declare const ruleSchema: z.ZodObject<{
         scope: string;
     }>;
 }, "strict", z.ZodTypeAny, {
-    effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
     condition: {
         schema: RuleConditionSchema;
         scope: string;
     };
-}, {
     effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+}, {
     condition: {
         schema: RuleConditionSchema;
         scope: string;
     };
+    effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
 }>;
 /**
  * Rule for conditional element visibility/enablement.
@@ -115,17 +115,17 @@ export declare const controlSchema: z.ZodObject<{
             scope: string;
         }>;
     }, "strict", z.ZodTypeAny, {
-        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
-    }, {
         effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
     }>>;
     options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
@@ -145,17 +145,17 @@ export declare const controlSchema: z.ZodObject<{
             scope: string;
         }>;
     }, "strict", z.ZodTypeAny, {
-        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
-    }, {
         effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
     }>>;
     options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
@@ -175,17 +175,17 @@ export declare const controlSchema: z.ZodObject<{
             scope: string;
         }>;
     }, "strict", z.ZodTypeAny, {
-        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
-    }, {
         effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
     }>>;
     options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, z.ZodTypeAny, "passthrough">>;
@@ -270,17 +270,17 @@ export declare const labelElementSchema: z.ZodObject<{
             scope: string;
         }>;
     }, "strict", z.ZodTypeAny, {
-        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
-    }, {
         effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
     }>>;
     options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
@@ -299,17 +299,17 @@ export declare const labelElementSchema: z.ZodObject<{
             scope: string;
         }>;
     }, "strict", z.ZodTypeAny, {
-        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
-    }, {
         effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
     }>>;
     options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
@@ -328,17 +328,17 @@ export declare const labelElementSchema: z.ZodObject<{
             scope: string;
         }>;
     }, "strict", z.ZodTypeAny, {
-        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
-    }, {
         effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
+    }, {
         condition: {
             schema: RuleConditionSchema;
             scope: string;
         };
+        effect: "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
     }>>;
     options: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, z.ZodTypeAny, "passthrough">>;

package/dist/validate/constraint-validator.d.ts

@@ -1,62 +1,23 @@
 /**
  * Constraint validator for the FormSpec IR.
  *
- * Performs the Validate pipeline phase:
- * - Contradiction detection between paired constraints
- * - Type applicability checks (e.g. numeric constraints on string fields)
- * - Custom constraint type applicability (when extension registry is provided)
- * - Unknown extension warnings (when a registry is provided)
+ * Delegates target-centric semantic analysis to `@formspec/analysis` so build
+ * validation and editor tooling share the same inheritance, path-target,
+ * contradiction, and broadening semantics.
  *
  * @packageDocumentation
  */
-import type { FormIR, Provenance } from "@formspec/core";
+import { type ConstraintSemanticDiagnostic } from "@formspec/analysis";
+import type { FormIR } from "@formspec/core";
 import type { ExtensionRegistry } from "../extensions/index.js";
-/**
- * A structured diagnostic produced by constraint validation.
- *
- * The `code` is a stable, machine-readable semantic identifier.
- * Examples: `CONTRADICTING_CONSTRAINTS`, `TYPE_MISMATCH`, `UNKNOWN_EXTENSION`.
- */
-export interface ValidationDiagnostic {
-    readonly code: string;
-    readonly message: string;
-    readonly severity: "error" | "warning";
-    /** Location of the primary constraint involved in the violation. */
-    readonly primaryLocation: Provenance;
-    /** Related locations (e.g., the other side of a contradiction pair). */
-    readonly relatedLocations: readonly Provenance[];
-}
-/** Result of validating a {@link FormIR}. */
+export type ValidationDiagnostic = ConstraintSemanticDiagnostic;
 export interface ValidationResult {
     readonly diagnostics: readonly ValidationDiagnostic[];
-    /** `true` if there are no error-severity diagnostics (warnings are OK). */
     readonly valid: boolean;
 }
-/** Options for constraint validation. */
 export interface ValidateIROptions {
-    /** @deprecated Ignored. Diagnostic codes are semantic identifiers only. */
     readonly vendorPrefix?: string;
-    /**
-     * Extension registry for resolving custom constraint type applicability.
-     * When provided, custom constraints with `applicableTypes` will be
-     * validated against the field's type node kind. Custom constraints
-     * whose IDs are absent from this registry emit a WARNING (UNKNOWN_EXTENSION).
-     * When omitted, custom constraints are silently skipped.
-     */
     readonly extensionRegistry?: ExtensionRegistry;
 }
-/**
- * Validate all constraints in a {@link FormIR}.
- *
- * Checks for:
- * - Contradictions between paired constraints (e.g. `minimum > maximum`)
- * - Type applicability violations (e.g. `minLength` on a number field)
- * - Custom constraint type applicability (via extension registry)
- * - Unknown extension constraints (when `extensionRegistry` is provided)
- *
- * @param ir - The form IR to validate.
- * @param options - Optional configuration.
- * @returns A {@link ValidationResult} with diagnostics and a `valid` flag.
- */
 export declare function validateIR(ir: FormIR, options?: ValidateIROptions): ValidationResult;
 //# sourceMappingURL=constraint-validator.d.ts.map

package/dist/validate/constraint-validator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constraint-validator.d.ts","sourceRoot":"","sources":["../../src/validate/constraint-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EACV,MAAM,EAQN,UAAU,EAGX,MAAM,gBAAgB,CAAC;AAExB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAMhE;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,oEAAoE;IACpE,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,wEAAwE;IACxE,QAAQ,CAAC,gBAAgB,EAAE,SAAS,UAAU,EAAE,CAAC;CAClD;AAED,6CAA6C;AAC7C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACtD,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,yCAAyC;AACzC,MAAM,WAAW,iBAAiB;IAChC,2EAA2E;IAC3E,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CAChD;AAonCD;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,gBAAgB,CAepF"}
+{"version":3,"file":"constraint-validator.d.ts","sourceRoot":"","sources":["../../src/validate/constraint-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAGL,KAAK,4BAA4B,EAClC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,MAAM,EAA4C,MAAM,gBAAgB,CAAC;AACvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,MAAM,MAAM,oBAAoB,GAAG,4BAA4B,CAAC;AAEhE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACtD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CAChD;AA6ED,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,gBAAgB,CAepF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@formspec/build",
-  "version": "0.1.0-alpha.19",
+  "version": "0.1.0-alpha.20",
   "description": "Build tools to compile FormSpec forms to JSON Schema and UI Schema",
   "type": "module",
   "main": "./dist/index.cjs",
@@ -34,6 +34,7 @@
     "@microsoft/tsdoc": "^0.16.0",
     "@microsoft/tsdoc-config": "^0.18.1",
     "zod": "^3.25.0",
+    "@formspec/analysis": "0.1.0-alpha.20",
     "@formspec/core": "0.1.0-alpha.19"
   },
   "peerDependencies": {

package/dist/__tests__/json-utils.test.d.ts

@@ -1,5 +0,0 @@
-/**
- * Tests for the shared JSON parsing utility used by the analyzer pipeline.
- */
-export {};
-//# sourceMappingURL=json-utils.test.d.ts.map

package/dist/__tests__/json-utils.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"json-utils.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/json-utils.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/analyzer/json-utils.d.ts

@@ -1,22 +0,0 @@
-/**
- * Shared JSON parsing utilities for the analyzer pipeline.
- */
-/**
- * Attempts to parse `text` as JSON.
- *
- * Returns the parsed value on success, or `null` if the input is not valid
- * JSON. This is the canonical "try-parse" wrapper used by the constraint tag
- * parsers so that every `JSON.parse` call in this package is consistent and
- * centrally tested.
- *
- * Note: when the input is the literal string `"null"`, the return value is
- * also `null` (valid JSON). This helper therefore cannot distinguish parse
- * failure from a successfully-parsed JSON `null`. Callers that need to
- * distinguish these cases should use a different API (for example, a wrapper
- * that returns a discriminated result such as `{ ok: boolean, value?: unknown }`).
- *
- * @param text - Raw string to parse
- * @returns The parsed value, or `null` on parse failure
- */
-export declare function tryParseJson(text: string): unknown;
-//# sourceMappingURL=json-utils.d.ts.map

package/dist/analyzer/json-utils.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"json-utils.d.ts","sourceRoot":"","sources":["../../src/analyzer/json-utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAMlD"}