primitive-admin 1.0.53 → 1.0.54

package/dist/src/lib/db-codegen/dbNaming.d.ts

@@ -29,6 +29,35 @@ export declare function resolveRecordInterfaceName(modelName: string, classNameO
 export declare function opParamsInterfaceName(opName: string): string;
 /** `saveAccount` → `SaveAccountResult`. */
 export declare function opResultAliasName(opName: string): string;
+/**
+ * Name of the generated typed-operations factory for a database type (#1441).
+ * `securities-ref` → `securitiesRefOps`, `portfolio` → `portfolioOps`. A type
+ * whose camelCased name would start with a digit (e.g. `2fa`) gets a leading
+ * `_` so the emitted `export function` name is a valid JS identifier.
+ */
+export declare function opsFactoryName(databaseType: string): string;
+/**
+ * camelCase an identifier: splits on non-alphanumeric separators, lower-cases
+ * the first segment's first char and PascalCases the rest
+ * (`securities-ref` → `securitiesRef`, `save_account` → `saveAccount`). Existing
+ * internal casing after the first char is preserved.
+ */
+export declare function camelCase(name: string): string;
+/**
+ * Render an operation name as an object-literal property key (#1441). A name
+ * that is a plain, non-reserved JS identifier is emitted bare (`getX:`);
+ * anything else — a hyphen, a leading digit, or a reserved word — is emitted as
+ * a quoted key (`"get-x":`, `"delete":`) so the factory stays valid TypeScript.
+ * The op-name string passed to `executeOperation` is always the exact original
+ * name.
+ *
+ * `__proto__` is a special case. The factory return value is a *runtime* object
+ * literal, and in that position both the bare `__proto__:` form AND the quoted
+ * `"__proto__":` form set the object's prototype instead of defining an own
+ * method — silently dropping that operation. Only a computed key
+ * (`["__proto__"]:`) defines a normal own property, so emit that form.
+ */
+export declare function opPropertyKey(opName: string): string;
 /**
  * Convert a snake_case plural model name (`user_prefs`, `categories`) into a
  * PascalCase singular interface name (`UserPref`, `Category`). Returns null

package/dist/src/lib/db-codegen/dbNaming.js

@@ -43,6 +43,64 @@ export function opParamsInterfaceName(opName) {
 export function opResultAliasName(opName) {
     return `${pascalCase(opName)}Result`;
 }
+/**
+ * Name of the generated typed-operations factory for a database type (#1441).
+ * `securities-ref` → `securitiesRefOps`, `portfolio` → `portfolioOps`. A type
+ * whose camelCased name would start with a digit (e.g. `2fa`) gets a leading
+ * `_` so the emitted `export function` name is a valid JS identifier.
+ */
+export function opsFactoryName(databaseType) {
+    const base = camelCase(databaseType);
+    const safe = /^[0-9]/.test(base) ? `_${base}` : base;
+    return `${safe}Ops`;
+}
+/**
+ * camelCase an identifier: splits on non-alphanumeric separators, lower-cases
+ * the first segment's first char and PascalCases the rest
+ * (`securities-ref` → `securitiesRef`, `save_account` → `saveAccount`). Existing
+ * internal casing after the first char is preserved.
+ */
+export function camelCase(name) {
+    const pascal = pascalCase(name);
+    if (pascal.length === 0)
+        return pascal;
+    return pascal.charAt(0).toLowerCase() + pascal.slice(1);
+}
+/**
+ * JS reserved words. Used as object-literal property keys these are actually
+ * legal unquoted, but quoting them keeps the generated output unambiguous and
+ * matches the "non-identifier op name -> quoted key" behavior (#1441).
+ */
+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",
+]);
+/**
+ * Render an operation name as an object-literal property key (#1441). A name
+ * that is a plain, non-reserved JS identifier is emitted bare (`getX:`);
+ * anything else — a hyphen, a leading digit, or a reserved word — is emitted as
+ * a quoted key (`"get-x":`, `"delete":`) so the factory stays valid TypeScript.
+ * The op-name string passed to `executeOperation` is always the exact original
+ * name.
+ *
+ * `__proto__` is a special case. The factory return value is a *runtime* object
+ * literal, and in that position both the bare `__proto__:` form AND the quoted
+ * `"__proto__":` form set the object's prototype instead of defining an own
+ * method — silently dropping that operation. Only a computed key
+ * (`["__proto__"]:`) defines a normal own property, so emit that form.
+ */
+export function opPropertyKey(opName) {
+    if (opName === "__proto__")
+        return `[${JSON.stringify(opName)}]`;
+    const isPlainIdentifier = /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(opName);
+    if (isPlainIdentifier && !RESERVED_WORDS.has(opName))
+        return opName;
+    return JSON.stringify(opName);
+}
 /**
  * Convert a snake_case plural model name (`user_prefs`, `categories`) into a
  * PascalCase singular interface name (`UserPref`, `Category`). Returns null

package/dist/src/lib/db-codegen/dbNaming.js.map

@@ -1 +1 @@
-{"version":3,"file":"dbNaming.js","sourceRoot":"","sources":["../../../../src/lib/db-codegen/dbNaming.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,SAAiB,EACjB,iBAAqC;IAErC,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;IACpD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC;IACvC,0EAA0E;IAC1E,oDAAoD;IACpD,OAAO,UAAU,CAAC,SAAS,CAAC,CAAC;AAC/B,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,qBAAqB,CAAC,MAAc;IAClD,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC;AACvC,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC9C,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,WAAmB;IACzD,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACrC,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,gBAAgB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3C,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,gBAAgB,CAAC;IAC3C,OAAO,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED,8EAA8E;AAC9E,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IAC5E,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,OAAe;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC;IAC7B,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SACxD,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC"}
+{"version":3,"file":"dbNaming.js","sourceRoot":"","sources":["../../../../src/lib/db-codegen/dbNaming.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,SAAiB,EACjB,iBAAqC;IAErC,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;IACpD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC;IACvC,0EAA0E;IAC1E,oDAAoD;IACpD,OAAO,UAAU,CAAC,SAAS,CAAC,CAAC;AAC/B,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,qBAAqB,CAAC,MAAc;IAClD,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC;AACvC,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC9C,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,YAAoB;IACjD,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACrD,OAAO,GAAG,IAAI,KAAK,CAAC;AACtB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACvC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;GAIG;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;CACvE,CAAC,CAAC;AAEH;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;IACjE,MAAM,iBAAiB,GAAG,4BAA4B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpE,IAAI,iBAAiB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IACpE,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,WAAmB;IACzD,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACrC,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,gBAAgB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3C,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,gBAAgB,CAAC;IAC3C,OAAO,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED,8EAA8E;AAC9E,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IAC5E,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,OAAe;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC;IAC7B,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SACxD,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC"}

package/dist/src/lib/db-codegen/dbTemplates.d.ts

@@ -11,7 +11,12 @@
  *      classes — so we emit plain `export interface` types with no class
  *      shell, no barrel registration, and `import type` only.
  *   2. We add an OPERATIONS half codegen-v2 has no analog for: per-op
- *      input-params interfaces + per-op result aliases keyed off `op.type`.
+ *      input-params interfaces + per-op result aliases. The alias for an op
+ *      is derived from `op.type` AND, where it matters, the op's parsed
+ *      `definition`: a query op's `projection` (#1439), a mutation op's step
+ *      kinds (#1438), and a pipeline op's `return` step (#1437). The generator
+ *      resolves those into the small descriptors below; the templates stay pure
+ *      string-emitters.
  */
 /** A field on a record interface (read shape). */
 export interface RecordField {
@@ -42,7 +47,7 @@ export interface RenderRecordInterfaceInput {
 /** One declared param on an op-input interface (write shape). */
 export interface ParamField {
     name: string;
-    /** TOML param type (`string|number|boolean|object`). */
+    /** TOML param type (`string|number|boolean|object|array`). */
     type: string;
     required: boolean;
     /**
@@ -51,6 +56,13 @@ export interface ParamField {
      * renders the union when present and falls back to the base type otherwise.
      */
     enum?: string[];
+    /**
+     * Scalar element type for an `array` param (#1488), either declared
+     * (`type = "array"` + `items = "..."`) or inferred from a `$in`/`$nin`
+     * binding. Undefined on a non-array param, or on an array whose element type
+     * could not be resolved (renders `unknown[]`).
+     */
+    items?: string;
 }
 export interface RenderOpParamsInterfaceInput {
     /** PascalCase params interface name (e.g. `SaveAccountParams`). */
@@ -59,6 +71,42 @@ export interface RenderOpParamsInterfaceInput {
     opName: string;
     params: ParamField[];
 }
+/**
+ * How a query op's static `projection` narrows its record type (#1439). The
+ * generator resolves the projection against the model's record fields (guarding
+ * unknown / nested keys) and hands the template one of these; the template only
+ * assembles the `Pick`/`Partial` string.
+ *   - `full`    → `QueryResult<M>` (no projection, empty `{}`, or no schema).
+ *   - `pick`    → `QueryResult<Pick<M, ...fields>>` (inclusion; `id` folded in).
+ *   - `partial` → `QueryResult<Partial<M>>` (dynamic / mixed / unknown-key, and
+ *                 exclusion — the DO runtime does not strip excluded fields yet,
+ *                 so an `Omit` would hide fields still returned; #1439/Codex-P2).
+ */
+export type ProjectionClassification = {
+    kind: "full";
+} | {
+    kind: "pick";
+    fields: string[];
+} | {
+    kind: "partial";
+};
+/**
+ * A `pipeline` op's resolved `return` step (#1437). The runtime flattens a
+ * returning pipeline to the returned step's shape, so codegen types it as that
+ * step's result. `return: "all"`, no `return`, or any step the generator can't
+ * resolve fall back to `opaque` → the generic `PipelineResult`.
+ */
+export type PipelineReturnDescriptor = {
+    kind: "query";
+    recordInterfaceName: string | null;
+    projection?: ProjectionClassification;
+} | {
+    kind: "count";
+} | {
+    kind: "aggregate";
+} | {
+    kind: "opaque";
+};
 export interface RenderOpResultAliasInput {
     /** Per-op result alias name (e.g. `SaveAccountResult`). */
     aliasName: string;
@@ -72,9 +120,24 @@ export interface RenderOpResultAliasInput {
      * interface (e.g. pipeline) — falls back to `QueryResult<Record<string, unknown>>`.
      */
     recordInterfaceName: string | null;
+    /**
+     * For `query` ops (#1439), how the op's `projection` narrows the record type.
+     * Absent → treated as `full`.
+     */
+    projection?: ProjectionClassification;
+    /**
+     * For `pipeline` ops (#1437), the resolved `return`-step descriptor. Absent
+     * or `opaque` → the generic `PipelineResult`.
+     */
+    pipelineReturn?: PipelineReturnDescriptor;
 }
-/** The shared generic result aliases, keyed off `op.type`. */
-export declare const RESULT_ALIASES_BLOCK = "// Generic per-op result shapes, keyed off the operation type. The op\n// return contract is NOT stored in the TOML \u2014 these mirror the runtime\n// result shapes produced by the database-operations controller.\n\n/** `query` ops return a page of records. */\nexport interface QueryResult<T = Record<string, unknown>> {\n  data: T[];\n  hasMore?: boolean;\n  nextCursor?: string;\n}\n\n/** `mutation` ops return per-step results. */\nexport interface MutationResult {\n  results: unknown[];\n}\n\n/** `count` ops return a single count. */\nexport interface CountResult {\n  count: number;\n}\n\n/** `aggregate` ops return a single result object. */\nexport interface AggregateResult {\n  result: Record<string, unknown>;\n}\n\n/** `applyToQuery` ops return match/affect/fail counts. */\nexport interface ApplyToQueryResult {\n  matched: number;\n  affected: number;\n  failed: number;\n  sample?: unknown[];\n}\n\n/** `pipeline` ops return per-step results keyed by step name. */\nexport interface PipelineResult {\n  steps: Record<string, unknown>;\n}\n";
+/**
+ * The shared generic result shapes referenced by the per-op aliases. These
+ * mirror the runtime result shapes produced by the database-operations
+ * controller; per-op aliases point at them (and, where the definition makes the
+ * shape derivable, at a narrowed form — see `renderOpResultAlias`).
+ */
+export declare const RESULT_ALIASES_BLOCK = "// Generic per-op result shapes. These mirror the runtime result shapes\n// produced by the database-operations controller; per-op aliases reference\n// them (or a narrowed form when the op definition makes the shape derivable).\n\n/** `query` ops return a page of records. */\nexport interface QueryResult<T = Record<string, unknown>> {\n  data: T[];\n  hasMore?: boolean;\n  nextCursor?: string;\n}\n\n/**\n * One step's result inside a `mutation` op's uniform response (#1458).\n * `op` is the step kind; `id` is the record id (the resolved canonical id for\n * `upsertOn` saves). `values` carries an `increment` step's post-increment\n * counters; `error` a per-step failure string.\n */\nexport interface MutationStepResult {\n  op: \"save\" | \"patch\" | \"delete\" | \"increment\" | \"addToSet\" | \"removeFromSet\";\n  success: boolean;\n  id: string;\n  values?: Record<string, number>;\n  error?: string;\n}\n\n/**\n * Every `mutation` op returns a uniform `{ results: MutationStepResult[] }`\n * in DEFINITION-STEP order \u2014 one entry per step, tagged with its `op` kind and\n * record `id` (#1458). This is a SUCCESS-PATH guarantee: a step that fails at\n * the HTTP level surfaces as an error, and committed sibling writes in the same\n * op are not reported (the ops are not yet executed atomically \u2014 see #1478).\n */\nexport interface MutationResult {\n  results: MutationStepResult[];\n}\n\n/** `count` ops return a single count. */\nexport interface CountResult {\n  count: number;\n}\n\n/** `aggregate` ops return a single result object. */\nexport interface AggregateResult {\n  result: Record<string, unknown>;\n}\n\n/** `applyToQuery` ops return match/affect/fail counts. */\nexport interface ApplyToQueryResult {\n  matched: number;\n  affected: number;\n  failed: number;\n  sample?: unknown[];\n}\n\n/** `pipeline` ops return per-step results keyed by step name. */\nexport interface PipelineResult {\n  steps: Record<string, unknown>;\n}\n";
 /**
  * Render the header (banner + regen hint + fingerprint).
  */
@@ -92,6 +155,52 @@ export declare function renderRecordInterface(input: RenderRecordInterfaceInput)
  */
 export declare function renderOpParamsInterface(input: RenderOpParamsInterfaceInput): string;
 /**
- * Render a per-op result alias keyed off `op.type`.
+ * Render a per-op result alias. The alias is derived from `op.type` and, where
+ * the shape is derivable from the parsed op definition, a narrowed form:
+ *   - `query`    → `QueryResult<M>`, narrowed by the op `projection` (#1439).
+ *   - `mutation` → `MutationResult` — every mutation op returns the uniform
+ *                  `{ results: MutationStepResult[] }` in definition order (#1458).
+ *   - `pipeline` → the returned step's result type (#1437); `return: "all"` /
+ *                  no-return / unresolvable keep the generic `PipelineResult`.
  */
 export declare function renderOpResultAlias(input: RenderOpResultAliasInput): string;
+/** One operation the typed-ops factory exposes as a method (#1441). */
+export interface OpsFactoryOp {
+    /**
+     * Object-literal property key for the method — bare (`getX`) for a plain JS
+     * identifier, or a quoted string (`"get-x"`, `"delete"`) for a hyphenated /
+     * reserved-word / leading-digit op name. Produced by `opPropertyKey`.
+     */
+    propertyKey: string;
+    /** Exact operation name passed as the `executeOperation` string argument. */
+    opName: string;
+    /** The op's `<Op>Params` interface name (write shape). */
+    paramsInterfaceName: string;
+    /** The op's `<Op>Result` alias name (read shape). */
+    resultAliasName: string;
+    /**
+     * Whether the op declares any params. A param-less op yields a method callable
+     * with no arguments (`ops.foo()`); its only arg is the optional `options`.
+     */
+    hasParams: boolean;
+}
+export interface RenderOpsFactoryInput {
+    /** Factory function name (e.g. `securitiesRefOps`). */
+    factoryName: string;
+    /** Database type name, for the doc comment. */
+    databaseType: string;
+    /** Operations to expose, in deterministic (name-sorted) order. */
+    ops: OpsFactoryOp[];
+}
+/**
+ * Render the typed-operations factory (#1441): an inlined structural client
+ * interface + a shared call-options type + the `export function <type>Ops`
+ * factory. Each method pairs an op's `<Op>Params` input with its `<Op>Result`
+ * output and calls `client.databases.executeOperation<<Op>Result>(...)`, so the
+ * generated code carries no `as` cast and no import — the real `JsBaoClient`
+ * satisfies the structural `OpsClient` param.
+ *
+ * Returns "" for a database type with no operations, so the caller can omit the
+ * factory entirely rather than emit an empty function.
+ */
+export declare function renderOpsFactory(input: RenderOpsFactoryInput): string;

package/dist/src/lib/db-codegen/dbTemplates.js

@@ -11,15 +11,25 @@
  *      classes — so we emit plain `export interface` types with no class
  *      shell, no barrel registration, and `import type` only.
  *   2. We add an OPERATIONS half codegen-v2 has no analog for: per-op
- *      input-params interfaces + per-op result aliases keyed off `op.type`.
+ *      input-params interfaces + per-op result aliases. The alias for an op
+ *      is derived from `op.type` AND, where it matters, the op's parsed
+ *      `definition`: a query op's `projection` (#1439), a mutation op's step
+ *      kinds (#1438), and a pipeline op's `return` step (#1437). The generator
+ *      resolves those into the small descriptors below; the templates stay pure
+ *      string-emitters.
  */
 import { tsTypeForDbField, tsTypeForDbParamType } from "./dbTsTypes.js";
 const HEADER_BANNER = "// AUTO-GENERATED FROM database-types TOML — DO NOT EDIT.";
 const REGEN_INSTRUCTION = "// Run `primitive databases codegen <database-type>` to regenerate.";
-/** The shared generic result aliases, keyed off `op.type`. */
-export const RESULT_ALIASES_BLOCK = `// Generic per-op result shapes, keyed off the operation type. The op
-// return contract is NOT stored in the TOML — these mirror the runtime
-// result shapes produced by the database-operations controller.
+/**
+ * The shared generic result shapes referenced by the per-op aliases. These
+ * mirror the runtime result shapes produced by the database-operations
+ * controller; per-op aliases point at them (and, where the definition makes the
+ * shape derivable, at a narrowed form — see `renderOpResultAlias`).
+ */
+export const RESULT_ALIASES_BLOCK = `// Generic per-op result shapes. These mirror the runtime result shapes
+// produced by the database-operations controller; per-op aliases reference
+// them (or a narrowed form when the op definition makes the shape derivable).
 
 /** \`query\` ops return a page of records. */
 export interface QueryResult<T = Record<string, unknown>> {
@@ -28,9 +38,29 @@ export interface QueryResult<T = Record<string, unknown>> {
   nextCursor?: string;
 }
 
-/** \`mutation\` ops return per-step results. */
+/**
+ * One step's result inside a \`mutation\` op's uniform response (#1458).
+ * \`op\` is the step kind; \`id\` is the record id (the resolved canonical id for
+ * \`upsertOn\` saves). \`values\` carries an \`increment\` step's post-increment
+ * counters; \`error\` a per-step failure string.
+ */
+export interface MutationStepResult {
+  op: "save" | "patch" | "delete" | "increment" | "addToSet" | "removeFromSet";
+  success: boolean;
+  id: string;
+  values?: Record<string, number>;
+  error?: string;
+}
+
+/**
+ * Every \`mutation\` op returns a uniform \`{ results: MutationStepResult[] }\`
+ * in DEFINITION-STEP order — one entry per step, tagged with its \`op\` kind and
+ * record \`id\` (#1458). This is a SUCCESS-PATH guarantee: a step that fails at
+ * the HTTP level surfaces as an error, and committed sibling writes in the same
+ * op are not reported (the ops are not yet executed atomically — see #1478).
+ */
 export interface MutationResult {
-  results: unknown[];
+  results: MutationStepResult[];
 }
 
 /** \`count\` ops return a single count. */
@@ -125,22 +155,57 @@ export function renderOpParamsInterface(input) {
     lines.push(`export interface ${interfaceName} {`);
     for (const p of params) {
         const optional = p.required ? "" : "?";
-        lines.push(`  ${p.name}${optional}: ${tsTypeForDbParamType(p.type, p.enum)};`);
+        lines.push(`  ${p.name}${optional}: ${tsTypeForDbParamType(p.type, p.enum, p.items)};`);
     }
     lines.push(`}`);
     return lines.join("\n");
 }
 /**
- * Render a per-op result alias keyed off `op.type`.
+ * Compute the generic argument for a `QueryResult<...>` from the op's record
+ * interface + projection classification (#1439). Reused for a pipeline op's
+ * returning `query` step (#1437), so both type identically to a plain query.
+ *
+ * A null record interface (the op's model has no `[models.*]` schema) has
+ * nothing to `Pick` from, so it always falls back to
+ * `Record<string, unknown>` regardless of any projection.
+ */
+function queryResultGeneric(recordInterfaceName, projection) {
+    if (recordInterfaceName === null)
+        return "Record<string, unknown>";
+    const p = projection ?? { kind: "full" };
+    switch (p.kind) {
+        case "full":
+            return recordInterfaceName;
+        case "partial":
+            return `Partial<${recordInterfaceName}>`;
+        case "pick": {
+            // The generator guarantees a non-empty, field-guarded, sorted list; a
+            // defensive empty check keeps this total. Field names are emitted as TS
+            // string literals via JSON.stringify.
+            if (p.fields.length === 0)
+                return recordInterfaceName;
+            const members = p.fields.map((f) => JSON.stringify(f)).join(" | ");
+            return `Pick<${recordInterfaceName}, ${members}>`;
+        }
+    }
+}
+/**
+ * Render a per-op result alias. The alias is derived from `op.type` and, where
+ * the shape is derivable from the parsed op definition, a narrowed form:
+ *   - `query`    → `QueryResult<M>`, narrowed by the op `projection` (#1439).
+ *   - `mutation` → `MutationResult` — every mutation op returns the uniform
+ *                  `{ results: MutationStepResult[] }` in definition order (#1458).
+ *   - `pipeline` → the returned step's result type (#1437); `return: "all"` /
+ *                  no-return / unresolvable keep the generic `PipelineResult`.
  */
 export function renderOpResultAlias(input) {
-    const { aliasName, opType, recordInterfaceName } = input;
+    const { aliasName, opType, recordInterfaceName, projection } = input;
     switch (opType) {
-        case "query": {
-            const generic = recordInterfaceName ?? "Record<string, unknown>";
-            return `export type ${aliasName} = QueryResult<${generic}>;`;
-        }
+        case "query":
+            return `export type ${aliasName} = QueryResult<${queryResultGeneric(recordInterfaceName, projection)}>;`;
         case "mutation":
+            // Every mutation op returns the uniform `{ results: MutationStepResult[] }`
+            // in definition-step order (#1458) — no more per-category flat shapes.
             return `export type ${aliasName} = MutationResult;`;
         case "count":
             return `export type ${aliasName} = CountResult;`;
@@ -148,12 +213,94 @@ export function renderOpResultAlias(input) {
             return `export type ${aliasName} = AggregateResult;`;
         case "applyToQuery":
             return `export type ${aliasName} = ApplyToQueryResult;`;
-        case "pipeline":
-            return `export type ${aliasName} = PipelineResult;`;
+        case "pipeline": {
+            const d = input.pipelineReturn ?? { kind: "opaque" };
+            switch (d.kind) {
+                case "query":
+                    return `export type ${aliasName} = QueryResult<${queryResultGeneric(d.recordInterfaceName, d.projection)}>;`;
+                case "count":
+                    return `export type ${aliasName} = CountResult;`;
+                case "aggregate":
+                    return `export type ${aliasName} = AggregateResult;`;
+                // `opaque` — `return: "all"`, no `return`, or a step the generator
+                // couldn't resolve — keeps the generic `PipelineResult` (unchanged).
+                case "opaque":
+                default:
+                    return `export type ${aliasName} = PipelineResult;`;
+            }
+        }
         default:
             // Unknown op type — emit a permissive alias rather than throwing,
             // so one stray op doesn't block codegen for the whole file.
             return `export type ${aliasName} = unknown;`;
     }
 }
+/**
+ * Render the typed-operations factory (#1441): an inlined structural client
+ * interface + a shared call-options type + the `export function <type>Ops`
+ * factory. Each method pairs an op's `<Op>Params` input with its `<Op>Result`
+ * output and calls `client.databases.executeOperation<<Op>Result>(...)`, so the
+ * generated code carries no `as` cast and no import — the real `JsBaoClient`
+ * satisfies the structural `OpsClient` param.
+ *
+ * Returns "" for a database type with no operations, so the caller can omit the
+ * factory entirely rather than emit an empty function.
+ */
+export function renderOpsFactory(input) {
+    const { factoryName, databaseType, ops } = input;
+    if (ops.length === 0)
+        return "";
+    const clientInterface = [
+        "// Minimal structural client shape — inlined so this file stays import-free",
+        "// and carries no runtime dependency on the client package. The real",
+        "// `JsBaoClient` satisfies it structurally.",
+        "interface OpsClient {",
+        "  databases: {",
+        "    executeOperation<R>(",
+        "      databaseId: string,",
+        "      name: string,",
+        "      options?: {",
+        // `object` (not `Record<string, unknown>`) so a strict generated `<Op>Params`
+        // interface — which has no index signature — is still assignable here.
+        "        params?: object;",
+        "        limit?: number;",
+        "        cursor?: string;",
+        "        direction?: 1 | -1;",
+        "        timing?: boolean;",
+        "      },",
+        "    ): Promise<R>;",
+        "  };",
+        "}",
+    ].join("\n");
+    const optionsType = [
+        "// Non-param options (pagination + diagnostics) each factory method accepts",
+        "// alongside its params, passed straight through to `executeOperation`.",
+        "interface OpsCallOptions {",
+        "  limit?: number;",
+        "  cursor?: string;",
+        "  direction?: 1 | -1;",
+        "  timing?: boolean;",
+        "}",
+    ].join("\n");
+    const methodLines = ops.map((op) => {
+        const nameLiteral = JSON.stringify(op.opName);
+        if (op.hasParams) {
+            return (`    ${op.propertyKey}: (params: ${op.paramsInterfaceName}, options?: OpsCallOptions): Promise<${op.resultAliasName}> =>\n` +
+                `      client.databases.executeOperation<${op.resultAliasName}>(databaseId, ${nameLiteral}, { params, ...options }),`);
+        }
+        // No declared params: the method takes only the optional options object, so
+        // it stays callable with no arguments (`ops.foo()`).
+        return (`    ${op.propertyKey}: (options?: OpsCallOptions): Promise<${op.resultAliasName}> =>\n` +
+            `      client.databases.executeOperation<${op.resultAliasName}>(databaseId, ${nameLiteral}, { ...options }),`);
+    });
+    const factory = [
+        `/** Typed accessor for \`${databaseType}\` operations. */`,
+        `export function ${factoryName}(client: OpsClient, databaseId: string) {`,
+        "  return {",
+        ...methodLines,
+        "  };",
+        "}",
+    ].join("\n");
+    return [clientInterface, optionsType, factory].join("\n\n");
+}
 //# sourceMappingURL=dbTemplates.js.map

package/dist/src/lib/db-codegen/dbTemplates.js.map

@@ -1 +1 @@
-{"version":3,"file":"dbTemplates.js","sourceRoot":"","sources":["../../../../src/lib/db-codegen/dbTemplates.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAExE,MAAM,aAAa,GACjB,2DAA2D,CAAC;AAC9D,MAAM,iBAAiB,GACrB,qEAAqE,CAAC;AAmExE,8DAA8D;AAC9D,MAAM,CAAC,MAAM,oBAAoB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsCnC,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,WAAmB;IAC9C,OAAO;QACL,aAAa;QACb,iBAAiB;QACjB,mBAAmB,WAAW,EAAE;KACjC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAiC;IAEjC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IACvD,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrB,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QACvC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,QAAQ,KAAK,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnF,CAAC;IAED,mEAAmE;IACnE,sEAAsE;IACtE,8DAA8D;IAC9D,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;QACpC,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACpC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtB,WAAW,CAAC,IAAI,CAAC,KAAK,OAAO,YAAY,CAAC,CAAC;IAC7C,CAAC;IAED,sEAAsE;IACtE,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,wEAAwE;IACxE,4EAA4E;IAC5E,wEAAwE;IACxE,0EAA0E;IAC1E,qEAAqE;IACrE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,eAAe,aAAa,6BAA6B,CAAC;IACnE,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,aAAa,IAAI,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAmC;IAEnC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACxC,sEAAsE;IACtE,uEAAuE;IACvE,qEAAqE;IACrE,6DAA6D;IAC7D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,eAAe,aAAa,2BAA2B,CAAC;IACjE,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,aAAa,IAAI,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,QAAQ,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAA+B;IACjE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,mBAAmB,EAAE,GAAG,KAAK,CAAC;IACzD,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,mBAAmB,IAAI,yBAAyB,CAAC;YACjE,OAAO,eAAe,SAAS,kBAAkB,OAAO,IAAI,CAAC;QAC/D,CAAC;QACD,KAAK,UAAU;YACb,OAAO,eAAe,SAAS,oBAAoB,CAAC;QACtD,KAAK,OAAO;YACV,OAAO,eAAe,SAAS,iBAAiB,CAAC;QACnD,KAAK,WAAW;YACd,OAAO,eAAe,SAAS,qBAAqB,CAAC;QACvD,KAAK,cAAc;YACjB,OAAO,eAAe,SAAS,wBAAwB,CAAC;QAC1D,KAAK,UAAU;YACb,OAAO,eAAe,SAAS,oBAAoB,CAAC;QACtD;YACE,kEAAkE;YAClE,4DAA4D;YAC5D,OAAO,eAAe,SAAS,aAAa,CAAC;IACjD,CAAC;AACH,CAAC"}
+{"version":3,"file":"dbTemplates.js","sourceRoot":"","sources":["../../../../src/lib/db-codegen/dbTemplates.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAExE,MAAM,aAAa,GACjB,2DAA2D,CAAC;AAC9D,MAAM,iBAAiB,GACrB,qEAAqE,CAAC;AAgHxE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0DnC,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,WAAmB;IAC9C,OAAO;QACL,aAAa;QACb,iBAAiB;QACjB,mBAAmB,WAAW,EAAE;KACjC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAiC;IAEjC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IACvD,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrB,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QACvC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,QAAQ,KAAK,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnF,CAAC;IAED,mEAAmE;IACnE,sEAAsE;IACtE,8DAA8D;IAC9D,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;QACpC,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACpC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtB,WAAW,CAAC,IAAI,CAAC,KAAK,OAAO,YAAY,CAAC,CAAC;IAC7C,CAAC;IAED,sEAAsE;IACtE,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,wEAAwE;IACxE,4EAA4E;IAC5E,wEAAwE;IACxE,0EAA0E;IAC1E,qEAAqE;IACrE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,eAAe,aAAa,6BAA6B,CAAC;IACnE,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,aAAa,IAAI,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAmC;IAEnC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACxC,sEAAsE;IACtE,uEAAuE;IACvE,qEAAqE;IACrE,6DAA6D;IAC7D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,eAAe,aAAa,2BAA2B,CAAC;IACjE,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,aAAa,IAAI,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QACvC,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,CAAC,IAAI,GAAG,QAAQ,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAC5E,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CACzB,mBAAkC,EAClC,UAAqC;IAErC,IAAI,mBAAmB,KAAK,IAAI;QAAE,OAAO,yBAAyB,CAAC;IACnE,MAAM,CAAC,GAAG,UAAU,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,mBAAmB,CAAC;QAC7B,KAAK,SAAS;YACZ,OAAO,WAAW,mBAAmB,GAAG,CAAC;QAC3C,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,sEAAsE;YACtE,wEAAwE;YACxE,sCAAsC;YACtC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,mBAAmB,CAAC;YACtD,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnE,OAAO,QAAQ,mBAAmB,KAAK,OAAO,GAAG,CAAC;QACpD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAA+B;IACjE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrE,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,eAAe,SAAS,kBAAkB,kBAAkB,CACjE,mBAAmB,EACnB,UAAU,CACX,IAAI,CAAC;QACR,KAAK,UAAU;YACb,4EAA4E;YAC5E,uEAAuE;YACvE,OAAO,eAAe,SAAS,oBAAoB,CAAC;QACtD,KAAK,OAAO;YACV,OAAO,eAAe,SAAS,iBAAiB,CAAC;QACnD,KAAK,WAAW;YACd,OAAO,eAAe,SAAS,qBAAqB,CAAC;QACvD,KAAK,cAAc;YACjB,OAAO,eAAe,SAAS,wBAAwB,CAAC;QAC1D,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,CAAC,GAAG,KAAK,CAAC,cAAc,IAAI,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC;YAC9D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,OAAO;oBACV,OAAO,eAAe,SAAS,kBAAkB,kBAAkB,CACjE,CAAC,CAAC,mBAAmB,EACrB,CAAC,CAAC,UAAU,CACb,IAAI,CAAC;gBACR,KAAK,OAAO;oBACV,OAAO,eAAe,SAAS,iBAAiB,CAAC;gBACnD,KAAK,WAAW;oBACd,OAAO,eAAe,SAAS,qBAAqB,CAAC;gBACvD,mEAAmE;gBACnE,qEAAqE;gBACrE,KAAK,QAAQ,CAAC;gBACd;oBACE,OAAO,eAAe,SAAS,oBAAoB,CAAC;YACxD,CAAC;QACH,CAAC;QACD;YACE,kEAAkE;YAClE,4DAA4D;YAC5D,OAAO,eAAe,SAAS,aAAa,CAAC;IACjD,CAAC;AACH,CAAC;AAgCD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAA4B;IAC3D,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACjD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEhC,MAAM,eAAe,GAAG;QACtB,6EAA6E;QAC7E,sEAAsE;QACtE,6CAA6C;QAC7C,uBAAuB;QACvB,gBAAgB;QAChB,0BAA0B;QAC1B,2BAA2B;QAC3B,qBAAqB;QACrB,mBAAmB;QACnB,8EAA8E;QAC9E,uEAAuE;QACvE,0BAA0B;QAC1B,yBAAyB;QACzB,0BAA0B;QAC1B,6BAA6B;QAC7B,2BAA2B;QAC3B,UAAU;QACV,oBAAoB;QACpB,MAAM;QACN,GAAG;KACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,WAAW,GAAG;QAClB,6EAA6E;QAC7E,yEAAyE;QACzE,4BAA4B;QAC5B,mBAAmB;QACnB,oBAAoB;QACpB,uBAAuB;QACvB,qBAAqB;QACrB,GAAG;KACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,WAAW,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QACjC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YACjB,OAAO,CACL,OAAO,EAAE,CAAC,WAAW,cAAc,EAAE,CAAC,mBAAmB,wCAAwC,EAAE,CAAC,eAAe,QAAQ;gBAC3H,2CAA2C,EAAE,CAAC,eAAe,iBAAiB,WAAW,4BAA4B,CACtH,CAAC;QACJ,CAAC;QACD,4EAA4E;QAC5E,qDAAqD;QACrD,OAAO,CACL,OAAO,EAAE,CAAC,WAAW,yCAAyC,EAAE,CAAC,eAAe,QAAQ;YACxF,2CAA2C,EAAE,CAAC,eAAe,iBAAiB,WAAW,oBAAoB,CAC9G,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG;QACd,4BAA4B,YAAY,mBAAmB;QAC3D,mBAAmB,WAAW,2CAA2C;QACzE,YAAY;QACZ,GAAG,WAAW;QACd,MAAM;QACN,GAAG;KACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO,CAAC,eAAe,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC9D,CAAC"}

package/dist/src/lib/db-codegen/dbTsTypes.d.ts

@@ -33,8 +33,12 @@
  * library's internal type paths.
  */
 export type DbFieldType = "string" | "number" | "boolean" | "date" | "id" | "stringset";
-/** Param types accepted in an `[[operations]]` `params` block. */
-export type DbParamType = "string" | "number" | "boolean" | "object";
+/**
+ * Param types accepted in an `[[operations]]` `params` block. `array` (#1488)
+ * carries a scalar `items` element type; `integer` (also surfaced in #1488 when
+ * reconciling the registration/runtime type lists) maps to `number`.
+ */
+export type DbParamType = "string" | "number" | "boolean" | "integer" | "object" | "array";
 /**
  * Returns the TS type expression for a record field type. Unknown types
  * fall back to `unknown` rather than throwing: the database-type TOML is
@@ -75,4 +79,4 @@ export declare function tsTypeForDbField(fieldType: string, enumValues?: string[
  * the base type for a non-string param or an empty enum rather than throwing —
  * the server is the source of truth for rejecting a malformed param `enum`.
  */
-export declare function tsTypeForDbParamType(paramType: string, enumValues?: string[]): string;
+export declare function tsTypeForDbParamType(paramType: string, enumValues?: string[], items?: string): string;

package/dist/src/lib/db-codegen/dbTsTypes.js

@@ -90,7 +90,28 @@ export function tsTypeForDbField(fieldType, enumValues) {
  * the base type for a non-string param or an empty enum rather than throwing —
  * the server is the source of truth for rejecting a malformed param `enum`.
  */
-export function tsTypeForDbParamType(paramType, enumValues) {
+export function tsTypeForDbParamType(paramType, enumValues, items) {
+    // Array param (#1488): a declared `type = "array"` (Phase 2) or one inferred
+    // from a `$in`/`$nin` binding (Phase 1). `items` is the scalar element type;
+    // a per-element `enum` on a string-element array renders `("a" | "b")[]`.
+    // A missing/unresolved `items` renders `unknown[]` (the conservative widen).
+    if (paramType === "array") {
+        let elem;
+        if (items === "string" &&
+            Array.isArray(enumValues) &&
+            enumValues.length > 0) {
+            elem = `(${tsUnionFromEnum(enumValues)})`;
+        }
+        else if (items) {
+            // Element type is always scalar here, so the recursion never re-enters
+            // this array branch.
+            elem = tsTypeForDbParamType(items);
+        }
+        else {
+            elem = "unknown";
+        }
+        return `${elem}[]`;
+    }
     if (paramType === "string" &&
         Array.isArray(enumValues) &&
         enumValues.length > 0) {
@@ -100,6 +121,7 @@ export function tsTypeForDbParamType(paramType, enumValues) {
         case "string":
             return "string";
         case "number":
+        case "integer":
             return "number";
         case "boolean":
             return "boolean";

package/dist/src/lib/db-codegen/dbTsTypes.js.map

@@ -1 +1 @@
-{"version":3,"file":"dbTsTypes.js","sourceRoot":"","sources":["../../../../src/lib/db-codegen/dbTsTypes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAoBH;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAAiB;IACpD,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,IAAI,CAAC;QACV,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,WAAW;YACd,sDAAsD;YACtD,OAAO,UAAU,CAAC;QACpB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,MAAgB;IAC9C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAiB,EACjB,UAAqB;IAErB,IACE,SAAS,KAAK,QAAQ;QACtB,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACzB,UAAU,CAAC,MAAM,GAAG,CAAC,EACrB,CAAC;QACD,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,oBAAoB,CAAC,SAAS,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAClC,SAAiB,EACjB,UAAqB;IAErB,IACE,SAAS,KAAK,QAAQ;QACtB,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACzB,UAAU,CAAC,MAAM,GAAG,CAAC,EACrB,CAAC;QACD,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,yBAAyB,CAAC;QACnC;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}
+{"version":3,"file":"dbTsTypes.js","sourceRoot":"","sources":["../../../../src/lib/db-codegen/dbTsTypes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AA8BH;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAAiB;IACpD,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,IAAI,CAAC;QACV,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,WAAW;YACd,sDAAsD;YACtD,OAAO,UAAU,CAAC;QACpB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,MAAgB;IAC9C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAiB,EACjB,UAAqB;IAErB,IACE,SAAS,KAAK,QAAQ;QACtB,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACzB,UAAU,CAAC,MAAM,GAAG,CAAC,EACrB,CAAC;QACD,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,oBAAoB,CAAC,SAAS,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAClC,SAAiB,EACjB,UAAqB,EACrB,KAAc;IAEd,6EAA6E;IAC7E,6EAA6E;IAC7E,0EAA0E;IAC1E,6EAA6E;IAC7E,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,IAAY,CAAC;QACjB,IACE,KAAK,KAAK,QAAQ;YAClB,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YACzB,UAAU,CAAC,MAAM,GAAG,CAAC,EACrB,CAAC;YACD,IAAI,GAAG,IAAI,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC;QAC5C,CAAC;aAAM,IAAI,KAAK,EAAE,CAAC;YACjB,uEAAuE;YACvE,qBAAqB;YACrB,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,IAAI,IAAI,CAAC;IACrB,CAAC;IACD,IACE,SAAS,KAAK,QAAQ;QACtB,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACzB,UAAU,CAAC,MAAM,GAAG,CAAC,EACrB,CAAC;QACD,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,yBAAyB,CAAC;QACnC;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}