primitive-admin 1.0.53 → 1.0.55

package/dist/src/lib/workflow-codegen/generated-schema-descriptor.d.ts

@@ -0,0 +1,129 @@
+/**
+ * GENERATED FILE — DO NOT EDIT BY HAND.
+ *
+ * Vendored byte-for-byte from the canonical server module
+ * `src/workflows/schema-descriptor.ts` — the SAME interpretation the server
+ * validator (`validateValue`) enforces. The CLI cannot import server `src/`
+ * at runtime, so `workflows codegen`'s type converter imports this committed
+ * copy instead.
+ *
+ * Regenerate with:
+ *   node cli/scripts/gen-workflow-schema-descriptor.mjs   (runs at CLI prebuild)
+ *
+ * A CI freshness guard
+ * (`cli/scripts/gen-workflow-schema-descriptor.mjs --check`, also asserted by
+ * `cli/tests/unit/workflow-codegen-descriptor-drift-guard.test.ts`) fails if
+ * this committed copy does not match the source — see issue #1442 / #998.
+ */
+/**
+ * Canonical interpretation of the JSON-Schema subset the workflow platform
+ * supports (issue #1442).
+ *
+ * The server validator (`validateValue` in `schema-validation.ts`) and the CLI
+ * `workflows codegen` type converter (`workflow-codegen/schemaToTs.ts`) must
+ * agree EXACTLY on how a workflow `inputSchema`/`outputSchema` is interpreted —
+ * otherwise a generated `<Key>Input` type promises a shape the runtime does not
+ * enforce (or rejects a value the runtime accepts). Previously the converter
+ * re-derived those interpretation decisions by hand, which drifts from the
+ * validator over time.
+ *
+ * This module is the single source of that interpretation. Both consumers read
+ * from `describeSchema` + `isType`:
+ *
+ *   - the type gate is checked before `enum` (a value failing `type` is
+ *     rejected before `enum` is consulted);
+ *   - a type UNION (`type: ["string","null"]`) never descends into
+ *     `properties`/`items` — only the exact string types `"object"`/`"array"`
+ *     do;
+ *   - `integer` means `Number.isInteger`;
+ *   - `additionalProperties` only closes an object; it is not a nested schema.
+ *
+ * It is deliberately dependency-free (no imports) so the CLI can vendor a
+ * byte-for-byte copy as a committed artifact via
+ * `cli/scripts/gen-workflow-schema-descriptor.mjs` (the #998 gen-allowlist
+ * pattern). A drift-guard test runs that generator in `--check` mode, so a
+ * change here that isn't regenerated into the CLI artifact fails CI. The CLI
+ * never imports server `src/` at runtime — only the build-time generator reads
+ * this file.
+ */
+/** Does a value satisfy a JSON-schema `type` name? `integer` = `Number.isInteger`. */
+export declare function isType(value: any, type: string): boolean;
+/**
+ * The interpretation of a single schema node, normalized so both the validator
+ * and the type converter can consume it without re-reading raw schema fields.
+ */
+export interface SchemaDescriptor {
+    /** True when `schema.type` is an array (a type union). */
+    isUnion: boolean;
+    /** `schema.type` when it is a single string; null for a union or absent type. */
+    singularType: string | null;
+    /**
+     * The declared type(s) normalized to an array. An array `type` is kept as-is;
+     * a single string becomes a one-element array; an absent/falsy type is `[]`
+     * (no type gate). Matches the validator's `allowedTypes` normalization.
+     */
+    types: string[];
+    /** The `enum` array when present, else null. */
+    enumValues: any[] | null;
+    /**
+     * Object descent info — non-null ONLY when `schema.type` is exactly the
+     * string `"object"` AND `properties` is a declared object (matching the
+     * validator's `schema.type === "object" && schema.properties` descent gate).
+     * A type UNION containing `"object"` never descends.
+     */
+    object: {
+        /** The raw `properties` map (child schemas). May be empty `{}`. */
+        properties: Record<string, any>;
+        /** The raw `required` list (unfiltered, as the validator reads it). */
+        required: any[];
+        /** True when `additionalProperties === false` (a closed object). */
+        additionalPropertiesClosed: boolean;
+    } | null;
+    /**
+     * Array descent info — non-null ONLY when `schema.type` is exactly the string
+     * `"array"` AND `items` is present (matching the validator's
+     * `schema.type === "array" && schema.items` descent gate).
+     */
+    array: {
+        /** The raw `items` schema (may be a tuple array the validator no-ops on). */
+        items: any;
+    } | null;
+    /**
+     * Discriminated-union (tagged-union) interpretation of a `oneOf` node (#1511).
+     *
+     * Populated ONLY when the node carries a `oneOf` (or `anyOf`) array whose
+     * members are ALL `type: "object"` — a clearly-intended tagged union. A
+     * `oneOf`/`anyOf` with any non-object member is NOT a tagged union: `oneOf`
+     * stays `null` here and is ignored (renders `unknown` / validates
+     * permissively) exactly as before, preserving backward compatibility.
+     *
+     *   - `kind: "valid"` — a clean discriminated union: ≥2 object members sharing
+     *     exactly one discriminator property declared as a single-literal `enum`
+     *     in every member with distinct literals across members. The validator
+     *     branch-selects by `discriminant` and validates only the matched member;
+     *     the type converter renders the `|`-union of member object types.
+     *   - `kind: "invalid"` — an all-object-member union that LOOKS like a tagged
+     *     union but is defective (fewer than 2 members, no/ambiguous discriminator,
+     *     or `anyOf` — unsupported in v1). `reason` is the codegen error message.
+     *     The runtime validator ignores this (stays permissive); the codegen
+     *     converter throws `reason` (Fork 3 = strict, resolved by the maintainer).
+     */
+    oneOf: {
+        kind: "valid";
+        /** The auto-detected discriminator property name. */
+        discriminant: string;
+        /** One entry per member: its discriminant literal + raw member schema. */
+        members: Array<{
+            discriminantValue: any;
+            schema: any;
+        }>;
+    } | {
+        kind: "invalid";
+        reason: string;
+    } | null;
+}
+/**
+ * Interpret a parsed schema node. A non-object schema (null, array, scalar)
+ * enforces nothing → the empty descriptor.
+ */
+export declare function describeSchema(schema: any): SchemaDescriptor;

