primitive-admin 1.1.0-alpha.7 → 1.1.0-alpha.71

package/dist/src/lib/workflow-codegen/naming.js

@@ -0,0 +1,81 @@
+/**
+ * Identifier-naming helpers for `workflows codegen` (issue #1442).
+ *
+ * Workflow keys resolve case-insensitively server-side and may contain
+ * characters that aren't valid TS identifiers (`.`, `-`). Only the emitted
+ * identifiers are sanitized — the runtime call always passes the ORIGINAL key
+ * string.
+ *
+ * Type names: `pascalCase(key) + "Input" | "Output"` (reuses `pascalCase` from
+ * the database codegen so the two commands share one PascalCase rule).
+ * Factory property: a camelCase form of the key.
+ */
+import { pascalCase } from "../db-codegen/dbNaming.js";
+/**
+ * Ensure an identifier is a valid TS identifier start. The server accepts
+ * workflow keys matching `^[a-z0-9][a-z0-9-_]{2,}$`, so a digit-leading key
+ * like `123-job` PascalCases to `123Job` — not a legal TS type name or
+ * unquoted object property, since identifiers can't start with a digit.
+ * Prefix an underscore in that case (`123Job` → `_123Job`). Only the emitted
+ * identifier changes; the runtime call still passes the ORIGINAL key string.
+ */
+function ensureValidIdentifierStart(name) {
+    const first = name.charAt(0);
+    if (first >= "0" && first <= "9") {
+        return `_${name}`;
+    }
+    return name;
+}
+/**
+ * `create-checkout-session` / `createCheckoutSession` → `CreateCheckoutSession`.
+ * A digit-leading key (`123-job` → `_123Job`) is prefixed with `_` so the
+ * emitted type name is a valid TS identifier.
+ */
+export function workflowTypeBaseName(key) {
+    return ensureValidIdentifierStart(pascalCase(key));
+}
+/** PascalCase base + `Input` (e.g. `CreateCheckoutSessionInput`). */
+export function workflowInputTypeName(key) {
+    return `${workflowTypeBaseName(key)}Input`;
+}
+/** PascalCase base + `Output` (e.g. `CreateCheckoutSessionOutput`). */
+export function workflowOutputTypeName(key) {
+    return `${workflowTypeBaseName(key)}Output`;
+}
+/**
+ * Reserved words that cannot be used as a bare `function <name>` declaration.
+ * The per-workflow factory is now a top-level exported function (not an
+ * object-literal property), so a key that camelCases to one of these must be
+ * escaped or `export function delete(client) {}` is a syntax error. Covers ES
+ * reserved words plus the strict-mode/future set — a workflow key resolves case
+ * -insensitively and matches `^[a-z0-9][a-z0-9-_]{2,}$`, so only the lowercase
+ * single-word forms can actually collide.
+ */
+const RESERVED_WORDS = new Set([
+    "break", "case", "catch", "class", "const", "continue", "debugger",
+    "default", "delete", "do", "else", "enum", "export", "extends", "false",
+    "finally", "for", "function", "if", "import", "in", "instanceof", "new",
+    "null", "return", "super", "switch", "this", "throw", "true", "try",
+    "typeof", "var", "void", "while", "with", "yield", "let", "static",
+    "implements", "interface", "package", "private", "protected", "public",
+    "await",
+]);
+/**
+ * camelCase factory function name for a workflow key: PascalCase, then lowercase
+ * the first character (`create-checkout-session` → `createCheckoutSession`,
+ * `refresh-sheet` → `refreshSheet`). Used as the top-level exported factory
+ * function name in the per-workflow generated file, so it must be a legal
+ * function identifier: a digit-leading key (`123-job` → `_123Job`) is
+ * underscore-prefixed, and a key that lands on a JS reserved word (`delete`,
+ * `new`, `import`) is underscore-suffixed (`delete_`). Only the emitted
+ * identifier changes; the runtime call still passes the ORIGINAL key string.
+ */
+export function workflowFactoryName(key) {
+    const pascal = pascalCase(key);
+    if (pascal.length === 0)
+        return pascal;
+    const camel = pascal.charAt(0).toLowerCase() + pascal.slice(1);
+    const safeStart = ensureValidIdentifierStart(camel);
+    return RESERVED_WORDS.has(safeStart) ? `${safeStart}_` : safeStart;
+}
+//# sourceMappingURL=naming.js.map

