@formspec/build 0.1.0-alpha.55 → 0.1.0-alpha.58

package/dist/build-alpha.d.ts

@@ -905,11 +905,12 @@ export declare interface FormSpecConfig {
     readonly vendorPrefix?: string;
     /**
      * JSON Schema representation for static enums.
-     * - "enum": flat { "enum": ["a", "b"] }
-     * - "oneOf": { "oneOf": [{ "const": "a" }, ...] }
+     * - "enum": compact `enum` output, plus a display-name extension when labels exist
+     * - "oneOf": per-member `const` output, with `title` only for distinct labels
+     * - "smart-size": uses `enum` unless a distinct display label would be lost
      * @defaultValue "enum"
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /**
      * Per-package configuration overrides for monorepos.
      * Keys are glob patterns matched against file paths relative to
@@ -928,7 +929,7 @@ declare interface FormSpecPackageOverride {
     /** Override constraint surface for this package. */
     readonly constraints?: ConstraintConfig;
     /** Override enum serialization for this package. */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /** Override metadata policy for this package. */
     readonly metadata?: MetadataPolicyInput_2;
 }
@@ -1011,7 +1012,7 @@ export declare interface GenerateJsonSchemaOptions {
      * JSON Schema representation to use for static enums.
      * @defaultValue "enum"
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /** Metadata resolution policy for chain DSL generation. */
     readonly metadata?: MetadataPolicyInput | undefined;
     /**
@@ -2173,7 +2174,7 @@ export declare interface StaticSchemaGenerationOptions {
      * @defaultValue "enum"
      * @deprecated Provide a `FormSpecConfig` via the `config` option instead.
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /**
      * Metadata resolution policy for static schema generation.
      * @deprecated Provide a `FormSpecConfig` via the `config` option instead.

package/dist/build-beta.d.ts

@@ -905,11 +905,12 @@ export declare interface FormSpecConfig {
     readonly vendorPrefix?: string;
     /**
      * JSON Schema representation for static enums.
-     * - "enum": flat { "enum": ["a", "b"] }
-     * - "oneOf": { "oneOf": [{ "const": "a" }, ...] }
+     * - "enum": compact `enum` output, plus a display-name extension when labels exist
+     * - "oneOf": per-member `const` output, with `title` only for distinct labels
+     * - "smart-size": uses `enum` unless a distinct display label would be lost
      * @defaultValue "enum"
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /**
      * Per-package configuration overrides for monorepos.
      * Keys are glob patterns matched against file paths relative to
@@ -928,7 +929,7 @@ declare interface FormSpecPackageOverride {
     /** Override constraint surface for this package. */
     readonly constraints?: ConstraintConfig;
     /** Override enum serialization for this package. */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /** Override metadata policy for this package. */
     readonly metadata?: MetadataPolicyInput_2;
 }
@@ -1011,7 +1012,7 @@ export declare interface GenerateJsonSchemaOptions {
      * JSON Schema representation to use for static enums.
      * @defaultValue "enum"
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /** Metadata resolution policy for chain DSL generation. */
     readonly metadata?: MetadataPolicyInput | undefined;
     /**
@@ -2173,7 +2174,7 @@ export declare interface StaticSchemaGenerationOptions {
      * @defaultValue "enum"
      * @deprecated Provide a `FormSpecConfig` via the `config` option instead.
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /**
      * Metadata resolution policy for static schema generation.
      * @deprecated Provide a `FormSpecConfig` via the `config` option instead.

package/dist/build-internal.d.ts

@@ -905,11 +905,12 @@ export declare interface FormSpecConfig {
     readonly vendorPrefix?: string;
     /**
      * JSON Schema representation for static enums.
-     * - "enum": flat { "enum": ["a", "b"] }
-     * - "oneOf": { "oneOf": [{ "const": "a" }, ...] }
+     * - "enum": compact `enum` output, plus a display-name extension when labels exist
+     * - "oneOf": per-member `const` output, with `title` only for distinct labels
+     * - "smart-size": uses `enum` unless a distinct display label would be lost
      * @defaultValue "enum"
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /**
      * Per-package configuration overrides for monorepos.
      * Keys are glob patterns matched against file paths relative to
@@ -928,7 +929,7 @@ declare interface FormSpecPackageOverride {
     /** Override constraint surface for this package. */
     readonly constraints?: ConstraintConfig;
     /** Override enum serialization for this package. */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /** Override metadata policy for this package. */
     readonly metadata?: MetadataPolicyInput_2;
 }