package/dist/src/lib/workflow-codegen/generated-schema-descriptor.js

@@ -0,0 +1,269 @@
+/**
+ * GENERATED FILE — DO NOT EDIT BY HAND.
+ *
+ * Vendored byte-for-byte from the canonical server module
+ * `src/workflows/schema-descriptor.ts` — the SAME interpretation the server
+ * validator (`validateValue`) enforces. The CLI cannot import server `src/`
+ * at runtime, so `workflows codegen`'s type converter imports this committed
+ * copy instead.
+ *
+ * Regenerate with:
+ *   node cli/scripts/gen-workflow-schema-descriptor.mjs   (runs at CLI prebuild)
+ *
+ * A CI freshness guard
+ * (`cli/scripts/gen-workflow-schema-descriptor.mjs --check`, also asserted by
+ * `cli/tests/unit/workflow-codegen-descriptor-drift-guard.test.ts`) fails if
+ * this committed copy does not match the source — see issue #1442 / #998.
+ */
+/**
+ * Canonical interpretation of the JSON-Schema subset the workflow platform
+ * supports (issue #1442).
+ *
+ * The server validator (`validateValue` in `schema-validation.ts`) and the CLI
+ * `workflows codegen` type converter (`workflow-codegen/schemaToTs.ts`) must
+ * agree EXACTLY on how a workflow `inputSchema`/`outputSchema` is interpreted —
+ * otherwise a generated `<Key>Input` type promises a shape the runtime does not
+ * enforce (or rejects a value the runtime accepts). Previously the converter
+ * re-derived those interpretation decisions by hand, which drifts from the
+ * validator over time.
+ *
+ * This module is the single source of that interpretation. Both consumers read
+ * from `describeSchema` + `isType`:
+ *
+ *   - the type gate is checked before `enum` (a value failing `type` is
+ *     rejected before `enum` is consulted);
+ *   - a type UNION (`type: ["string","null"]`) never descends into
+ *     `properties`/`items` — only the exact string types `"object"`/`"array"`
+ *     do;
+ *   - `integer` means `Number.isInteger`;
+ *   - `additionalProperties` only closes an object; it is not a nested schema.
+ *
+ * It is deliberately dependency-free (no imports) so the CLI can vendor a
+ * byte-for-byte copy as a committed artifact via
+ * `cli/scripts/gen-workflow-schema-descriptor.mjs` (the #998 gen-allowlist
+ * pattern). A drift-guard test runs that generator in `--check` mode, so a
+ * change here that isn't regenerated into the CLI artifact fails CI. The CLI
+ * never imports server `src/` at runtime — only the build-time generator reads
+ * this file.
+ */
+/** Does a value satisfy a JSON-schema `type` name? `integer` = `Number.isInteger`. */
+export function isType(value, type) {
+    if (type === "array")
+        return Array.isArray(value);
+    if (type === "object")
+        return !!value && typeof value === "object" && !Array.isArray(value);
+    if (type === "string")
+        return typeof value === "string";
+    if (type === "number")
+        return typeof value === "number" && !Number.isNaN(value);
+    if (type === "integer")
+        return Number.isInteger(value);
+    if (type === "boolean")
+        return typeof value === "boolean";
+    if (type === "null")
+        return value === null;
+    // Unknown type name: nothing to enforce, so treat as a match (the validator
+    // must not reject a value against a keyword it does not model).
+    return true;
+}
+const EMPTY_DESCRIPTOR = {
+    isUnion: false,
+    singularType: null,
+    types: [],
+    enumValues: null,
+    object: null,
+    array: null,
+    oneOf: null,
+};
+/**
+ * Sibling constraint keywords that make a `oneOf` node a MIXED schema rather
+ * than a clean tagged union (#1511). A clean discriminated union carries only
+ * the `oneOf` keyword (plus annotations like `description`/`title`); it never
+ * combines with a top-level `type`/`properties`/`required`/`additionalProperties`/
+ * `items`/`enum`. When any of these co-occur with `oneOf`, the validator's
+ * branch-select would early-return and skip those sibling constraints, silently
+ * loosening validation. So a mixed node is NOT treated as a clean tagged union.
+ */
+const ONEOF_SIBLING_CONSTRAINT_KEYS = [
+    "type",
+    "properties",
+    "required",
+    "additionalProperties",
+    "items",
+    "enum",
+];
+function hasOneOfSiblingConstraints(schema) {
+    return ONEOF_SIBLING_CONSTRAINT_KEYS.some((k) => Object.prototype.hasOwnProperty.call(schema, k));
+}
+/**
+ * A discriminator tag must be a comparable scalar (string/number/boolean) so
+ * the validator's strict-`===` branch-select can match it against a JSON-parsed
+ * value (#1511). An object/array literal is structurally identical after a JSON
+ * round-trip but never the same reference, so it would always "match no case".
+ * Restricting the auto-detected discriminator to scalars keeps a non-scalar tag
+ * from being treated as a (never-matchable) discriminator.
+ */
+function isScalarDiscriminatorLiteral(value) {
+    return (typeof value === "string" ||
+        typeof value === "number" ||
+        typeof value === "boolean");
+}
+/**
+ * Interpret a `oneOf`/`anyOf` node as a discriminated (tagged) union (#1511).
+ *
+ * The tagged-union interpretation is scoped to a clearly-intended tagged union:
+ * EVERY member must be `type: "object"`. Anything else (a mixed/scalar `oneOf`)
+ * returns `null` and is ignored downstream, exactly as before.
+ *
+ * Within that scope:
+ *   - `anyOf` is not supported in v1 → `invalid` (codegen error suggests `oneOf`);
+ *   - a `oneOf` with fewer than 2 members → `invalid`;
+ *   - the discriminator is auto-detected: the single property present in EVERY
+ *     member as a single-literal `enum` whose literal is a comparable scalar
+ *     (string/number/boolean), with distinct literals across members (a
+ *     non-scalar literal is not a candidate — see `isScalarDiscriminatorLiteral`);
+ *   - zero or more-than-one candidate discriminator → `invalid` (ambiguity).
+ *
+ * Pure and dependency-free so the CLI can vendor a byte-for-byte copy.
+ */
+function describeOneOf(schema) {
+    const rawOneOf = Array.isArray(schema.oneOf) ? schema.oneOf : null;
+    const rawAnyOf = Array.isArray(schema.anyOf) ? schema.anyOf : null;
+    // `oneOf` takes precedence; only one keyword is interpreted per node.
+    const keyword = rawOneOf
+        ? "oneOf"
+        : rawAnyOf
+            ? "anyOf"
+            : null;
+    const members = rawOneOf ?? rawAnyOf;
+    if (!keyword || !members)
+        return null;
+    // Scope to a clearly-intended tagged union: every member is `type: "object"`.
+    // A member that is not a plain object type means this is NOT a tagged union;
+    // leave it to the existing ignore-and-render-`unknown` path (backward compat).
+    const allObjects = members.length >= 1 &&
+        members.every((m) => !!m &&
+            typeof m === "object" &&
+            !Array.isArray(m) &&
+            m.type === "object");
+    if (!allObjects)
+        return null;
+    // `anyOf` is not supported in v1 (resolved Fork 1 = oneOf only). An all-object
+    // `anyOf` that looks like a tagged union gets a clear error suggesting oneOf.
+    if (keyword === "anyOf") {
+        return {
+            kind: "invalid",
+            reason: "anyOf is not supported for discriminated unions (issue #1511). Use oneOf instead.",
+        };
+    }
+    if (members.length < 2) {
+        return {
+            kind: "invalid",
+            reason: "A discriminated-union oneOf needs at least 2 object members (issue #1511).",
+        };
+    }
+    // For each member, collect its single-literal-enum properties → { name: literal }.
+    // The literal must be a comparable scalar (string/number/boolean): the
+    // validator branch-selects with strict `===`, so a non-scalar tag (object or
+    // array) on a JSON-parsed value is never the same reference as the schema
+    // literal and would always "match no case". Restricting the auto-detected
+    // discriminator to scalars means a non-scalar tag is not a candidate, so the
+    // union routes through the normal not-a-tagged-union path (below) instead of
+    // being accepted as a union that can never validate.
+    const memberLiteralProps = members.map((m) => {
+        const map = new Map();
+        const props = m.properties;
+        if (props && typeof props === "object" && !Array.isArray(props)) {
+            for (const [name, sub] of Object.entries(props)) {
+                if (sub &&
+                    typeof sub === "object" &&
+                    Array.isArray(sub.enum) &&
+                    sub.enum.length === 1 &&
+                    isScalarDiscriminatorLiteral(sub.enum[0])) {
+                    map.set(name, sub.enum[0]);
+                }
+            }
+        }
+        return map;
+    });
+    // A candidate discriminator is present as a single-literal enum in EVERY
+    // member, with distinct literals across members (so a value's tag selects
+    // exactly one branch).
+    const candidates = [];
+    for (const name of memberLiteralProps[0].keys()) {
+        if (!memberLiteralProps.every((mp) => mp.has(name)))
+            continue;
+        const literals = memberLiteralProps.map((mp) => mp.get(name));
+        const distinct = new Set(literals.map((l) => JSON.stringify(l)));
+        if (distinct.size === literals.length)
+            candidates.push(name);
+    }
+    if (candidates.length !== 1) {
+        return {
+            kind: "invalid",
+            reason: candidates.length === 0
+                ? "No discriminator found for the oneOf tagged union (issue #1511): every member must share exactly one property declared as a distinct single-literal enum."
+                : `Ambiguous discriminator for the oneOf tagged union (issue #1511): multiple candidate properties (${candidates.join(", ")}). Exactly one is required.`,
+        };
+    }
+    // A clean tagged union carries ONLY `oneOf`. If it co-occurs with sibling
+    // top-level constraints (`type`, `properties`, `required`,
+    // `additionalProperties`, `items`, `enum`), it is a MIXED schema, not a clean
+    // tagged union: the validator's branch-select would early-return and skip
+    // those siblings, loosening validation. Reject-mixed keeps all three
+    // consumers fail-closed — the validator falls through to the normal
+    // type/object gates (still enforcing the siblings, exactly as before #1511),
+    // codegen throws this `reason`, and the request guard flags `unsupported-oneof`.
+    if (hasOneOfSiblingConstraints(schema)) {
+        return {
+            kind: "invalid",
+            reason: "A discriminated-union oneOf must be the only top-level constraint (issue #1511): it cannot be combined with sibling type/properties/required/additionalProperties/items/enum. Move the shared constraints into each member instead.",
+        };
+    }
+    const discriminant = candidates[0];
+    return {
+        kind: "valid",
+        discriminant,
+        members: members.map((m, i) => ({
+            discriminantValue: memberLiteralProps[i].get(discriminant),
+            schema: m,
+        })),
+    };
+}
+/**
+ * Interpret a parsed schema node. A non-object schema (null, array, scalar)
+ * enforces nothing → the empty descriptor.
+ */
+export function describeSchema(schema) {
+    if (!schema || typeof schema !== "object" || Array.isArray(schema)) {
+        return EMPTY_DESCRIPTOR;
+    }
+    const typeSpec = schema.type;
+    const isUnion = Array.isArray(typeSpec);
+    const singularType = typeof typeSpec === "string" ? typeSpec : null;
+    // Mirror the validator's normalization exactly: an array stays an array; a
+    // truthy non-array becomes `[typeSpec]`; anything falsy is `[]`.
+    const types = isUnion ? typeSpec : typeSpec ? [typeSpec] : [];
+    const enumValues = Array.isArray(schema.enum)
+        ? schema.enum
+        : null;
+    const props = schema.properties;
+    const object = singularType === "object" &&
+        props &&
+        typeof props === "object" &&
+        !Array.isArray(props)
+        ? {
+            properties: props,
+            required: Array.isArray(schema.required)
+                ? schema.required
+                : [],
+            additionalPropertiesClosed: schema.additionalProperties === false,
+        }
+        : null;
+    const array = singularType === "array" && schema.items
+        ? { items: schema.items }
+        : null;
+    const oneOf = describeOneOf(schema);
+    return { isUnion, singularType, types, enumValues, object, array, oneOf };
+}
+//# sourceMappingURL=generated-schema-descriptor.js.map