package/dist/src/lib/workflow-codegen/naming.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"naming.js","sourceRoot":"","sources":["../../../../src/lib/workflow-codegen/naming.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAEvD;;;;;;;GAOG;AACH,SAAS,0BAA0B,CAAC,IAAY;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,KAAK,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;QACjC,OAAO,IAAI,IAAI,EAAE,CAAC;IACpB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,OAAO,0BAA0B,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,qBAAqB,CAAC,GAAW;IAC/C,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC;AAC7C,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,sBAAsB,CAAC,GAAW;IAChD,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC;AAC9C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU;IAClE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO;IACvE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK;IACvE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK;IACnE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ;IAClE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ;IACtE,OAAO;CACR,CAAC,CAAC;AAEH;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACpD,OAAO,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACrE,CAAC"}

package/dist/src/lib/workflow-codegen/schemaToTs.d.ts

@@ -0,0 +1,80 @@
+/**
+ * JSON-Schema → TypeScript converter for `workflows codegen` (issue #1442).
+ *
+ * Workflow `inputSchema`/`outputSchema` are real JSON Schema. This converter
+ * types only the subset the server's validator descends into — and it reads
+ * that interpretation from the SAME descriptor the server validator consumes,
+ * vendored into the CLI as `generated-schema-descriptor.ts` (a byte copy of
+ * `src/workflows/schema-descriptor.ts`, kept fresh by
+ * `cli/scripts/gen-workflow-schema-descriptor.mjs` + its drift guard). So the
+ * generated type and the runtime validation can never disagree on:
+ *
+ *   - `type` single scalar (`string`/`number`/`integer`/`boolean`/`null`) →
+ *     the mapped TS scalar.
+ *   - `type` array-union — only when every member is a scalar/`null` → a TS
+ *     union. A union that contains `object` or `array` renders `unknown`,
+ *     because the server only walks `properties`/`items` for the bare string
+ *     `"object"`/`"array"` — a union is never descended, so a precise-looking
+ *     type would over-promise.
+ *   - `enum` → a scalar-literal union, intersected with the declared `type`
+ *     first (the server gates on `type` before checking `enum`).
+ *   - `type: "object"` with `properties` → a nested object type; `required[]`
+ *     drives `name:` vs `name?:`. An OPEN object (no `additionalProperties:
+ *     false`) also emits `[key: string]: unknown` so extra keys the runtime
+ *     validator accepts don't hit TS excess-property errors; a CLOSED object
+ *     (`additionalProperties: false`) omits the index signature.
+ *   - `type: "array"` with `items` → `T[]`.
+ *   - `oneOf` whose members are ALL `type: "object"` → a discriminated
+ *     (tagged) union: the `|`-union of member object types, keyed by an
+ *     auto-detected single-literal-`enum` discriminator (#1511). A defective
+ *     all-object tagged union (no/ambiguous discriminator, <2 members) or an
+ *     all-object `anyOf` (unsupported in v1) is a STRICT codegen error, not a
+ *     silent `unknown` (Fork 3, resolved by the maintainer).
+ *
+ * Everything else the server ignores (`$ref`, `allOf`, `format`,
+ * `patternProperties`, numeric constraints, tuple `items`, and a `oneOf`/`anyOf`
+ * whose members are NOT all objects) renders `unknown`.
+ *
+ * Errors are NOT swallowed here — a malformed schema fails upstream at parse
+ * time, and a defective tagged union throws — this walker otherwise returns
+ * `unknown` for anything it does not recognize.
+ *
+ * FORMATTING CONTRACT (#1565): the types emitted here must be a fixed point of
+ * Prettier's DEFAULT config, since `workflows codegen --check` byte-compares
+ * the emission against disk. Long unions therefore render through
+ * `codegen-shared/prettierStable.ts` (which reproduces Prettier's width
+ * decision) instead of being joined with `" | "`. There is no Prettier
+ * dependency and no automated round-trip test, so verify any change to these
+ * shapes by hand — see that module's header.
+ */
+import { type TypeNode } from "../codegen-shared/prettierStable.js";
+/**
+ * Convert a parsed JSON Schema node to a TypeScript type expression. Object
+ * types render multi-line (2-space indent per level); everything else renders
+ * on a single line unless it is too wide for Prettier's default print width
+ * (#1565). `indent` is the current indentation depth.
+ */
+export declare function schemaToTsType(schema: any, indent?: number): string;
+/**
+ * `schemaToTsType` as a wrappable node — the emitters print it at the position
+ * it actually occupies so long unions/objects wrap exactly as Prettier would
+ * (#1565). See `codegen-shared/prettierStable.ts`.
+ */
+export declare function schemaToTypeNode(schema: any): TypeNode;
+/**
+ * True when the schema REJECTS an empty object `{}` — i.e. the client's
+ * `rootInput: options.input ?? {}` fallback would fail validation, so `input`
+ * must be a compile-time-required option (issue #1442, P4). Derived from the
+ * shared descriptor so it matches the server validator exactly:
+ *
+ *   - a valid top-level discriminated-union (`oneOf`): the runtime always
+ *     requires the discriminator present, so `{}` matches no case;
+ *   - a declared top-level `type` that `{}` does not satisfy (anything but
+ *     `object`, e.g. `string`/`array`, or a union with no `object` arm);
+ *   - a top-level `enum` (a fresh `{}` is never an enum member);
+ *   - `type: "object"` with a non-empty `required[]` (a missing required key).
+ *
+ * An all-optional object schema, or a schema with no top-level constraints,
+ * accepts `{}` → `input` is optional.
+ */
+export declare function schemaRejectsEmptyObject(schema: any): boolean;