@@ -1011,7 +1012,7 @@ export declare interface GenerateJsonSchemaOptions {
      * JSON Schema representation to use for static enums.
      * @defaultValue "enum"
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /** Metadata resolution policy for chain DSL generation. */
     readonly metadata?: MetadataPolicyInput | undefined;
     /**
@@ -2173,7 +2174,7 @@ export declare interface StaticSchemaGenerationOptions {
      * @defaultValue "enum"
      * @deprecated Provide a `FormSpecConfig` via the `config` option instead.
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /**
      * Metadata resolution policy for static schema generation.
      * @deprecated Provide a `FormSpecConfig` via the `config` option instead.

package/dist/build.d.ts

@@ -905,11 +905,12 @@ export declare interface FormSpecConfig {
     readonly vendorPrefix?: string;
     /**
      * JSON Schema representation for static enums.
-     * - "enum": flat { "enum": ["a", "b"] }
-     * - "oneOf": { "oneOf": [{ "const": "a" }, ...] }
+     * - "enum": compact `enum` output, plus a display-name extension when labels exist
+     * - "oneOf": per-member `const` output, with `title` only for distinct labels
+     * - "smart-size": uses `enum` unless a distinct display label would be lost
      * @defaultValue "enum"
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /**
      * Per-package configuration overrides for monorepos.
      * Keys are glob patterns matched against file paths relative to
@@ -928,7 +929,7 @@ declare interface FormSpecPackageOverride {
     /** Override constraint surface for this package. */
     readonly constraints?: ConstraintConfig;
     /** Override enum serialization for this package. */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /** Override metadata policy for this package. */
     readonly metadata?: MetadataPolicyInput_2;
 }