package/dist/src/lib/workflow-codegen/generated-schema-descriptor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generated-schema-descriptor.js","sourceRoot":"","sources":["../../../../src/lib/workflow-codegen/generated-schema-descriptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,sFAAsF;AACtF,MAAM,UAAU,MAAM,CAAC,KAAU,EAAE,IAAY;IAC7C,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,IAAI,KAAK,QAAQ;QACnB,OAAO,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;IACxD,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;IAC1D,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,KAAK,IAAI,CAAC;IAC3C,4EAA4E;IAC5E,gEAAgE;IAChE,OAAO,IAAI,CAAC;AACd,CAAC;AA0ED,MAAM,gBAAgB,GAAqB;IACzC,OAAO,EAAE,KAAK;IACd,YAAY,EAAE,IAAI;IAClB,KAAK,EAAE,EAAE;IACT,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;CACZ,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,6BAA6B,GAAG;IACpC,MAAM;IACN,YAAY;IACZ,UAAU;IACV,sBAAsB;IACtB,OAAO;IACP,MAAM;CACE,CAAC;AAEX,SAAS,0BAA0B,CAAC,MAA2B;IAC7D,OAAO,6BAA6B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9C,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAChD,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,4BAA4B,CAAC,KAAc;IAClD,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS,CAC3B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,aAAa,CAAC,MAA2B;IAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,sEAAsE;IACtE,MAAM,OAAO,GAA6B,QAAQ;QAChD,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,QAAQ;YACR,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,OAAO,GAAG,QAAQ,IAAI,QAAQ,CAAC;IACrC,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAEtC,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,UAAU,GACd,OAAO,CAAC,MAAM,IAAI,CAAC;QACnB,OAAO,CAAC,KAAK,CACX,CAAC,CAAM,EAAE,EAAE,CACT,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,KAAK,QAAQ;YACrB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YACjB,CAAC,CAAC,IAAI,KAAK,QAAQ,CACtB,CAAC;IACJ,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAE7B,+EAA+E;IAC/E,8EAA8E;IAC9E,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EACJ,mFAAmF;SACtF,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EACJ,4EAA4E;SAC/E,CAAC;IACJ,CAAC;IAED,mFAAmF;IACnF,uEAAuE;IACvE,6EAA6E;IAC7E,0EAA0E;IAC1E,0EAA0E;IAC1E,6EAA6E;IAC7E,6EAA6E;IAC7E,qDAAqD;IACrD,MAAM,kBAAkB,GAA4B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE;QACzE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAe,CAAC;QACnC,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC;QAC3B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChD,IACE,GAAG;oBACH,OAAO,GAAG,KAAK,QAAQ;oBACvB,KAAK,CAAC,OAAO,CAAE,GAAW,CAAC,IAAI,CAAC;oBAC/B,GAAW,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;oBAC9B,4BAA4B,CAAE,GAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAClD,CAAC;oBACD,GAAG,CAAC,GAAG,CAAC,IAAI,EAAG,GAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,yEAAyE;IACzE,0EAA0E;IAC1E,uBAAuB;IACvB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAChD,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QAC9D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM;YAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EACJ,UAAU,CAAC,MAAM,KAAK,CAAC;gBACrB,CAAC,CAAC,2JAA2J;gBAC7J,CAAC,CAAC,oGAAoG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B;SAC7J,CAAC;IACJ,CAAC;IAED,0EAA0E;IAC1E,2DAA2D;IAC3D,8EAA8E;IAC9E,0EAA0E;IAC1E,qEAAqE;IACrE,oEAAoE;IACpE,6EAA6E;IAC7E,iFAAiF;IACjF,IAAI,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EACJ,qOAAqO;SACxO,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACnC,OAAO;QACL,IAAI,EAAE,OAAO;QACb,YAAY;QACZ,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC;YAC3C,iBAAiB,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC;YAC1D,MAAM,EAAE,CAAC;SACV,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,MAAW;IACxC,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,QAAQ,GAAI,MAAc,CAAC,IAAI,CAAC;IACtC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IACpE,2EAA2E;IAC3E,iEAAiE;IACjE,MAAM,KAAK,GAAU,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAErE,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAE,MAAc,CAAC,IAAI,CAAC;QACpD,CAAC,CAAE,MAAc,CAAC,IAAI;QACtB,CAAC,CAAC,IAAI,CAAC;IAET,MAAM,KAAK,GAAI,MAAc,CAAC,UAAU,CAAC;IACzC,MAAM,MAAM,GACV,YAAY,KAAK,QAAQ;QACzB,KAAK;QACL,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACnB,CAAC,CAAC;YACE,UAAU,EAAE,KAA4B;YACxC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAE,MAAc,CAAC,QAAQ,CAAC;gBAC/C,CAAC,CAAE,MAAc,CAAC,QAAQ;gBAC1B,CAAC,CAAC,EAAE;YACN,0BAA0B,EACvB,MAAc,CAAC,oBAAoB,KAAK,KAAK;SACjD;QACH,CAAC,CAAC,IAAI,CAAC;IAEX,MAAM,KAAK,GACT,YAAY,KAAK,OAAO,IAAK,MAAc,CAAC,KAAK;QAC/C,CAAC,CAAC,EAAE,KAAK,EAAG,MAAc,CAAC,KAAK,EAAE;QAClC,CAAC,CAAC,IAAI,CAAC;IAEX,MAAM,KAAK,GAAG,aAAa,CAAC,MAA6B,CAAC,CAAC;IAE3D,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC5E,CAAC"}

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