package/dist/src/lib/workflow-codegen/schemaToTs.js

@@ -0,0 +1,303 @@
+/**
+ * JSON-Schema → TypeScript converter for `workflows codegen` (issue #1442).
+ *
+ * Workflow `inputSchema`/`outputSchema` are real JSON Schema. This converter
+ * types only the subset the server's validator descends into — and it reads
+ * that interpretation from the SAME descriptor the server validator consumes,
+ * vendored into the CLI as `generated-schema-descriptor.ts` (a byte copy of
+ * `src/workflows/schema-descriptor.ts`, kept fresh by
+ * `cli/scripts/gen-workflow-schema-descriptor.mjs` + its drift guard). So the
+ * generated type and the runtime validation can never disagree on:
+ *
+ *   - `type` single scalar (`string`/`number`/`integer`/`boolean`/`null`) →
+ *     the mapped TS scalar.
+ *   - `type` array-union — only when every member is a scalar/`null` → a TS
+ *     union. A union that contains `object` or `array` renders `unknown`,
+ *     because the server only walks `properties`/`items` for the bare string
+ *     `"object"`/`"array"` — a union is never descended, so a precise-looking
+ *     type would over-promise.
+ *   - `enum` → a scalar-literal union, intersected with the declared `type`
+ *     first (the server gates on `type` before checking `enum`).
+ *   - `type: "object"` with `properties` → a nested object type; `required[]`
+ *     drives `name:` vs `name?:`. An OPEN object (no `additionalProperties:
+ *     false`) also emits `[key: string]: unknown` so extra keys the runtime
+ *     validator accepts don't hit TS excess-property errors; a CLOSED object
+ *     (`additionalProperties: false`) omits the index signature.
+ *   - `type: "array"` with `items` → `T[]`.
+ *   - `oneOf` whose members are ALL `type: "object"` → a discriminated
+ *     (tagged) union: the `|`-union of member object types, keyed by an
+ *     auto-detected single-literal-`enum` discriminator (#1511). A defective
+ *     all-object tagged union (no/ambiguous discriminator, <2 members) or an
+ *     all-object `anyOf` (unsupported in v1) is a STRICT codegen error, not a
+ *     silent `unknown` (Fork 3, resolved by the maintainer).
+ *
+ * Everything else the server ignores (`$ref`, `allOf`, `format`,
+ * `patternProperties`, numeric constraints, tuple `items`, and a `oneOf`/`anyOf`
+ * whose members are NOT all objects) renders `unknown`.
+ *
+ * Errors are NOT swallowed here — a malformed schema fails upstream at parse
+ * time, and a defective tagged union throws — this walker otherwise returns
+ * `unknown` for anything it does not recognize.
+ *
+ * FORMATTING CONTRACT (#1565): the types emitted here must be a fixed point of
+ * Prettier's DEFAULT config, since `workflows codegen --check` byte-compares
+ * the emission against disk. Long unions therefore render through
+ * `codegen-shared/prettierStable.ts` (which reproduces Prettier's width
+ * decision) instead of being joined with `" | "`. There is no Prettier
+ * dependency and no automated round-trip test, so verify any change to these
+ * shapes by hand — see that module's header.
+ */
+import { describeSchema, isType, } from "./generated-schema-descriptor.js";
+import { arrayOf, atom, block, indent as pad2, printType, recordOf, renderMember, tsStringLiteral, union, } from "../codegen-shared/prettierStable.js";
+/** Scalar JSON-schema types this converter maps to a concrete TS scalar. */
+const SCALAR_TS = {
+    string: "string",
+    number: "number",
+    integer: "number",
+    boolean: "boolean",
+    null: "null",
+};
+/** A shared empty-object reference for the `{}`-rejection probe below. */
+const EMPTY_OBJECT = Object.freeze({});
+/**
+ * Render a scalar-literal union from an `enum` array. A string member is
+ * emitted via `tsStringLiteral` (Prettier's quote choice, #1565); a number,
+ * boolean, or `null` via `JSON.stringify`, which is already a Prettier fixed
+ * point for those. An object/array member has no TS literal form, so the whole
+ * enum falls back to `unknown` (returns `null` here).
+ */
+function tsUnionFromScalarEnum(values) {
+    if (!Array.isArray(values) || values.length === 0)
+        return null;
+    const literals = [];
+    const seen = new Set();
+    for (const v of values) {
+        if (v !== null && (typeof v === "object" || Array.isArray(v))) {
+            // Objects/arrays are not representable as TS literals.
+            return null;
+        }
+        const literal = typeof v === "string" ? tsStringLiteral(v) : JSON.stringify(v);
+        if (literal === undefined)
+            return null; // e.g. `undefined` in the enum
+        if (!seen.has(literal)) {
+            seen.add(literal);
+            literals.push(literal);
+        }
+    }
+    return literals.length > 0 ? union(literals.map(atom)) : null;
+}
+/**
+ * Convert a parsed JSON Schema node to a TypeScript type expression. Object
+ * types render multi-line (2-space indent per level); everything else renders
+ * on a single line unless it is too wide for Prettier's default print width
+ * (#1565). `indent` is the current indentation depth.
+ */
+export function schemaToTsType(schema, indent = 0) {
+    return printType(schemaToTypeNode(schema), indent * 2, indent);
+}
+/**
+ * `schemaToTsType` as a wrappable node — the emitters print it at the position
+ * it actually occupies so long unions/objects wrap exactly as Prettier would
+ * (#1565). See `codegen-shared/prettierStable.ts`.
+ */
+export function schemaToTypeNode(schema) {
+    const d = describeSchema(schema);
+    // `enum` is the most specific constraint — the server checks it AFTER the
+    // type gate, so when both are present only the enum members that satisfy the
+    // declared type(s) are reachable. Emit just those (intersect with `type`
+    // via the shared `isType`). If the type filter leaves nothing representable,
+    // fall through to plain `type` rendering rather than over-promising.
+    if (d.enumValues) {
+        const allowedTypes = d.types;
+        const candidates = allowedTypes.length > 0
+            ? d.enumValues.filter((v) => allowedTypes.some((t) => isType(v, t)))
+            : d.enumValues;
+        if (candidates.length === 0) {
+            // No enum member satisfies the declared type gate (or the enum is empty),
+            // so the runtime rejects EVERY value: the type gate lets some values
+            // through, then `enum.includes(value)` fails them all. The reachable set
+            // is empty → an uninhabitable `never`. Widening to the declared type here
+            // (e.g. `{type:"string", enum:[1]}` → `string`) would let typed callers
+            // pass values the server always rejects.
+            return atom("never");
+        }
+        const enumUnion = tsUnionFromScalarEnum(candidates);
+        if (enumUnion !== null)
+            return enumUnion;
+        // Candidates survive the type gate but aren't representable as TS literals
+        // (object/array enum members). With no declared type there is nothing to
+        // fall back on → `unknown`; otherwise fall through to plain `type`.
+        if (allowedTypes.length === 0)
+            return atom("unknown");
+    }
+    // Array-union type (e.g. `["string", "null"]`). Only scalar/null members get
+    // a precise union — the server never descends `properties`/`items` for a
+    // union, so an object/array member forces `unknown`.
+    if (d.isUnion) {
+        const parts = [];
+        const seen = new Set();
+        for (const t of d.types) {
+            const mapped = SCALAR_TS[t];
+            // object/array/unknown member
+            if (mapped === undefined)
+                return atom("unknown");
+            if (!seen.has(mapped)) {
+                seen.add(mapped);
+                parts.push(mapped);
+            }
+        }
+        return parts.length > 0 ? union(parts.map(atom)) : atom("unknown");
+    }
+    // Discriminated-union (`oneOf`) rendering (#1511). A qualifying tagged union
+    // has no top-level `type`, so this runs ahead of the `singularType === null`
+    // fallback. Render each member via the existing object rendering and join
+    // with `|` — the natural TS discriminated union TS narrows on. A defective
+    // all-object tagged union (`kind: "invalid"`) is a strict codegen error
+    // (Fork 3, resolved by the maintainer), not a silent `unknown`.
+    if (d.oneOf) {
+        if (d.oneOf.kind === "invalid") {
+            throw new Error(`workflows codegen: ${d.oneOf.reason}`);
+        }
+        const { discriminant } = d.oneOf;
+        const members = d.oneOf.members.map((m) => {
+            const md = describeSchema(m.schema);
+            // Every member is `type: "object"` with `properties`, so `md.object` is
+            // non-null — reuse the shared object rendering rather than reimplement it.
+            if (!md.object)
+                return schemaToTypeNode(m.schema);
+            // The runtime validator always requires the discriminator present before
+            // it can select a branch — regardless of whether the member lists it in
+            // its own `required`. Force it required so the generated union can't
+            // compile a value that omits the tag (which the runtime rejects as
+            // "matches no case") (#1511).
+            const required = md.object.required.includes(discriminant)
+                ? md.object.required
+                : [...md.object.required, discriminant];
+            return objectNode({ ...md.object, required });
+        });
+        return union(members);
+    }
+    if (d.singularType === null) {
+        // No usable single type and no enum — the server enforces nothing.
+        return atom("unknown");
+    }
+    // Object: the server walks `properties`/`required` ONLY when the type is
+    // exactly `"object"`. `d.object` is non-null only in that case with declared
+    // properties; a typed object with no properties is open → Record.
+    if (d.singularType === "object") {
+        if (d.object)
+            return objectNode(d.object);
+        return recordOf("unknown");
+    }
+    // Array: the server walks `items` ONLY when the type is exactly `"array"`.
+    if (d.singularType === "array") {
+        const items = d.array ? d.array.items : undefined;
+        // Missing or tuple `items` (an array of schemas) is ignored → unknown[].
+        if (!items || typeof items !== "object" || Array.isArray(items)) {
+            return atom("unknown[]");
+        }
+        return arrayOf(schemaToTypeNode(items));
+    }
+    // Single scalar type.
+    const scalar = SCALAR_TS[d.singularType];
+    return scalar ? atom(scalar) : atom("unknown");
+}
+/** An object type as a node — always multi-line, so Prettier never collapses it. */
+function objectNode(objectDesc) {
+    return block((level) => renderObjectType(objectDesc, level));
+}
+/**
+ * Render an object descriptor (`describeSchema(...).object`) as a TS object
+ * type. `required[]` drives optionality. An OPEN object (not
+ * `additionalProperties: false`) emits `[key: string]: unknown` so extra keys
+ * the runtime accepts don't trip TS excess-property checks; a CLOSED object
+ * omits it.
+ */
+function renderObjectType(objectDesc, indent) {
+    const { properties, required, additionalPropertiesClosed } = objectDesc;
+    const propNames = Object.keys(properties);
+    const requiredSet = new Set(Array.isArray(required)
+        ? required.filter((k) => typeof k === "string")
+        : []);
+    const pad = pad2(indent + 1);
+    const closePad = pad2(indent);
+    const propNameSet = new Set(propNames);
+    const lines = [];
+    for (const name of propNames) {
+        lines.push(renderMember(indent + 1, quotePropIfNeeded(name), !requiredSet.has(name), schemaToTypeNode(properties[name])));
+    }
+    // A key listed in `required` but absent from `properties` has no declared
+    // child schema, yet the validator still rejects an object missing it. Emit it
+    // as a required `unknown` member so the generated type demands the key too —
+    // otherwise `{properties:{}, required:["id"]}` would accept `{}`, which the
+    // runtime rejects.
+    for (const name of requiredSet) {
+        if (!propNameSet.has(name)) {
+            lines.push(`${pad}${quotePropIfNeeded(name)}: unknown;`);
+        }
+    }
+    // Open objects accept extra keys at runtime; model that with an index
+    // signature so a call site passing an unlisted key still compiles.
+    if (!additionalPropertiesClosed) {
+        lines.push(`${pad}[key: string]: unknown;`);
+    }
+    // A closed object with no members at all renders `{}` — Prettier collapses an
+    // empty `{\n}` to `{}`, so emit it that way to stay byte-stable (#1565).
+    if (lines.length === 0)
+        return "{}";
+    return ["{", ...lines, `${closePad}}`].join("\n");
+}
+/**
+ * Quote an object-property name when it is not a plain identifier (so keys with
+ * hyphens, dots, or other characters render as valid TS). A quoted key uses
+ * Prettier's quote choice so it stays a fixed point (#1565).
+ */
+function quotePropIfNeeded(name) {
+    if (/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name))
+        return name;
+    return tsStringLiteral(name);
+}
+/**
+ * True when the schema REJECTS an empty object `{}` — i.e. the client's
+ * `rootInput: options.input ?? {}` fallback would fail validation, so `input`
+ * must be a compile-time-required option (issue #1442, P4). Derived from the
+ * shared descriptor so it matches the server validator exactly:
+ *
+ *   - a valid top-level discriminated-union (`oneOf`): the runtime always
+ *     requires the discriminator present, so `{}` matches no case;
+ *   - a declared top-level `type` that `{}` does not satisfy (anything but
+ *     `object`, e.g. `string`/`array`, or a union with no `object` arm);
+ *   - a top-level `enum` (a fresh `{}` is never an enum member);
+ *   - `type: "object"` with a non-empty `required[]` (a missing required key).
+ *
+ * An all-optional object schema, or a schema with no top-level constraints,
+ * accepts `{}` → `input` is optional.
+ */
+export function schemaRejectsEmptyObject(schema) {
+    const d = describeSchema(schema);
+    // 0. A valid discriminated-union (`oneOf`) always requires the discriminator
+    //    present before the runtime can select a branch, so a fresh `{}` (the
+    //    client's `input ?? {}` fallback) matches no case and is rejected. The
+    //    generated `input` must therefore be required, not optional (#1511).
+    if (d.oneOf && d.oneOf.kind === "valid") {
+        return true;
+    }
+    // 1. Type gate: `{}` must satisfy at least one declared type.
+    if (d.types.length && !d.types.some((t) => isType(EMPTY_OBJECT, t))) {
+        return true;
+    }
+    // 2. Enum gate: a JSON enum never contains a value reference-equal to `{}`,
+    //    so any enum rejects it (mirrors `enum.includes(value)` at runtime).
+    if (d.enumValues && !d.enumValues.includes(EMPTY_OBJECT)) {
+        return true;
+    }
+    // 3. Object required: any required key is absent from `{}`.
+    if (d.object) {
+        for (const key of d.object.required) {
+            if (!(key in EMPTY_OBJECT))
+                return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=schemaToTs.js.map

package/dist/src/lib/workflow-codegen/schemaToTs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaToTs.js","sourceRoot":"","sources":["../../../../src/lib/workflow-codegen/schemaToTs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,EACL,cAAc,EACd,MAAM,GAEP,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,OAAO,EACP,IAAI,EACJ,KAAK,EACL,MAAM,IAAI,IAAI,EAEd,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,eAAe,EACf,KAAK,GAEN,MAAM,qCAAqC,CAAC;AAE7C,4EAA4E;AAC5E,MAAM,SAAS,GAA2B;IACxC,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,QAAQ;IACjB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;CACb,CAAC;AAEF,0EAA0E;AAC1E,MAAM,YAAY,GAA0B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAE9D;;;;;;GAMG;AACH,SAAS,qBAAqB,CAAC,MAAa;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,uDAAuD;YACvD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC/E,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;QACvE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,MAAW,EAAE,MAAM,GAAG,CAAC;IACpD,OAAO,SAAS,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;AACjE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAW;IAC1C,MAAM,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAEjC,0EAA0E;IAC1E,6EAA6E;IAC7E,yEAAyE;IACzE,6EAA6E;IAC7E,qEAAqE;IACrE,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;QACjB,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC;QAC7B,MAAM,UAAU,GACd,YAAY,CAAC,MAAM,GAAG,CAAC;YACrB,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAC7B,YAAY,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAC5C;YACH,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;QACnB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,0EAA0E;YAC1E,qEAAqE;YACrE,yEAAyE;YACzE,0EAA0E;YAC1E,wEAAwE;YACxE,yCAAyC;YACzC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACzC,2EAA2E;QAC3E,yEAAyE;QACzE,oEAAoE;QACpE,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC;IAED,6EAA6E;IAC7E,yEAAyE;IACzE,qDAAqD;IACrD,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC5B,8BAA8B;YAC9B,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC;YACjD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrE,CAAC;IAED,6EAA6E;IAC7E,6EAA6E;IAC7E,0EAA0E;IAC1E,2EAA2E;IAC3E,wEAAwE;IACxE,gEAAgE;IAChE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACZ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1D,CAAC;QACD,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;QACjC,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACxC,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACpC,wEAAwE;YACxE,2EAA2E;YAC3E,IAAI,CAAC,EAAE,CAAC,MAAM;gBAAE,OAAO,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAClD,yEAAyE;YACzE,wEAAwE;YACxE,qEAAqE;YACrE,mEAAmE;YACnE,8BAA8B;YAC9B,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC;gBACxD,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ;gBACpB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC1C,OAAO,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QACH,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,CAAC,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QAC5B,mEAAmE;QACnE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC;IACzB,CAAC;IAED,yEAAyE;IACzE,6EAA6E;IAC7E,kEAAkE;IAClE,IAAI,CAAC,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC1C,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,2EAA2E;IAC3E,IAAI,CAAC,CAAC,YAAY,KAAK,OAAO,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAClD,yEAAyE;QACzE,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,sBAAsB;IACtB,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACzC,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AACjD,CAAC;AAED,oFAAoF;AACpF,SAAS,UAAU,CACjB,UAAmD;IAEnD,OAAO,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CACvB,UAAmD,EACnD,MAAc;IAEd,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,0BAA0B,EAAE,GAAG,UAAU,CAAC;IACxE,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAE1C,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QACrB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QACpD,CAAC,CAAC,EAAE,CACP,CAAC;IAEF,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CACR,YAAY,CACV,MAAM,GAAG,CAAC,EACV,iBAAiB,CAAC,IAAI,CAAC,EACvB,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EACtB,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CACnC,CACF,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,8EAA8E;IAC9E,6EAA6E;IAC7E,4EAA4E;IAC5E,mBAAmB;IACnB,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,sEAAsE;IACtE,mEAAmE;IACnE,IAAI,CAAC,0BAA0B,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,yBAAyB,CAAC,CAAC;IAC9C,CAAC;IACD,8EAA8E;IAC9E,yEAAyE;IACzE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,GAAG,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAY;IACrC,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAW;IAClD,MAAM,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAEjC,6EAA6E;IAC7E,0EAA0E;IAC1E,2EAA2E;IAC3E,yEAAyE;IACzE,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8DAA8D;IAC9D,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,4EAA4E;IAC5E,yEAAyE;IACzE,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,4DAA4D;IAC5D,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACb,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/lib/workflow-config-apply.d.ts

@@ -0,0 +1,70 @@
+/**
+ * Apply a workflow's named config sidecars, and honor `activeConfigName`
+ * (issue #2645, spec §Contracts/Named configs).
+ *
+ * ── What this is for ─────────────────────────────────────────────────────
+ * Named configs used to be reachable only through `workflows configs
+ * create/update/duplicate/activate`. Those verbs are removed, so `config push`
+ * has to apply the bodies now — otherwise the capability would have been
+ * deleted rather than moved to TOML, which the spec's criterion 2 forbids.
+ *
+ * ── Division of labour with `applyWorkflowBody` ──────────────────────────
+ * The ACTIVE config's body stays where it already is: the `steps` at the top of
+ * `workflows/<key>.toml`, written through `applyWorkflowBody`'s
+ * ordering-sensitive sequence (metadata PATCH → steps → deferred `syncCallable`
+ * PATCH, #807). That path is deliberately untouched — a second single-object
+ * apply is what broke that ordering before. This module handles the OTHER named
+ * configs, each from its own sidecar, and then the activation.
+ *
+ * So each config body is declared exactly once: the live one at the top of the
+ * workflow file, every other one in `workflows/<key>.configs/<name>.toml`.
+ * After a pull that follows an `activeConfigName` change, the two swap roles.
+ *
+ * ── Ordering ─────────────────────────────────────────────────────────────
+ * Bodies first, activation last. Activating a config before writing its steps
+ * would put an empty or stale body into service for the width of one call.
+ */
+import type { ApiClient } from "./api-client.js";
+import type { WorkflowConfigSidecar } from "./workflow-config-sidecar.js";
+export interface ApplyWorkflowConfigsOptions {
+    /** The workflow's configs as the server currently has them. */
+    serverConfigs: any[];
+    /** `[workflow].activeConfigName` from the TOML, when the author set one. */
+    activeConfigName?: string;
+    /** The config that is live right now, so a no-op activation is skipped. */
+    currentActiveConfigId?: string;
+    /**
+     * Let `activeConfigName` NAME the config that just received the workflow
+     * file's body, instead of requiring it to already exist.
+     *
+     * Create only. A workflow the server has just made carries one config it
+     * named itself ("default"), holding the body from `workflows/<key>.toml` —
+     * and pull never writes a sidecar for the active config, so on a fresh app
+     * there is nothing else `activeConfigName` could be referring to.
+     *
+     * Deliberately NOT set on update: there, an `activeConfigName` matching no
+     * config and no sidecar is far more likely a typo than a rename, and
+     * renaming the live config out from under that typo would be a silent
+     * mutation. Update keeps failing with the message that names the file to
+     * author.
+     */
+    adoptActiveConfigName?: boolean;
+    log?: (message: string) => void;
+}
+export interface ApplyWorkflowConfigsResult {
+    /** Config name → id, which the rest of push needs to resolve test cases. */
+    configIds: Map<string, string>;
+    /** Whether this call moved the live config. */
+    activated: boolean;
+    /** The config that is live once this call returns, when known. */
+    activeConfigId?: string;
+}
+/**
+ * Create or update each sidecar's config, then activate the named one.
+ *
+ * Reports whether it activated anything: activation writes the workflow
+ * DEFINITION (`activeConfigId`, and with it a fresh `modifiedAt`), so the
+ * caller's sync state is stale afterwards unless it re-reads — which is how a
+ * push that only switched the active config left the next one to conflict.
+ */
+export declare function applyWorkflowConfigSidecars(client: ApiClient, appId: string, workflowId: string, sidecars: readonly WorkflowConfigSidecar[], options: ApplyWorkflowConfigsOptions): Promise<ApplyWorkflowConfigsResult>;