@@ -1011,7 +1012,7 @@ export declare interface GenerateJsonSchemaOptions {
      * JSON Schema representation to use for static enums.
      * @defaultValue "enum"
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /** Metadata resolution policy for chain DSL generation. */
     readonly metadata?: MetadataPolicyInput | undefined;
     /**
@@ -2173,7 +2174,7 @@ export declare interface StaticSchemaGenerationOptions {
      * @defaultValue "enum"
      * @deprecated Provide a `FormSpecConfig` via the `config` option instead.
      */
-    readonly enumSerialization?: "enum" | "oneOf";
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
     /**
      * Metadata resolution policy for static schema generation.
      * @deprecated Provide a `FormSpecConfig` via the `config` option instead.

package/dist/cli.cjs

@@ -1018,20 +1018,29 @@ var init_collision_guards = __esm({
 });
 
 // src/json-schema/ir-generator.ts
+function parseEnumSerialization(value) {
+  switch (value) {
+    case void 0:
+    case "enum":
+      return "enum";
+    case "oneOf":
+      return "oneOf";
+    case "smart-size":
+      return "smart-size";
+    default:
+      throw new Error(
+        `Invalid enumSerialization "${String(value)}". Expected "enum", "oneOf", or "smart-size".`
+      );
+  }
+}
 function makeContext(options) {
   const vendorPrefix = options?.vendorPrefix ?? "x-formspec";
-  const rawEnumSerialization = options?.enumSerialization;
+  const enumSerialization = parseEnumSerialization(options?.enumSerialization);
   if (!vendorPrefix.startsWith("x-")) {
     throw new Error(
       `Invalid vendorPrefix "${vendorPrefix}". Extension JSON Schema keywords must start with "x-".`
     );
   }
-  if (rawEnumSerialization !== void 0 && rawEnumSerialization !== "enum" && rawEnumSerialization !== "oneOf") {
-    throw new Error(
-      `Invalid enumSerialization "${rawEnumSerialization}". Expected "enum" or "oneOf".`
-    );
-  }
-  const enumSerialization = rawEnumSerialization ?? "enum";
   return {
     defs: {},
     typeNameMap: {},
@@ -1239,7 +1248,7 @@ function generatePrimitiveType(type) {
   };
 }
 function generateEnumType(type, ctx) {
-  if (ctx.enumSerialization === "oneOf") {
+  if (ctx.enumSerialization === "oneOf" || ctx.enumSerialization === "smart-size" && shouldSerializeEnumAsOneOf(type)) {
     return {
       oneOf: type.members.map((m) => {
         const stringValue = String(m.value);
@@ -1249,12 +1258,21 @@ function generateEnumType(type, ctx) {
     };
   }
   const schema = { enum: type.members.map((m) => m.value) };
+  if (ctx.enumSerialization === "smart-size") {
+    return schema;
+  }
   const displayNames = buildEnumDisplayNameExtension(type);
   if (displayNames !== void 0) {
     schema[`${ctx.vendorPrefix}-display-names`] = displayNames;
   }
   return schema;
 }
+function shouldSerializeEnumAsOneOf(type) {
+  return type.members.some((member) => {
+    const title = member.displayName ?? String(member.value);
+    return title !== String(member.value);
+  });
+}
 function buildEnumDisplayNameExtension(type) {
   if (!type.members.some((member) => member.displayName !== void 0)) {
     return void 0;
@@ -2612,6 +2630,7 @@ function processConstraintTag(tagName, text, parsedTag, provenance, node, source
     sourceFile,
     tagName,
     parsedTag,
+    text,
     provenance,
     supportingDeclarations,
     options
@@ -2639,6 +2658,9 @@ function renderSyntheticArgumentExpression(valueKind, argumentText) {
     case "number":
     case "integer":
     case "signedInteger":
+      if (trimmed === "Infinity" || trimmed === "-Infinity" || trimmed === "NaN") {
+        return trimmed;
+      }
       return Number.isFinite(Number(trimmed)) ? trimmed : JSON.stringify(trimmed);
     case "string":
       return JSON.stringify(argumentText);
@@ -2848,7 +2870,7 @@ function hasBuiltinConstraintBroadening(tagName, options) {
   const broadenedTypeId = getBroadenedCustomTypeId(options?.fieldType);
   return broadenedTypeId !== void 0 && options?.extensionRegistry?.findBuiltinConstraintBroadening(broadenedTypeId, tagName) !== void 0;
 }
-function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, parsedTag, provenance, supportingDeclarations, options) {
+function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, parsedTag, rawText, provenance, supportingDeclarations, options) {
   if (!(0, import_internals4.isBuiltinConstraintName)(tagName)) {
     return [];
   }
@@ -2869,8 +2891,10 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
   const log2 = (0, import_internal4.getBuildLogger)();
   const broadeningLog = (0, import_internal4.getBroadeningLogger)();
   const syntheticLog = (0, import_internal4.getSyntheticLogger)();
+  const typedParserLog = (0, import_internal4.getTypedParserLogger)();
   const logsEnabled = log2 !== import_core4.noopLogger || broadeningLog !== import_core4.noopLogger;
   const syntheticTraceEnabled = syntheticLog !== import_core4.noopLogger;
+  const typedParserTraceEnabled = typedParserLog !== import_core4.noopLogger;
   const logStart = logsEnabled ? (0, import_internal4.nowMicros)() : 0;
   const subjectTypeKind = logsEnabled ? (0, import_internal4.describeTypeKind)(subjectType, checker) : "";
   function emit(outcome, result2) {
@@ -2978,16 +3002,57 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
       ]);
     }
   }
-  const argumentExpression = renderSyntheticArgumentExpression(
-    definition.valueKind,
-    parsedTag?.argumentText ?? ""
-  );
-  if (definition.requiresArgument && argumentExpression === null) {
-    return emit("A-pass", []);
-  }
+  const effectiveArgumentText = parsedTag !== null ? (0, import_internal3.parseTagSyntax)(tagName, rawText).argumentText : rawText;
   if (hasBroadening) {
     return emit("bypass", []);
   }
+  const typedParseResult = (0, import_internal4.parseTagArgument)(tagName, effectiveArgumentText, "build");
+  if (!typedParseResult.ok) {
+    if (typedParserTraceEnabled) {
+      typedParserLog.trace("typed-parser C-reject", {
+        consumer: "build",
+        tag: tagName,
+        placement: nonNullPlacement,
+        subjectTypeKind: subjectTypeKind !== "" ? subjectTypeKind : "-",
+        roleOutcome: "C-reject",
+        diagnosticCode: typedParseResult.diagnostic.code
+      });
+    }
+    let mappedCode;
+    switch (typedParseResult.diagnostic.code) {
+      case "MISSING_TAG_ARGUMENT":
+        mappedCode = "MISSING_TAG_ARGUMENT";
+        break;
+      case "INVALID_TAG_ARGUMENT":
+        mappedCode = "INVALID_TAG_ARGUMENT";
+        break;
+      case "UNKNOWN_TAG":
+        throw new Error(
+          `Unexpected UNKNOWN_TAG from parseTagArgument("${tagName}") \u2014 tag was resolved via getTagDefinition.`
+        );
+      default: {
+        const _exhaustive = typedParseResult.diagnostic.code;
+        throw new Error(`Unknown diagnostic code: ${String(_exhaustive)}`);
+      }
+    }
+    return emit("C-reject", [
+      makeDiagnostic(mappedCode, typedParseResult.diagnostic.message, provenance)
+    ]);
+  }
+  if (typedParserTraceEnabled) {
+    typedParserLog.trace("typed-parser C-pass", {
+      consumer: "build",
+      tag: tagName,
+      placement: nonNullPlacement,
+      subjectTypeKind: subjectTypeKind !== "" ? subjectTypeKind : "-",
+      roleOutcome: "C-pass",
+      valueKind: typedParseResult.value.kind
+    });
+  }
+  const argumentExpression = renderSyntheticArgumentExpression(
+    definition.valueKind,
+    effectiveArgumentText
+  );
   const subjectTypeText = checker.typeToString(subjectType, node, SYNTHETIC_TYPE_FORMAT_FLAGS);
   const hostType = options?.hostType ?? subjectType;
   const hostTypeText = checker.typeToString(hostType, node, SYNTHETIC_TYPE_FORMAT_FLAGS);
@@ -7194,7 +7259,7 @@ Usage:
 Options:
   -o, --out-dir <dir>   Output directory (default: ./generated)
   -n, --name <name>     Base name for output files (default: derived from input)
-  --enum-serialization <enum|oneOf>
+  --enum-serialization <enum|oneOf|smart-size>
                          Enum JSON Schema representation (default: enum)
   -h, --help            Show this help message
 
@@ -7246,8 +7311,10 @@ function parseArgs(args) {
         console.error("Error: --enum-serialization requires a value");
         return null;
       }
-      if (nextArg !== "enum" && nextArg !== "oneOf") {
-        console.error('Error: --enum-serialization must be "enum" or "oneOf"');
+      if (nextArg !== "enum" && nextArg !== "oneOf" && nextArg !== "smart-size") {
+        console.error(
+          'Error: --enum-serialization must be "enum", "oneOf", or "smart-size"'
+        );
         return null;
       }
       enumSerialization = nextArg;