@@ -0,0 +1,87 @@
+/**
+ * `workflows codegen` orchestrator (issue #1442).
+ *
+ * Reads synced workflow TOMLs (`.primitive/sync/<env>/<appId>/workflows/*.toml`)
+ * and emits ONE generated file per workflow —
+ * `workflows/generated/<key>.generated.ts` — each containing the workflow's
+ * `<Key>Input`/`<Key>Output` types plus a typed `<key>(client)` invoker factory
+ * returning `{ runSync?, start, getStatus }`. This mirrors `databases codegen`'s per-type
+ * `<Type>.generated.ts` layout (#1441's `<type>Ops`): per-file artifacts keep
+ * team merges conflict-free and let a `[workflow-key]` filter regenerate exactly
+ * one file.
+ *
+ * Design decisions (see the plan of record on #1442, post-pivot):
+ *   - Schemas are interpreted through the SHARED descriptor
+ *     (`generated-schema-descriptor.ts`, a vendored copy of the server's
+ *     `schema-validation` descriptor) so the generated types match runtime
+ *     validation exactly. A malformed schema throws (fail-and-exit).
+ *   - `.runSync` is emitted only for `syncCallable: true` workflows (the server
+ *     rejects run-sync otherwise); `.start`, `.getStatus`, and `.terminate` for
+ *     every non-reserved workflow (the typed async path, issue #1512 —
+ *     async-only workflows are exactly the ones that need a typed `getStatus` /
+ *     `terminate`). `.terminate` binds `<Key>Output` (a terminated run can carry
+ *     partial output); issue #1543 added the member, reversing #1512's
+ *     start/status-only decision.
+ *   - `.define` is emitted only for an apply-mode workflow
+ *     (`requiresClientApply !== false`, the server's default). It binds
+ *     `<Key>Output` so the `onApply` handler's `output` is the workflow's real
+ *     output type rather than `any` (issue #1543, on top of #1542's
+ *     `define<O>` / `WorkflowDefineOptions<O>` generics). `getPendingApplies`
+ *     gets no member — #1542 made it a concrete `PendingApply[]` with no output
+ *     to bind, and it is scoped to a document rather than a workflow.
+ *   - `.cronTriggers.{create,update}` bind `<Key>Input` to the trigger's
+ *     `rootInput` and pin `workflowKey`, so a cron helper can't be redirected at
+ *     another workflow (issue #1543). `rootInput` is `Partial<<Key>Input>` for
+ *     an object-shaped input schema (an `inputMapping` may supply the rest) and
+ *     the full `<Key>Input` otherwise.
+ *   - `input` is a REQUIRED option iff the schema rejects `{}` (the client's
+ *     `input ?? {}` fallback would fail validation); otherwise `input?`.
+ *   - The runtime call always passes the ORIGINAL key string; only identifiers
+ *     are sanitized. `workflowKey` is set AFTER spreading `opts`, so a caller
+ *     cannot override it.
+ *   - Disk lifecycle (write / `--check` / suffix-based cleanup) delegates to the
+ *     shared `writeOrCheckGeneratedFiles`, exactly like `databases codegen`.
+ */
+import { type WriteOrCheckResult } from "../codegen-shared/generatedFiles.js";
+/** Suffix identifying a generated file (shared with `databases codegen`). */
+export declare const GENERATED_FILE_SUFFIX = ".generated.ts";
+export interface WorkflowCodegenInput {
+    /** Source `.toml` filename stem (fallback key when `[workflow].key` is absent). */
+    fileStem: string;
+    /** Path to the source `workflows/<key>.toml` file. */
+    tomlPath: string;
+    /** Raw TOML content (already read from disk). */
+    tomlContent: string;
+}
+export interface GenerateWorkflowTypesOptions {
+    inputs: WorkflowCodegenInput[];
+    /** Directory where the `<key>.generated.ts` files are written. */
+    outputDir: string;
+    /** `--check`: compare against disk, do not write. */
+    check?: boolean;
+    /**
+     * Set when the run was filtered to a single workflow key (the
+     * `primitive workflows codegen <key>` argument). The `inputs` set is then
+     * PARTIAL — it does not represent the full set of owned generated files — so
+     * stale-output cleanup (and `--check` stale detection) is scoped to the
+     * filtered workflow's own file and must NOT touch / flag sibling workflows'
+     * `*.generated.ts` files. The unfiltered "generate all" run leaves this unset
+     * and keeps full orphan cleanup. Mirrors `databases codegen`'s `singleType`.
+     */
+    singleWorkflow?: boolean;
+}
+/**
+ * Render the full `<key>.generated.ts` content for a single workflow TOML input.
+ * Returns null for a reserved (`__internal.*`) workflow. Pure — exported so
+ * tests can assert on the string directly.
+ */
+export declare function renderWorkflowFile(input: WorkflowCodegenInput): {
+    key: string;
+    content: string;
+} | null;
+/**
+ * Run workflow codegen end-to-end. One `<key>.generated.ts` per workflow;
+ * delegates the disk lifecycle to the shared writer/checker, exactly like
+ * `databases codegen`.
+ */
+export declare function generateWorkflowTypes(options: GenerateWorkflowTypesOptions): Promise<WriteOrCheckResult>;