@vibeorm/generator 2.0.0-alpha.9 → 2.0.0

package/dist/index.js

@@ -7,6 +7,9 @@ import { buildComputedManifest, validateComputedConfig } from "@vibeorm/schema";
 // packages/generator/src/emit-dts.ts
 import { VibeError as VibeError3 } from "@vibeorm/schema";
 
+// packages/generator/src/emit-js.ts
+import { internalError } from "@vibeorm/schema";
+
 // packages/generator/src/extension-bake.ts
 import {
   VibeError,
@@ -128,6 +131,235 @@ function bakeExtensions(params) {
   };
 }
 
+// packages/generator/src/util.ts
+import { VibeError as VibeError2 } from "@vibeorm/schema";
+function pascal(params) {
+  const { name } = params;
+  if (name.length === 0)
+    return name;
+  return name.charAt(0).toUpperCase() + name.slice(1);
+}
+function clientNameOf(params) {
+  const { name } = params;
+  if (name.length === 0)
+    return name;
+  return name.charAt(0).toLowerCase() + name.slice(1);
+}
+var IDENTIFIER_RE = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
+function propKey(params) {
+  const { name } = params;
+  return IDENTIFIER_RE.test(name) ? name : JSON.stringify(name);
+}
+function tsString(params) {
+  return JSON.stringify(params.value);
+}
+function maybeParens(params) {
+  const { type } = params;
+  return type.includes("|") ? `(${type})` : type;
+}
+function stableStringify(params) {
+  return renderValue({ value: params.value, indent: "" });
+}
+function renderValue(params) {
+  const { value, indent: indent2 } = params;
+  if (value === null)
+    return "null";
+  const kind = typeof value;
+  if (kind === "string" || kind === "number" || kind === "boolean")
+    return JSON.stringify(value);
+  if (Array.isArray(value)) {
+    if (value.length === 0)
+      return "[]";
+    const inner = `${indent2}  `;
+    const items = value.map((item) => inner + renderValue({ value: item, indent: inner }));
+    return `[
+${items.join(`,
+`)}
+${indent2}]`;
+  }
+  if (kind === "object") {
+    const record = value;
+    const keys = Object.keys(record).filter((key) => record[key] !== undefined).sort();
+    if (keys.length === 0)
+      return "{}";
+    const inner = `${indent2}  `;
+    const items = keys.map((key) => `${inner}${JSON.stringify(key)}: ${renderValue({ value: record[key], indent: inner })}`);
+    return `{
+${items.join(`,
+`)}
+${indent2}}`;
+  }
+  throw new VibeError2({
+    code: "VIBE_INTERNAL",
+    message: `internal: cannot serialize a ${kind} value into the generated client`,
+    meta: { kind }
+  });
+}
+
+// packages/generator/src/emit-js.ts
+var HEADER = `// Generated by VibeORM (@vibeorm/generator) \u2014 DO NOT EDIT.
+// Regenerate with \`vibeorm generate\` after every schema change.`;
+function enumEntryExports(params) {
+  return [...params.view.enums.map((declared) => declared.name), "enumValidators"];
+}
+function emitEnumsJs(params) {
+  const { view } = params;
+  const parts = [
+    `${HEADER}
+// Lightweight entry: enum constants + boundary parsers. No runtime client, no schema module.`
+  ];
+  if (view.enums.length === 0) {
+    parts.push(`/** Boundary parsers grouped by enum name \u2014 this schema declares no enums. */
+` + `export const enumValidators = Object.freeze({});`);
+    return `${parts.join(`
+
+`)}
+`;
+  }
+  parts.push(`import { VibeError } from "@vibeorm/schema";`);
+  for (const declared of view.enums) {
+    const entries = declared.values.map((value) => `  ${value === "__proto__" ? `[${tsString({ value })}]` : tsString({ value })}: ${tsString({ value })},`).join(`
+`);
+    parts.push(`export const ${declared.name} = Object.freeze({
+${entries}
+});`);
+  }
+  parts.push(`/** Membership validator for one enum: \`values\`, \`is\`, \`parse\` (VIBE_VALIDATION on a non-member). */
+` + `function enumValidator(params) {
+` + `  const { name, values } = params;
+` + `  const members = new Set(values);
+` + `  const is = (value) => typeof value === "string" && members.has(value);
+` + `  return Object.freeze({
+` + `    values: Object.freeze([...values]),
+` + `    is,
+` + `    parse(input) {
+` + `      const { value } = input;
+` + `      if (is(value)) return value;
+` + `      const received = typeof value === "string" ? value.slice(0, 80) : value === null ? "null" : typeof value;
+` + `      throw new VibeError({
+` + `        code: "VIBE_VALIDATION",
+` + `        message: \`Invalid \${name} value \${JSON.stringify(received)} \u2014 expected one of \${values.join(", ")}\`,
+` + `        meta: { enum: name, received },
+` + `      });
+` + `    },
+` + `  });
+` + `}`);
+  const validatorLines = view.enums.map((declared) => `  ${declared.name === "__proto__" ? `[${tsString({ value: declared.name })}]` : declared.name}: enumValidator({ name: ${tsString({ value: declared.name })}, values: [${declared.values.map((value) => tsString({ value })).join(", ")}] }),`).join(`
+`);
+  parts.push(`/** Boundary parsers grouped by enum name, so an enum member named \`parse\` cannot collide. */
+` + `export const enumValidators = Object.freeze({
+${validatorLines}
+});`);
+  return `${parts.join(`
+
+`)}
+`;
+}
+function serializeSchema(params) {
+  const { schema } = params;
+  if (schema.rls === undefined)
+    return stableStringify({ value: schema });
+  return renderIr({ value: schema, indent: "", ordered: false });
+}
+function renderIr(params) {
+  const { value, indent: indent2, ordered } = params;
+  if (value === null)
+    return "null";
+  const kind = typeof value;
+  if (kind === "string" || kind === "number" || kind === "boolean")
+    return JSON.stringify(value);
+  if (Array.isArray(value)) {
+    if (value.length === 0)
+      return "[]";
+    const inner2 = `${indent2}  `;
+    const items2 = value.map((item) => inner2 + renderIr({ value: item, indent: inner2, ordered }));
+    return `[
+${items2.join(`,
+`)}
+${indent2}]`;
+  }
+  if (kind !== "object") {
+    throw internalError({ message: `internal: cannot serialize a ${kind} value into the generated client`, meta: { kind } });
+  }
+  const record = value;
+  const defined = Object.keys(record).filter((key) => record[key] !== undefined);
+  const keys = ordered ? defined : defined.sort();
+  if (keys.length === 0)
+    return "{}";
+  const inner = `${indent2}  `;
+  const items = keys.map((key) => `${inner}${JSON.stringify(key)}: ${renderIr({ value: record[key], indent: inner, ordered: ordered || key === "rls" })}`);
+  return `{
+${items.join(`,
+`)}
+${indent2}}`;
+}
+function emitJs(params) {
+  const { view } = params;
+  const baked = params.baked ?? EMPTY_BAKED_EXTENSIONS;
+  const computed = params.computed ?? [];
+  const hasComputed = computed.length > 0;
+  const parts = [];
+  parts.push(HEADER);
+  parts.push(`import { createClient } from "@vibeorm/runtime";`);
+  if (baked.jsImports.length > 0)
+    parts.push(baked.jsImports.join(`
+`));
+  parts.push(`export { VibeError } from "@vibeorm/schema";`);
+  parts.push(`export { SKIP } from "@vibeorm/runtime";`);
+  parts.push(`export { ${enumEntryExports({ view }).join(", ")} } from "./enums.js";`);
+  parts.push(`/** The normalized Schema IR this client was generated from (plain data). */
+export const schema = ${serializeSchema({ schema: view.schema })};`);
+  if (baked.empty && !hasComputed) {
+    parts.push(`/** Build a typed client over a database adapter. */
+` + `export function VibeClient(options) {
+` + `  const { adapter, ...clientOptions } = options;
+` + `  return createClient({ schema, adapter, options: clientOptions });
+` + `}`);
+    return `${parts.join(`
+
+`)}
+`;
+  }
+  if (!baked.empty) {
+    parts.push(`/** Extension manifest \u2014 verified against the live extension list (VIBE_STALE_CLIENT). */
+` + `const extensionManifest = ${stableStringify({ value: baked.manifest })};`);
+    parts.push(`/** Baked extension surfaces (extensions.md D9). */
+` + `const extensionMounts = [
+${baked.mounts.map((mount) => `  ${mount},`).join(`
+`)}
+];`);
+  }
+  if (hasComputed) {
+    parts.push(`/** Computed-field manifest \u2014 verified against the live computed config (VIBE_STALE_CLIENT). */
+` + `const computedManifest = ${stableStringify({ value: computed })};`);
+  }
+  const destructured = [
+    "adapter",
+    ...baked.empty ? [] : ["extensions"],
+    ...hasComputed ? ["computed"] : [],
+    "...clientOptions"
+  ].join(", ");
+  const createLines = [
+    `    schema,`,
+    `    adapter,`,
+    `    options: clientOptions,`,
+    ...baked.empty ? [] : [`    extensions: { manifest: extensionManifest, mounts: extensionMounts, instances: extensions ?? [] },`],
+    ...hasComputed ? [`    computed: { manifest: computedManifest, specs: computed },`] : []
+  ];
+  parts.push(`/** Build a typed client over a database adapter. */
+` + `export function VibeClient(options) {
+` + `  const { ${destructured} } = options;
+` + `  return createClient({
+${createLines.join(`
+`)}
+  });
+` + `}`);
+  return `${parts.join(`
+
+`)}
+`;
+}
+
 // packages/generator/src/type-names.ts
 var PAYLOAD_TYPES = {
   String: "string",
@@ -198,71 +430,6 @@ function updateOpsName(params) {
   return field.isOptional ? `Nullable${prefix}FieldUpdateOperationsInput` : `${prefix}FieldUpdateOperationsInput`;
 }
 
-// packages/generator/src/util.ts
-import { VibeError as VibeError2 } from "@vibeorm/schema";
-function pascal(params) {
-  const { name } = params;
-  if (name.length === 0)
-    return name;
-  return name.charAt(0).toUpperCase() + name.slice(1);
-}
-function clientNameOf(params) {
-  const { name } = params;
-  if (name.length === 0)
-    return name;
-  return name.charAt(0).toLowerCase() + name.slice(1);
-}
-var IDENTIFIER_RE = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
-function propKey(params) {
-  const { name } = params;
-  return IDENTIFIER_RE.test(name) ? name : JSON.stringify(name);
-}
-function tsString(params) {
-  return JSON.stringify(params.value);
-}
-function maybeParens(params) {
-  const { type } = params;
-  return type.includes("|") ? `(${type})` : type;
-}
-function stableStringify(params) {
-  return renderValue({ value: params.value, indent: "" });
-}
-function renderValue(params) {
-  const { value, indent: indent2 } = params;
-  if (value === null)
-    return "null";
-  const kind = typeof value;
-  if (kind === "string" || kind === "number" || kind === "boolean")
-    return JSON.stringify(value);
-  if (Array.isArray(value)) {
-    if (value.length === 0)
-      return "[]";
-    const inner = `${indent2}  `;
-    const items = value.map((item) => inner + renderValue({ value: item, indent: inner }));
-    return `[
-${items.join(`,
-`)}
-${indent2}]`;
-  }
-  if (kind === "object") {
-    const record = value;
-    const keys = Object.keys(record).filter((key) => record[key] !== undefined).sort();
-    if (keys.length === 0)
-      return "{}";
-    const inner = `${indent2}  `;
-    const items = keys.map((key) => `${inner}${JSON.stringify(key)}: ${renderValue({ value: record[key], indent: inner })}`);
-    return `{
-${items.join(`,
-`)}
-${indent2}}`;
-  }
-  throw new VibeError2({
-    code: "VIBE_INTERNAL",
-    message: `internal: cannot serialize a ${kind} value into the generated client`,
-    meta: { kind }
-  });
-}
-
 // packages/generator/src/emit-dts.ts
 function banner(params) {
   return `// \u2500\u2500\u2500 ${params.title} \u2500\u2500\u2500`;
@@ -276,6 +443,23 @@ ${lines.join(`
 `)}
 };`;
 }
+var OPTIONAL_MEMBER = /^(\s*(?:readonly\s+)?(?:[A-Za-z_$][\w$]*|"(?:[^"\\]|\\.)*")\?:\s*)(.+);$/;
+function skippableMembers(params) {
+  return params.block.split(`
+`).map((line) => {
+    const match = OPTIONAL_MEMBER.exec(line);
+    const head = match?.[1];
+    const type = match?.[2];
+    if (head === undefined || type === undefined)
+      return line;
+    return `${head}${type.includes("=>") ? `(${type})` : type} | Skip;`;
+  }).join(`
+`);
+}
+function inputAlias(params) {
+  const { name, lines } = params;
+  return objectAlias({ name, lines: lines.map((block) => skippableMembers({ block })) });
+}
 function orMany(params) {
   const { type } = params;
   return `${type} | readonly ${maybeParens({ type })}[]`;
@@ -321,11 +505,66 @@ export type SortOrderWithNulls = SortOrder | { readonly sort: SortOrder; readonl
 /** How relations are loaded: batched WHERE-IN queries, or a single JOIN (pg/pglite). */
 export type RelationStrategy = "query" | "join";
 
+/**
+ * An opaque, versioned keyset position (\`after\`) \u2014 ordering values plus a
+ * unique tie-breaker, minted by a previous page. It is ENCODED, not encrypted:
+ * whoever holds it can read the ordering values inside. It is also NOT an
+ * authorization credential \u2014 it selects a position, never a row, and every
+ * query still applies its own where/scoped/policy/RLS filters.
+ */
+export type KeysetToken = string;
+
+/** Per-query keyset options. */
+export type KeysetOptions = {
+  /**
+   * Asserts that every DateTime ordering column in this query holds
+   * millisecond-exact values. Required on postgres and mysql, whose timestamps
+   * may be finer than a JavaScript Date; NOT safe for \`@default(now())\`
+   * columns on postgres, which are microsecond-precise.
+   */
+  readonly timestampPrecision?: "milliseconds";
+};
+
 /** Result of createMany/updateMany/deleteMany. */
 export type BatchPayload = { readonly count: number };
 
+/**
+ * What upsertMany reports. \`count\` is the rows submitted after duplicate-key
+ * validation \u2014 every one of them was inserted or updated, since the statement
+ * has no skip arm and the whole operation is atomic. \`affectedRows\` is the
+ * driver's own number, and only where that number IS a row count: it is null on
+ * mysql, whose ON DUPLICATE KEY scores an insert 1, a changed update 2 and an
+ * unchanged update 0.
+ */
+export type UpsertManyPayload = { readonly count: number; readonly affectedRows: number | null };
+
+/**
+ * An argument member as the RESULT machinery must read it. Absent and the
+ * \`SKIP\` sentinel both mean "not provided", so neither may narrow a payload:
+ * without this, \`{ omit?: UserOmitInput | Skip }\` would collapse the key
+ * helpers below to \`never\` and promise fields the query may still have dropped.
+ */
+type Provided<T> = Exclude<T, Skip | undefined>;
+
 /** Keys of an omit object whose value is exactly true \u2014 the scalars the result drops. */
-type OmittedKeys<O> = keyof { [K in keyof O as O[K] extends true ? K : never]: 0 };`;
+type OmittedKeys<O> = keyof { [K in keyof O as O[K] extends true ? K : never]: 0 };
+
+/** Keys a selection has not RULED OUT \u2014 everything except a literal false/undefined. */
+type PossibleKeys<S> = keyof { [K in keyof S as S[K] extends false | undefined ? never : K]: 0 };
+
+/**
+ * Keys whose flag can STILL be false or missing when the query runs \u2014 a widened
+ * \`boolean\`, or an optional nested selection. They are emitted OPTIONAL: the
+ * result type must not promise a field a run-time flag can switch off.
+ */
+type UncertainKeys<S> = PossibleKeys<S> &
+  keyof { [K in keyof S as [false] extends [S[K]] ? K : [undefined] extends [S[K]] ? K : never]: 0 };
+
+/** Keys the selection definitely turns on: a literal \`true\`, or a nested selection object. */
+type ExactKeys<S> = Exclude<PossibleKeys<S>, UncertainKeys<S>>;
+
+/** An aggregate object is absent when none of its selectors is enabled. */
+type HasSelectedField<S> = [S] extends [true] ? true : [S] extends [object] ? ExactKeys<S> extends never ? false : true : false;`;
 var SCALAR_FILTER_CONFIGS = [
   { prefix: "String", value: "string", comparable: true, text: true },
   { prefix: "Int", value: "number", comparable: true, text: false },
@@ -360,13 +599,13 @@ function scalarFilterAlias(params) {
     lines.push(`  readonly mode?: QueryMode;`);
   }
   lines.push(`  readonly not?: ${value} | ${name}${nullable ? " | null" : ""};`);
-  return objectAlias({ name, lines });
+  return inputAlias({ name, lines });
 }
 function scalarListFilterAlias(params) {
   const { config } = params;
   const value = config.value;
   const array = `readonly ${maybeParens({ type: value })}[]`;
-  return objectAlias({
+  return inputAlias({
     name: `${config.prefix}ListFilter`,
     lines: [
       `  readonly equals?: ${array} | null;`,
@@ -386,7 +625,7 @@ var UPDATE_OPS_CONFIGS = [
 function updateOpsAlias(params) {
   const { prefix, value, nullable } = params;
   const name = nullable ? `Nullable${prefix}FieldUpdateOperationsInput` : `${prefix}FieldUpdateOperationsInput`;
-  return objectAlias({
+  return inputAlias({
     name,
     lines: [
       `  readonly set?: ${nullable ? `${value} | null` : value};`,
@@ -397,6 +636,25 @@ function updateOpsAlias(params) {
     ]
   });
 }
+function jsonFilterAlias(params) {
+  const { nullable } = params;
+  const document = nullable ? "InputJsonValue | null" : "InputJsonValue";
+  return inputAlias({
+    name: nullable ? "JsonNullableFilter" : "JsonFilter",
+    lines: [
+      `  readonly path?: readonly (string | number)[];`,
+      `  readonly mode?: "default" | "insensitive";`,
+      `  readonly equals?: ${document};`,
+      `  readonly not?: ${document};`,
+      `  readonly string_contains?: string;`,
+      `  readonly string_starts_with?: string;`,
+      `  readonly string_ends_with?: string;`,
+      `  readonly array_contains?: InputJsonValue;`,
+      `  readonly array_starts_with?: InputJsonValue;`,
+      `  readonly array_ends_with?: InputJsonValue;`
+    ]
+  });
+}
 function filterSection() {
   const parts = [banner({ title: "Scalar filters" })];
   for (const config of SCALAR_FILTER_CONFIGS) {
@@ -404,15 +662,9 @@ function filterSection() {
     parts.push(scalarFilterAlias({ config, nullable: true }));
     parts.push(scalarListFilterAlias({ config }));
   }
-  parts.push(objectAlias({
-    name: "JsonFilter",
-    lines: [`  readonly equals?: InputJsonValue;`, `  readonly not?: InputJsonValue;`]
-  }));
-  parts.push(objectAlias({
-    name: "JsonNullableFilter",
-    lines: [`  readonly equals?: InputJsonValue | null;`, `  readonly not?: InputJsonValue | null;`]
-  }));
-  parts.push(objectAlias({
+  parts.push(jsonFilterAlias({ nullable: false }));
+  parts.push(jsonFilterAlias({ nullable: true }));
+  parts.push(inputAlias({
     name: "JsonListFilter",
     lines: [
       `  readonly equals?: readonly InputJsonValue[] | null;`,
@@ -429,18 +681,55 @@ function filterSection() {
   }
   return parts;
 }
-function emitEnum(params) {
+var GENERATED_HEADER = `// Generated by VibeORM (@vibeorm/generator) \u2014 DO NOT EDIT.
+// Regenerate with \`vibeorm generate\` after every schema change.`;
+function emitEnumDeclaration(params) {
   const { declared } = params;
   const name = declared.name;
-  const parts = [banner({ title: `Enum ${name}` })];
   const valueLines = declared.values.map((value) => `  readonly ${propKey({ name: value })}: ${tsString({ value })};`);
-  parts.push(`export declare const ${name}: {
+  return [
+    banner({ title: `Enum ${name}` }),
+    `export declare const ${name}: {
 ${valueLines.join(`
 `)}
-};`);
-  parts.push(`export type ${name} = ${declared.values.map((value) => tsString({ value })).join(" | ")};`);
+};`,
+    `export type ${name} = ${declared.values.map((value) => tsString({ value })).join(" | ")};`,
+    `/** Boundary validator for ${name}: \`values\`, \`is\`, \`parse\` (throws VIBE_VALIDATION on a non-member). */
+` + `export type ${name}Validator = {
+` + `  readonly values: readonly ${name}[];
+` + `  is(value: unknown): value is ${name};
+` + `  parse(params: { readonly value: unknown }): ${name};
+` + `};`
+  ].join(`
+
+`);
+}
+function emitEnumsDts(params) {
+  const { view } = params;
+  const parts = [
+    `${GENERATED_HEADER}
+// Lightweight entry: enum constants + boundary parsers. No runtime client, no schema module.`
+  ];
+  for (const declared of view.enums)
+    parts.push(emitEnumDeclaration({ declared }));
+  parts.push(banner({ title: "Enum validators" }));
+  const validatorLines = view.enums.map((declared) => `  readonly ${declared.name}: ${declared.name}Validator;`);
+  parts.push(`/** Boundary parsers grouped by enum name, so an enum member named \`parse\` cannot collide. */
+` + (validatorLines.length === 0 ? `export declare const enumValidators: Record<string, never>;` : `export declare const enumValidators: {
+${validatorLines.join(`
+`)}
+};`));
+  return `${parts.join(`
+
+`)}
+`;
+}
+function emitEnum(params) {
+  const { declared } = params;
+  const name = declared.name;
+  const parts = [banner({ title: `Enum ${name} filters` })];
   const array = `readonly ${name}[]`;
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${name}Filter`,
     lines: [
       `  readonly equals?: ${name};`,
@@ -449,7 +738,7 @@ ${valueLines.join(`
       `  readonly not?: ${name} | ${name}Filter;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${name}NullableFilter`,
     lines: [
       `  readonly equals?: ${name} | null;`,
@@ -458,7 +747,7 @@ ${valueLines.join(`
       `  readonly not?: ${name} | ${name}NullableFilter | null;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${name}ListFilter`,
     lines: [
       `  readonly equals?: ${array} | null;`,
@@ -575,7 +864,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: `${t}Create${suffix}Input`,
-      text: objectAlias({
+      text: inputAlias({
         name: `${t}Create${suffix}Input`,
         lines: checkedCreateLines({ model: target, omitRelation: inverse })
       })
@@ -583,7 +872,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: `${t}UncheckedCreate${suffix}Input`,
-      text: objectAlias({
+      text: inputAlias({
         name: `${t}UncheckedCreate${suffix}Input`,
         lines: uncheckedCreateLines({ model: target, omitRelation: inverse })
       })
@@ -591,7 +880,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: `${t}Update${suffix}Input`,
-      text: objectAlias({
+      text: inputAlias({
         name: `${t}Update${suffix}Input`,
         lines: checkedUpdateLines({ model: target, omitRelation: inverse })
       })
@@ -599,7 +888,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: `${t}UncheckedUpdate${suffix}Input`,
-      text: objectAlias({
+      text: inputAlias({
         name: `${t}UncheckedUpdate${suffix}Input`,
         lines: uncheckedUpdateLines({ model: target, omitRelation: inverse })
       })
@@ -609,7 +898,7 @@ function registerNestedContext(params) {
   register({
     registry,
     name: connectOrCreateName,
-    text: objectAlias({
+    text: inputAlias({
       name: connectOrCreateName,
       lines: [`  readonly where: ${t}WhereUniqueInput;`, `  readonly create: ${createUnion};`]
     })
@@ -619,7 +908,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: `${t}CreateNestedMany${suffix}Input`,
-      text: objectAlias({
+      text: inputAlias({
         name: `${t}CreateNestedMany${suffix}Input`,
         lines: [
           `  readonly create?: ${orMany({ type: createUnion })};`,
@@ -633,7 +922,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: updateWithWhere,
-      text: objectAlias({
+      text: inputAlias({
         name: updateWithWhere,
         lines: [`  readonly where: ${t}WhereUniqueInput;`, `  readonly data: ${updateUnion};`]
       })
@@ -642,7 +931,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: updateManyWithWhere,
-      text: objectAlias({
+      text: inputAlias({
         name: updateManyWithWhere,
         lines: [`  readonly where: ${t}WhereInput;`, `  readonly data: ${t}UpdateManyInput;`]
       })
@@ -651,7 +940,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: upsertWithWhere,
-      text: objectAlias({
+      text: inputAlias({
         name: upsertWithWhere,
         lines: [
           `  readonly where: ${t}WhereUniqueInput;`,
@@ -663,7 +952,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: `${t}UpdateNestedMany${suffix}Input`,
-      text: objectAlias({
+      text: inputAlias({
         name: `${t}UpdateNestedMany${suffix}Input`,
         lines: [
           `  readonly create?: ${orMany({ type: createUnion })};`,
@@ -685,7 +974,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: `${t}CreateNestedOne${suffix}Input`,
-      text: objectAlias({
+      text: inputAlias({
         name: `${t}CreateNestedOne${suffix}Input`,
         lines: [
           `  readonly create?: ${createUnion};`,
@@ -697,7 +986,7 @@ function registerNestedContext(params) {
     register({
       registry,
       name: `${t}UpdateNestedOne${suffix}Input`,
-      text: objectAlias({
+      text: inputAlias({
         name: `${t}UpdateNestedOne${suffix}Input`,
         lines: [
           `  readonly create?: ${createUnion};`,
@@ -711,7 +1000,6 @@ function registerNestedContext(params) {
     });
   }
 }
-var AGGREGATE_OPS_UNION = `"_count" | "_avg" | "_sum" | "_min" | "_max"`;
 function emitModel(params) {
   const { model, view, registry } = params;
   const computedEntries = params.computed ?? [];
@@ -744,12 +1032,12 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
   const countLine = `  readonly _count?: boolean | { readonly select: ${n}CountSelect };`;
   const relationSelectValue = (relation) => `boolean | ${relation.target}${relation.isList ? "FindManyArgs" : "Args"}`;
   if (hasCounts) {
-    parts.push(objectAlias({
+    parts.push(inputAlias({
       name: `${n}CountSelect`,
-      lines: listRelations.map((relation) => `  readonly ${propKey({ name: relation.name })}?: boolean;`)
+      lines: listRelations.map((relation) => `  readonly ${propKey({ name: relation.name })}?: boolean | { readonly where?: ${relation.target}WhereInput };`)
     }));
   }
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}Select`,
     lines: [
       ...model.fields.map((field) => `  readonly ${propKey({ name: field.name })}?: boolean;`),
@@ -758,21 +1046,21 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       ...hasCounts ? [countLine] : []
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}Include`,
     lines: [
       ...model.relations.map((relation) => `  readonly ${propKey({ name: relation.name })}?: ${relationSelectValue(relation)};`),
       ...hasCounts ? [countLine] : []
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}OmitInput`,
     lines: [
       ...model.fields.map((field) => `  readonly ${propKey({ name: field.name })}?: boolean;`),
       ...computedEntries.map((entry) => `  readonly ${propKey({ name: entry.field })}?: boolean;`)
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}Args`,
     lines: [
       `  readonly select?: ${n}Select;`,
@@ -781,7 +1069,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly relationStrategy?: RelationStrategy;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}ListRelationFilter`,
     lines: [
       `  readonly some?: ${n}WhereInput;`,
@@ -789,7 +1077,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly none?: ${n}WhereInput;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}RelationFilter`,
     lines: [`  readonly is?: ${n}WhereInput | null;`, `  readonly isNot?: ${n}WhereInput | null;`]
   }));
@@ -815,7 +1103,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       whereLines.push(`  readonly ${key}?: ${relation.target}RelationFilter | ${relation.target}WhereInput${relation.isOptional ? " | null" : ""};`);
     }
   }
-  parts.push(objectAlias({ name: `${n}WhereInput`, lines: whereLines }));
+  parts.push(inputAlias({ name: `${n}WhereInput`, lines: whereLines }));
   if (model.uniques.length === 0) {
     parts.push(`export type ${n}WhereUniqueInput = never;`);
   } else {
@@ -831,19 +1119,19 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
   | ${members.join(`
   | `)};`);
   }
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}OrderByInput`,
     lines: model.fields.map((field) => `  readonly ${propKey({ name: field.name })}?: ${field.isOptional ? "SortOrderWithNulls" : "SortOrder"};`)
   }));
-  parts.push(objectAlias({ name: `${n}CreateInput`, lines: checkedCreateLines({ model }) }));
-  parts.push(objectAlias({ name: `${n}UncheckedCreateInput`, lines: uncheckedCreateLines({ model }) }));
+  parts.push(inputAlias({ name: `${n}CreateInput`, lines: checkedCreateLines({ model }) }));
+  parts.push(inputAlias({ name: `${n}UncheckedCreateInput`, lines: uncheckedCreateLines({ model }) }));
   parts.push(`export type ${n}CreateManyInput = ${n}UncheckedCreateInput;`);
-  parts.push(objectAlias({ name: `${n}UpdateInput`, lines: checkedUpdateLines({ model }) }));
-  parts.push(objectAlias({ name: `${n}UncheckedUpdateInput`, lines: uncheckedUpdateLines({ model }) }));
+  parts.push(inputAlias({ name: `${n}UpdateInput`, lines: checkedUpdateLines({ model }) }));
+  parts.push(inputAlias({ name: `${n}UncheckedUpdateInput`, lines: uncheckedUpdateLines({ model }) }));
   parts.push(`export type ${n}UpdateManyInput = ${n}UncheckedUpdateInput;`);
   const numericFields = model.fields.filter((field) => !field.isList && field.scalar !== null && NUMERIC_SCALARS.has(field.scalar));
   const minmaxFields = model.fields.filter((field) => !field.isList && field.scalar !== null && MINMAX_SCALARS.has(field.scalar));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}CountAggregateInput`,
     lines: [
       ...model.fields.map((field) => `  readonly ${propKey({ name: field.name })}?: true;`),
@@ -852,7 +1140,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
   }));
   const aggregateOpProps = [`  readonly _count?: true | ${n}CountAggregateInput;`];
   if (numericFields.length > 0) {
-    parts.push(objectAlias({
+    parts.push(inputAlias({
       name: `${n}AvgAggregateInput`,
       lines: numericFields.map((field) => `  readonly ${propKey({ name: field.name })}?: true;`)
     }));
@@ -861,7 +1149,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
     aggregateOpProps.push(`  readonly _sum?: ${n}SumAggregateInput;`);
   }
   if (minmaxFields.length > 0) {
-    parts.push(objectAlias({
+    parts.push(inputAlias({
       name: `${n}MinAggregateInput`,
       lines: minmaxFields.map((field) => `  readonly ${propKey({ name: field.name })}?: true;`)
     }));
@@ -869,7 +1157,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
     aggregateOpProps.push(`  readonly _min?: ${n}MinAggregateInput;`);
     aggregateOpProps.push(`  readonly _max?: ${n}MaxAggregateInput;`);
   }
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}FindManyArgs`,
     lines: [
       `  readonly where?: ${n}WhereInput;`,
@@ -878,6 +1166,8 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly include?: ${n}Include;`,
       `  readonly omit?: ${n}OmitInput;`,
       `  readonly cursor?: ${n}WhereUniqueInput;`,
+      `  readonly after?: KeysetToken;`,
+      `  readonly keyset?: KeysetOptions;`,
       `  readonly take?: number;`,
       `  readonly skip?: number;`,
       `  readonly distinct?: ${orMany({ type: `${n}ScalarFieldEnum` })};`,
@@ -886,7 +1176,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
     ]
   }));
   parts.push(`export type ${n}FindFirstArgs = ${n}FindManyArgs;`);
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}FindUniqueArgs`,
     lines: [
       `  readonly where: ${n}WhereUniqueInput;`,
@@ -897,7 +1187,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly lock?: "update";`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}CreateArgs`,
     lines: [
       `  readonly data: ${n}CreateInput | ${n}UncheckedCreateInput;`,
@@ -907,7 +1197,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
     ]
   }));
   parts.push(`export type ${n}ConflictTarget = readonly ${n}ScalarFieldEnum[] | { readonly constraint: string };`);
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}CreateOnConflictInput`,
     lines: [
       `  readonly action: "nothing";`,
@@ -915,7 +1205,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly where?: string;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}CreateOrSkipArgs`,
     lines: [
       `  readonly data: ${n}CreateInput | ${n}UncheckedCreateInput;`,
@@ -925,14 +1215,14 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly omit?: ${n}OmitInput;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}CreateManyArgs`,
     lines: [
       `  readonly data: ${orMany({ type: `${n}CreateManyInput` })};`,
       `  readonly skipDuplicates?: boolean | { readonly target?: ${n}ConflictTarget; readonly where?: string };`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}CreateManyAndReturnArgs`,
     lines: [
       `  readonly data: ${orMany({ type: `${n}CreateManyInput` })};`,
@@ -941,10 +1231,21 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly omit?: ${n}OmitInput;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
+    name: `${n}UpsertManyArgs`,
+    lines: [
+      `  readonly data: readonly ${n}CreateManyInput[];`,
+      `  readonly conflictTarget: ${n}ConflictTarget;`,
+      `  readonly conflictWhere?: string;`,
+      `  readonly update: readonly ${n}ScalarFieldEnum[];`,
+      `  readonly skipUpdatedAt?: boolean;`,
+      `  readonly allowAnyUniqueConflict?: boolean;`
+    ]
+  }));
+  parts.push(inputAlias({
     name: `${n}UpdateArgs`,
     lines: [
-      `  readonly where: ${n}WhereUniqueInput;`,
+      `  readonly where: ${n}UpdateWhereInput;`,
       `  readonly data: ${n}UpdateInput | ${n}UncheckedUpdateInput;`,
       `  readonly select?: ${n}Select;`,
       `  readonly include?: ${n}Include;`,
@@ -952,7 +1253,9 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly skipUpdatedAt?: boolean;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(`/** update()'s where: a concrete unique selector AND any additional predicates (optimistic-concurrency guards such as \`{ id, version }\`). */
+export type ${n}UpdateWhereInput = ${n}WhereUniqueInput & ${n}WhereInput;`);
+  parts.push(inputAlias({
     name: `${n}UpdateManyArgs`,
     lines: [
       `  readonly where?: ${n}WhereInput;`,
@@ -960,7 +1263,18 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly skipUpdatedAt?: boolean;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
+    name: `${n}UpdateManyAndReturnArgs`,
+    lines: [
+      `  readonly include?: never;`,
+      `  readonly where?: ${n}WhereInput;`,
+      `  readonly data: ${n}UpdateManyInput;`,
+      `  readonly select?: ${n}Select;`,
+      `  readonly omit?: ${n}OmitInput;`,
+      `  readonly skipUpdatedAt?: boolean;`
+    ]
+  }));
+  parts.push(inputAlias({
     name: `${n}UpsertArgs`,
     lines: [
       `  readonly where: ${n}WhereUniqueInput;`,
@@ -972,7 +1286,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly omit?: ${n}OmitInput;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}DeleteArgs`,
     lines: [
       `  readonly where: ${n}WhereUniqueInput;`,
@@ -981,10 +1295,11 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly omit?: ${n}OmitInput;`
     ]
   }));
-  parts.push(objectAlias({ name: `${n}DeleteManyArgs`, lines: [`  readonly where?: ${n}WhereInput;`] }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({ name: `${n}DeleteManyArgs`, lines: [`  readonly where?: ${n}WhereInput;`] }));
+  parts.push(inputAlias({
     name: `${n}CountArgs`,
     lines: [
+      `  readonly select?: ${n}CountAggregateInput;`,
       `  readonly where?: ${n}WhereInput;`,
       `  readonly orderBy?: ${orMany({ type: `${n}OrderByInput` })};`,
       `  readonly cursor?: ${n}WhereUniqueInput;`,
@@ -992,7 +1307,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       `  readonly skip?: number;`
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}AggregateArgs`,
     lines: [
       `  readonly where?: ${n}WhereInput;`,
@@ -1003,7 +1318,7 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       ...aggregateOpProps
     ]
   }));
-  parts.push(objectAlias({
+  parts.push(inputAlias({
     name: `${n}GroupByArgs`,
     lines: [
       `  readonly by: readonly ${n}ScalarFieldEnum[];`,
@@ -1015,20 +1330,26 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
       ...aggregateOpProps
     ]
   }));
-  const falseFilter = (source) => `${source}[K] extends false | undefined ? never : K`;
-  parts.push(`type ${n}OmitBase<A> = A extends { readonly omit: infer O extends object } ? Omit<${n}, OmittedKeys<O>> : ${n};`);
+  const exactPart = (source) => `${source}[K] extends false | undefined ? never : false extends ${source}[K] ? never : undefined extends ${source}[K] ? never : K`;
+  const uncertainPart = (source) => `${source}[K] extends false | undefined ? never : false extends ${source}[K] ? K : undefined extends ${source}[K] ? K : never`;
+  parts.push(`type ${n}OmitBase<A> = A extends { readonly omit: infer O extends object }
+` + `  ? Omit<${n}, PossibleKeys<O> & keyof ${n}> & { [K in UncertainKeys<O> & keyof ${n}]?: ${n}[K] }
+` + `  : "omit" extends keyof A ? Omit<${n}, PossibleKeys<Provided<A["omit"]>> & keyof ${n}> & Partial<Pick<${n}, PossibleKeys<Provided<A["omit"]>> & keyof ${n}>> : ${n};`);
   if (hasCounts) {
     const listUnion = listRelations.map((relation) => tsString({ value: relation.name })).join(" | ");
     const allCounts = listRelations.map((relation) => `${propKey({ name: relation.name })}: number`).join("; ");
     parts.push(`type ${n}CountResult<C> = C extends { readonly select: infer CS extends object }
-` + `  ? { [K in keyof CS & (${listUnion}) as ${falseFilter("CS")}]: number }
+` + `  ? { [K in keyof CS & (${listUnion}) as ${exactPart("CS")}]: number } &
+` + `    { [K in keyof CS & (${listUnion}) as ${uncertainPart("CS")}]?: number }
 ` + `  : { ${allCounts} };`);
-    parts.push(`type ${n}CountPayload<S> = S extends { readonly _count: infer C extends true | object } ? { _count: ${n}CountResult<C> } : unknown;`);
+    parts.push(`type ${n}CountPayload<S> = S extends { readonly _count: infer C extends true | object } ? { _count: ${n}CountResult<C> }
+` + `  : S extends { readonly _count: false | undefined } ? unknown
+` + `  : S extends { readonly _count?: infer C extends boolean | object } ? { _count?: ${n}CountResult<C> } : unknown;`);
   }
   if (hasRelations) {
     const relationCases = model.relations.map((relation) => {
       const nested = `${relation.target}GetPayload<A>`;
-      const guard = `A extends { readonly select: unknown } | { readonly include: unknown } | { readonly omit: unknown }`;
+      const guard = `A extends object`;
       let expression;
       if (relation.isList) {
         expression = `${guard} ? ${nested}[] : ${relation.target}[]`;
@@ -1044,30 +1365,48 @@ ${model.relations.map((relation) => `  ${propKey({ name: relation.name })}: ${re
 ${relationCases}
 }[K];`);
     parts.push(`type ${n}IncludePayload<A> = A extends { readonly include: infer I extends object }
-` + `  ? { [K in keyof I & keyof ${n}Relations as ${falseFilter("I")}]: ${n}RelationPayload<K, I[K]> }${hasCounts ? ` & ${n}CountPayload<I>` : ""}
-` + `  : unknown;`);
+` + `  ? { [K in keyof I & keyof ${n}Relations as ${exactPart("I")}]: ${n}RelationPayload<K, I[K]> } &
+` + `    { [K in keyof I & keyof ${n}Relations as ${uncertainPart("I")}]?: ${n}RelationPayload<K, I[K]> }${hasCounts ? ` &
+    ${n}CountPayload<I>` : ""}
+` + `  : "include" extends keyof A ? Partial<${n}IncludePayload<{ include: Provided<A["include"]> }>> : unknown;`);
     parts.push(`export type ${n}GetPayload<A> = A extends { readonly select: infer S extends object }
-` + `  ? { [K in keyof S & ${selectableEnum} as ${falseFilter("S")}]: ${n}[K & keyof ${n}] } &
-` + `    { [K in keyof S & keyof ${n}Relations as ${falseFilter("S")}]: ${n}RelationPayload<K, S[K]> }${hasCounts ? ` &
+` + `  ? { [K in keyof S & ${selectableEnum} as ${exactPart("S")}]: ${n}[K & keyof ${n}] } &
+` + `    { [K in keyof S & ${selectableEnum} as ${uncertainPart("S")}]?: ${n}[K & keyof ${n}] } &
+` + `    { [K in keyof S & keyof ${n}Relations as ${exactPart("S")}]: ${n}RelationPayload<K, S[K]> } &
+` + `    { [K in keyof S & keyof ${n}Relations as ${uncertainPart("S")}]?: ${n}RelationPayload<K, S[K]> }${hasCounts ? ` &
     ${n}CountPayload<S>` : ""}
+` + `  : "select" extends keyof A ? Partial<${n}>
 ` + `  : ${n}OmitBase<A> & ${n}IncludePayload<A>;`);
   } else {
     parts.push(`export type ${n}GetPayload<A> = A extends { readonly select: infer S extends object }
-` + `  ? { [K in keyof S & ${selectableEnum} as ${falseFilter("S")}]: ${n}[K & keyof ${n}] }
-` + `  : ${n}OmitBase<A>;`);
+` + `  ? { [K in keyof S & ${selectableEnum} as ${exactPart("S")}]: ${n}[K & keyof ${n}] } &
+` + `    { [K in keyof S & ${selectableEnum} as ${uncertainPart("S")}]?: ${n}[K & keyof ${n}] }
+` + `  : "select" extends keyof A ? Partial<${n}> : ${n}OmitBase<A>;`);
   }
-  parts.push(`export type ${n}AggregateResult<A> = {
-` + `  [K in keyof A & (${AGGREGATE_OPS_UNION})]:
-` + `    K extends "_count" ? (A[K] extends true ? number : { [F in keyof A[K]]: number })
-` + `    : K extends "_avg" ? { [F in keyof A[K]]: number | null }
-` + `    : { [F in keyof A[K] & keyof ${n}]: ${n}[F & keyof ${n}] | null };
-` + `};`);
+  const aggregateFields = (fields, value) => `{ ${fields.map((field) => `${propKey({ name: field.name })}: ${value(field)}`).join("; ")} }`;
+  const countValues = aggregateFields(model.fields, () => "number").replace(" }", "; _all: number }");
+  parts.push(`type ${n}AggregateValues = {
+` + `  _count: ${countValues};
+` + `  _avg: ${aggregateFields(numericFields, () => "number | null")};
+` + `  _sum: ${aggregateFields(numericFields, (field) => `${n}[${tsString({ value: field.name })}] | null`)};
+` + `  _min: ${aggregateFields(minmaxFields, (field) => `${n}[${tsString({ value: field.name })}] | null`)};
+` + `  _max: ${aggregateFields(minmaxFields, (field) => `${n}[${tsString({ value: field.name })}] | null`)};
+};`);
+  parts.push(`type ${n}AggregateSelection<V, S> = S extends true ? number : S extends object
+` + `  ? { [K in keyof S & keyof V as ${exactPart("S")}]: V[K] } &
+` + `    { [K in keyof S & keyof V as ${uncertainPart("S")}]?: V[K] } : never;`);
+  parts.push(`type ${n}CountOutput<A> = A extends { readonly select: infer S extends object }
+` + `  ? ${n}AggregateSelection<${n}AggregateValues["_count"], S>
+` + `  : "select" extends keyof A ? number | ${n}AggregateSelection<${n}AggregateValues["_count"], Provided<A["select"]>> : number;`);
+  parts.push(`export type ${n}AggregateResult<A> =
+` + `  { [K in keyof A & keyof ${n}AggregateValues as HasSelectedField<A[K]> extends true ? K : never]: ${n}AggregateSelection<${n}AggregateValues[K], A[K]> } &
+` + `  { [K in keyof A & keyof ${n}AggregateValues as HasSelectedField<A[K]> extends true ? never : K]?: ${n}AggregateSelection<${n}AggregateValues[K], Provided<A[K]>> };`);
   parts.push(`export type ${n}GroupByResult<A extends ${n}GroupByArgs> =
-` + `  { [K in A["by"][number]]: ${n}[K & keyof ${n}] } & ${n}AggregateResult<A>;`);
+` + `  (number extends A["by"]["length"] ? Partial<Pick<${n}, A["by"][number]>> : Pick<${n}, A["by"][number]>) & ${n}AggregateResult<A>;`);
   const readMethods = [
-    `  findMany<A extends ${n}FindManyArgs = ${n}FindManyArgs>(args?: A): Promise<${n}GetPayload<A>[]>;`,
-    `  findFirst<A extends ${n}FindFirstArgs = ${n}FindFirstArgs>(args?: A): Promise<${n}GetPayload<A> | null>;`,
-    `  findFirstOrThrow<A extends ${n}FindFirstArgs = ${n}FindFirstArgs>(args?: A): Promise<${n}GetPayload<A>>;`,
+    `  findMany<A extends ${n}FindManyArgs = {}>(args?: A): Promise<${n}GetPayload<A>[]>;`,
+    `  findFirst<A extends ${n}FindFirstArgs = {}>(args?: A): Promise<${n}GetPayload<A> | null>;`,
+    `  findFirstOrThrow<A extends ${n}FindFirstArgs = {}>(args?: A): Promise<${n}GetPayload<A>>;`,
     `  findUnique<A extends ${n}FindUniqueArgs>(args: A): Promise<${n}GetPayload<A> | null>;`,
     `  findUniqueOrThrow<A extends ${n}FindUniqueArgs>(args: A): Promise<${n}GetPayload<A>>;`
   ];
@@ -1078,14 +1417,16 @@ ${relationCases}
     `  createManyAndReturn<A extends ${n}CreateManyAndReturnArgs>(args: A): Promise<${n}GetPayload<A>[]>;`,
     `  update<A extends ${n}UpdateArgs>(args: A): Promise<${n}GetPayload<A>>;`,
     `  updateMany(args: ${n}UpdateManyArgs): Promise<BatchPayload>;`,
+    `  updateManyAndReturn<A extends ${n}UpdateManyAndReturnArgs>(args: A): Promise<${n}GetPayload<A>[]>;`,
     `  upsert<A extends ${n}UpsertArgs>(args: A): Promise<${n}GetPayload<A>>;`,
+    `  upsertMany(args: ${n}UpsertManyArgs): Promise<UpsertManyPayload>;`,
     `  delete<A extends ${n}DeleteArgs>(args: A): Promise<${n}GetPayload<A>>;`,
     `  deleteMany(args?: ${n}DeleteManyArgs): Promise<BatchPayload>;`
   ];
   const aggregateMethods = [
-    `  count(args?: ${n}CountArgs): Promise<number>;`,
+    `  count<A extends ${n}CountArgs = {}>(args?: A): Promise<${n}CountOutput<A>>;`,
     `  aggregate<A extends ${n}AggregateArgs>(args: A): Promise<${n}AggregateResult<A>>;`,
-    `  groupBy<A extends ${n}GroupByArgs>(args: A): Promise<${n}GroupByResult<A>[]>;`
+    `  groupBy<const A extends ${n}GroupByArgs>(args: A): Promise<${n}GroupByResult<A>[]>;`
   ];
   const delegateMethods = model.isView ? [...readMethods, ...aggregateMethods] : [...readMethods, ...writeMethods, ...aggregateMethods];
   delegateMethods.push(...params.extensionLines ?? []);
@@ -1154,49 +1495,54 @@ function emitViewTypesForModel(params) {
       `  readonly relationStrategy?: RelationStrategy;`
     ]
   }));
-  const falseFilter = (source) => `${source}[K] extends false | undefined ? never : K`;
+  const exactPart = (source) => `${source}[K] extends false | undefined ? never : false extends ${source}[K] ? never : undefined extends ${source}[K] ? never : K`;
+  const uncertainPart = (source) => `${source}[K] extends false | undefined ? never : false extends ${source}[K] ? K : undefined extends ${source}[K] ? K : never`;
   parts.push(`type ${n}ViewSelectScalars<F, A> = A extends { readonly select: infer S extends object }
-` + `  ? { [K in keyof S & keyof F & ${n}ScalarFieldEnum as ${falseFilter("S")}]: ${n}[K & keyof ${n}] }
-` + `  : ${n}ViewScalars<F>;`);
+` + `  ? { [K in keyof S & keyof F & ${n}ScalarFieldEnum as ${exactPart("S")}]: ${n}[K & keyof ${n}] } &
+` + `    { [K in keyof S & keyof F & ${n}ScalarFieldEnum as ${uncertainPart("S")}]?: ${n}[K & keyof ${n}] }
+` + `  : "select" extends keyof A ? Partial<${n}ViewScalars<F>> : ${n}ViewScalars<F>;`);
   parts.push(`type ${n}ViewReveal<A> = A extends { readonly reveal: infer R extends object }
-` + `  ? { [K in keyof R & ${n}ScalarFieldEnum as ${falseFilter("R")}]: ${n}[K & keyof ${n}] }
-` + `  : unknown;`);
+` + `  ? { [K in keyof R & ${n}ScalarFieldEnum as ${exactPart("R")}]: ${n}[K & keyof ${n}] } &
+` + `    { [K in keyof R & ${n}ScalarFieldEnum as ${uncertainPart("R")}]?: ${n}[K & keyof ${n}] }
+` + `  : "reveal" extends keyof A ? Partial<${n}ViewReveal<{ reveal: NonNullable<A["reveal"]> }>> : unknown;`);
   if (hasRelations) {
     const relationCases = model.relations.map((relation) => {
       const target = relation.target;
       const targetClientKey = view.modelByName.get(target)?.clientName ?? target;
       const guard = `D extends { readonly ${propKey({ name: targetClientKey })}: infer RF extends object }`;
-      const masked = `ViewRow<${target}ViewScalars<RF>>`;
+      const masked = `ViewRow<${target}ViewSelectScalars<RF, A> & ${target}ViewReveal<A>>`;
+      const unmasked = `(A extends object ? ${target}GetPayload<A> : ${target})`;
       let expression;
       if (relation.isList) {
-        expression = `${guard} ? ${masked}[] : ${target}[]`;
+        expression = `${guard} ? ${masked}[] : ${unmasked}[]`;
       } else if (relation.isOptional) {
-        expression = `(${guard} ? ${masked} : ${target}) | null`;
+        expression = `(${guard} ? ${masked} : ${unmasked}) | null`;
       } else {
-        expression = `${guard} ? ${masked} : ${target}`;
+        expression = `${guard} ? ${masked} : ${unmasked}`;
       }
       return `  ${propKey({ name: relation.name })}: ${expression};`;
     }).join(`
 `);
-    parts.push(`type ${n}ViewRelationResult<K extends keyof ${n}Relations, D> = {
+    parts.push(`type ${n}ViewRelationResult<K extends keyof ${n}Relations, D, A> = {
 ${relationCases}
 }[K];`);
     parts.push(`type ${n}ViewIncludeResult<A, D> = A extends { readonly include: infer I extends object }
-` + `  ? { [K in keyof I & keyof ${n}Relations as ${falseFilter("I")}]: ${n}ViewRelationResult<K, D> }
-` + `  : unknown;`);
+` + `  ? { [K in keyof I & keyof ${n}Relations as ${exactPart("I")}]: ${n}ViewRelationResult<K, D, I[K]> } &
+` + `    { [K in keyof I & keyof ${n}Relations as ${uncertainPart("I")}]?: ${n}ViewRelationResult<K, D, I[K]> }
+` + `  : "include" extends keyof A ? Partial<${n}ViewIncludeResult<{ include: NonNullable<A["include"]> }, D>> : unknown;`);
     parts.push(`export type ${n}ViewResult<F, A, D> = ViewRow<${n}ViewSelectScalars<F, A> & ${n}ViewReveal<A> & ${n}ViewIncludeResult<A, D>>;`);
   } else {
     parts.push(`export type ${n}ViewResult<F, A, D> = ViewRow<${n}ViewSelectScalars<F, A> & ${n}ViewReveal<A>>;`);
   }
   parts.push(`export type ${n}ViewDelegate<F, D extends ViewDefinitionInput = ViewDefinitionInput> = {
-` + `  findMany<A extends ${n}ViewFindManyArgs = ${n}ViewFindManyArgs>(args?: A): Promise<${n}ViewResult<F, A, D>[]>;
-` + `  findFirst<A extends ${n}ViewFindManyArgs = ${n}ViewFindManyArgs>(args?: A): Promise<${n}ViewResult<F, A, D> | null>;
-` + `  findFirstOrThrow<A extends ${n}ViewFindManyArgs = ${n}ViewFindManyArgs>(args?: A): Promise<${n}ViewResult<F, A, D>>;
+` + `  findMany<A extends ${n}ViewFindManyArgs = {}>(args?: A): Promise<${n}ViewResult<F, A, D>[]>;
+` + `  findFirst<A extends ${n}ViewFindManyArgs = {}>(args?: A): Promise<${n}ViewResult<F, A, D> | null>;
+` + `  findFirstOrThrow<A extends ${n}ViewFindManyArgs = {}>(args?: A): Promise<${n}ViewResult<F, A, D>>;
 ` + `  findUnique<A extends ${n}ViewFindUniqueArgs>(args: A): Promise<${n}ViewResult<F, A, D> | null>;
 ` + `  findUniqueOrThrow<A extends ${n}ViewFindUniqueArgs>(args: A): Promise<${n}ViewResult<F, A, D>>;
-` + `  count(args?: ${n}CountArgs): Promise<number>;
+` + `  count<A extends ${n}CountArgs = {}>(args?: A): Promise<${n}CountOutput<A>>;
 ` + `  aggregate<A extends ${n}AggregateArgs>(args: A): Promise<${n}AggregateResult<A>>;
-` + `  groupBy<A extends ${n}GroupByArgs>(args: A): Promise<${n}GroupByResult<A>[]>;
+` + `  groupBy<const A extends ${n}GroupByArgs>(args: A): Promise<${n}GroupByResult<A>[]>;
 ` + `};`);
   return parts.join(`
 
@@ -1243,9 +1589,176 @@ function jsonTypeImportLines(params) {
   }
   return [...bySpecifier.keys()].sort().map((from) => `import type { ${[...bySpecifier.get(from)].sort().join(", ")} } from ${tsString({ value: from })};`);
 }
+function hasNativeRls(params) {
+  return params.view.schema.rls !== undefined;
+}
+var RLS_CONTEXT_TYPES = {
+  String: "string",
+  Boolean: "boolean",
+  Int: "number",
+  BigInt: "bigint",
+  Float: "number",
+  Decimal: "string",
+  DateTime: "Date"
+};
+function emitRlsSection(params) {
+  const rls = params.view.schema.rls;
+  if (rls === undefined)
+    return [];
+  const lines = Object.entries(rls.context).map(([key, slot]) => `  readonly ${propKey({ name: key })}: ${RLS_CONTEXT_TYPES[slot.type]}${slot.nullable ? " | null" : ""};`);
+  const doc = `/** The identity context every query on this schema must be bound to \u2014 all slots required, an explicit null included. */`;
+  return [
+    banner({ title: "Native row-level security" }),
+    lines.length === 0 ? `${doc}
+export type RlsContext = Record<string, never>;` : `${doc}
+export type RlsContext = {
+${lines.join(`
+`)}
+};`
+  ];
+}
+function instanceSurfaceLines(params) {
+  const { view, selfType } = params;
+  const delegateProps = view.models.map((model) => `  readonly ${propKey({ name: model.clientName })}: ${model.name}Delegate;`);
+  const modelsProps = view.models.flatMap((model) => {
+    const byClientName = `    readonly ${propKey({ name: model.clientName })}: ${model.name}Delegate;`;
+    return model.name === model.clientName ? [byClientName] : [byClientName, `    readonly ${propKey({ name: model.name })}: ${model.name}Delegate;`];
+  });
+  return `${delegateProps.join(`
+`)}
+` + `  /** Delegates keyed by BOTH camelCase client name and model name \u2014 the same objects as the top-level properties (dynamic access). */
+` + `  readonly $models: {
+${modelsProps.join(`
+`)}
+  };
+` + `  /** Subscribe to client events ("query" fires after every statement, with the same payload as onQuery \u2014 both fire). Returns an unsubscribe function. */
+` + `  readonly $on: (event: "query", listener: (event: QueryEvent) => void) => () => void;
+` + `  /** ONE transaction. Callback form: everything on \`tx\` rides the same BEGIN/COMMIT; a throw rolls back. Array form (Prisma parity): UN-AWAITED delegate calls run sequentially in one transaction, results returned positionally. */
+` + `  readonly $transaction: {
+` + `    <T>(fn: (tx: ${selfType}) => Promise<T>, options?: TransactionOptions): Promise<T>;
+` + `    <T extends readonly unknown[]>(operations: readonly [...T], options?: TransactionOptions): Promise<{ -readonly [K in keyof T]: Awaited<T[K]> }>;
+` + `  };
+` + `  readonly $queryRaw: <T = Record<string, unknown>>(strings: TemplateStringsArray, ...values: unknown[]) => Promise<T[]>;
+` + `  readonly $executeRaw: (strings: TemplateStringsArray, ...values: unknown[]) => Promise<number>;
+` + `  readonly $queryRawUnsafe: <T = Record<string, unknown>>(text: string, ...values: unknown[]) => Promise<T[]>;
+` + `  readonly $executeRawUnsafe: (text: string, ...values: unknown[]) => Promise<number>;
+` + `  readonly $connect: () => Promise<void>;
+` + `  readonly $disconnect: () => Promise<void>;
+` + `  /** Field-masking views (v1 defineView parity): a read-only masked projection of models. */
+` + `  readonly $defineView: <D extends ViewDefinitionInput>(options: { readonly name: string; readonly definition: D }) => ViewClient<D>;
+`;
+}
+function telemetryDeclarations() {
+  return [
+    `/** One SQL execution inside an operation. Parameter values are redacted; \`sql\` and \`parameters\` appear only with the matching capture option. */`,
+    `export type VibeTelemetryStatementEvent = {`,
+    `  readonly operationId: string;`,
+    `  readonly index: number;`,
+    `  readonly kind: "rows" | "affected" | "raw" | "extension";`,
+    `  readonly model: string | null;`,
+    `  readonly method: string;`,
+    `  readonly dialect: string;`,
+    `  readonly provider: string;`,
+    `  /** Stable normalized grouping key \u2014 bounded and literal-free, safe as a metric label. */`,
+    `  readonly fingerprint: string;`,
+    `  readonly outcome: "success" | "failure";`,
+    `  /** Adapter-call elapsed time: networking and possibly pool wait included \u2014 not pure server execution time. */`,
+    `  readonly durationMs: number;`,
+    `  readonly parameterCount: number;`,
+    `  readonly inTransaction: boolean;`,
+    `  readonly rowCount?: number;`,
+    `  readonly errorCode?: string;`,
+    `  readonly slow?: boolean;`,
+    `  readonly sql?: string;`,
+    `  readonly parameters?: readonly unknown[];`,
+    `};`,
+    ``,
+    `/** One public ORM call, start to terminal outcome. Emitted exactly once. Unknown values are ABSENT, never zero. */`,
+    `export type VibeTelemetryOperationEvent = {`,
+    `  readonly operationId: string;`,
+    `  readonly parentOperationId?: string;`,
+    `  readonly context?: unknown;`,
+    `  readonly kind: "model" | "raw" | "transaction" | "extension";`,
+    `  readonly model: string | null;`,
+    `  readonly method: string;`,
+    `  readonly dialect: string;`,
+    `  readonly provider: string;`,
+    `  readonly outcome: "success" | "failure";`,
+    `  readonly stage: "refused" | "validation" | "statement" | "decode" | "transaction" | "completed" | "unknown";`,
+    `  readonly dispatched: boolean;`,
+    `  readonly startedAt?: number;`,
+    `  readonly durationMs?: number;`,
+    `  /** Creation to dispatch \u2014 labelled separately, never folded into durationMs. */`,
+    `  readonly queueWaitMs?: number;`,
+    `  readonly statementCount: number;`,
+    `  readonly statementDurationMs?: number;`,
+    `  readonly rowCount?: number;`,
+    `  readonly errorCode?: string;`,
+    `  readonly detail?: { readonly renderMs?: number; readonly adapterMs?: number; readonly processingMs?: number };`,
+    `  readonly statements: readonly VibeTelemetryStatementEvent[];`,
+    `  readonly droppedStatements?: number;`,
+    `  readonly slow?: boolean;`,
+    `  readonly sampled: true;`,
+    `};`,
+    ``,
+    `/** Where events go. A throw from any callback is contained: it can never change a database outcome. */`,
+    `export type VibeTelemetryExporter = {`,
+    `  readonly onOperation?: (event: VibeTelemetryOperationEvent) => void;`,
+    `  readonly onStatement?: (event: VibeTelemetryStatementEvent) => void;`,
+    `  readonly onDrop?: (event: { readonly reason: "buffer_full" | "statement_limit"; readonly count: number }) => void;`,
+    `  readonly flush?: () => void | Promise<void>;`,
+    `  /** NEVER called by the client \u2014 \`$disconnect()\` flushes only, because the provider is yours. */`,
+    `  readonly shutdown?: () => void | Promise<void>;`,
+    `};`,
+    ``,
+    `/** Complete counters (spans may be sampled, these are not) and explicit lifecycle. */`,
+    `export type VibeTelemetryHandle = {`,
+    `  readonly metrics: () => {`,
+    `    readonly countsRepresent: "all";`,
+    `    readonly sampleRate: number;`,
+    `    readonly sampledOperations: number;`,
+    `    readonly operations: { readonly total: number; readonly failed: number; readonly refused: number };`,
+    `    readonly statements: { readonly total: number; readonly failed: number };`,
+    `    readonly rows: { readonly known: number; readonly total: number };`,
+    `    readonly operationLatencyMs: { readonly bounds: readonly number[]; readonly counts: readonly number[]; readonly sum: number; readonly count: number };`,
+    `    readonly statementLatencyMs: { readonly bounds: readonly number[]; readonly counts: readonly number[]; readonly sum: number; readonly count: number };`,
+    `    readonly dropped: { readonly operations: number; readonly statements: number };`,
+    `  };`,
+    `  readonly flush: () => Promise<void>;`,
+    `  readonly shutdown: () => Promise<void>;`,
+    `};`,
+    ``,
+    `/** Opt-in operation telemetry. Defaults are conservative: no SQL text, no parameter values, no sampling. */`,
+    `export type VibeTelemetryOptions = {`,
+    `  readonly exporter: VibeTelemetryExporter;`,
+    `  /** Attach rendered SQL text (default false \u2014 raw text can embed secrets). */`,
+    `  readonly captureSql?: boolean;`,
+    `  /** Attach parameter VALUES (default false \u2014 only the count is reported). */`,
+    `  readonly captureParameterValues?: boolean;`,
+    `  /** Split render / adapter / processing time on the operation event (default false). */`,
+    `  readonly detailedTimings?: boolean;`,
+    `  /** Span sampling probability, 0..1 (default 1). Counters still count every execution. */`,
+    `  readonly sampleRate?: number;`,
+    `  readonly sampler?: (input: { readonly kind: "model" | "raw" | "transaction" | "extension"; readonly model: string | null; readonly method: string; readonly context?: unknown }) => boolean;`,
+    `  /** Read your current parent context SYNCHRONOUSLY at call time, so an application span survives the async boundary. */`,
+    `  readonly context?: () => unknown;`,
+    `  readonly delivery?: "immediate" | "buffered";`,
+    `  readonly maxBufferedOperations?: number;`,
+    `  readonly maxStatementsPerOperation?: number;`,
+    `  readonly slowStatementMs?: number;`,
+    `  readonly slowOperationMs?: number;`,
+    `  readonly onExporterError?: (params: { readonly error: unknown; readonly phase: "operation" | "statement" | "drop" | "flush" | "shutdown" | "sampler" | "context" }) => void;`,
+    `  /** Called once while the client is built, with the handle that owns metrics and lifecycle. */`,
+    `  readonly onReady?: (handle: VibeTelemetryHandle) => void;`,
+    `};`
+  ].join(`
+`);
+}
 function emitClient(params) {
   const { view, baked, hasComputed } = params;
+  const nativeRls = hasNativeRls({ view });
   const parts = [banner({ title: "Client" })];
+  parts.push(telemetryDeclarations());
   parts.push(objectAlias({
     name: "VibeClientOptions",
     lines: [
@@ -1256,6 +1769,10 @@ function emitClient(params) {
       `  readonly defaultOrderByPk?: boolean;`,
       `  /** Append the primary key as a tie-breaker to \`distinct\` ordering (default true) \u2014 pins WHICH row represents each distinct key. */`,
       `  readonly distinctOrderByPk?: boolean;`,
+      `  /** Opt-in write-boundary validators, per model \xD7 field: \`{ User: { email: zodSchema } }\`. Any Standard Schema validator (zod, valibot, arktype) works; they run on every write path before encoding. */`,
+      `  readonly validate?: WriteValidators;`,
+      `  /** Opt-in operation telemetry: one event per public ORM call, with the statements it ran. Parameter values are redacted by default and the exporter can never change a database outcome. */`,
+      `  readonly telemetry?: VibeTelemetryOptions;`,
       ...baked.empty ? [] : [
         `  /** The live extension instances \u2014 verified against the baked manifest. */`,
         `  readonly extensions?: readonly VibeExtension[];`
@@ -1263,41 +1780,32 @@ function emitClient(params) {
       ...hasComputed ? [
         `  /** The live computed-field config \u2014 verified against the baked manifest (VIBE_STALE_CLIENT). */`,
         `  readonly computed: ComputedConfig;`
+      ] : [],
+      ...nativeRls ? [
+        `  /** Native row-level security: the non-bypassing database role the runtime binds each transaction to (required on PGlite; server connections log in as it). */`,
+        `  readonly nativeRls?: { readonly runtimeRole?: string };`
       ] : []
     ]
   }));
-  const delegateProps = view.models.map((model) => `  readonly ${propKey({ name: model.clientName })}: ${model.name}Delegate;`);
-  const modelsProps = view.models.flatMap((model) => {
-    const byClientName = `    readonly ${propKey({ name: model.clientName })}: ${model.name}Delegate;`;
-    return model.name === model.clientName ? [byClientName] : [byClientName, `    readonly ${propKey({ name: model.name })}: ${model.name}Delegate;`];
-  });
   const clientExtensionLines = baked.clientDts.length === 0 ? "" : `${baked.clientDts.join(`
 `)}
 `;
-  parts.push(`export type VibeClientInstance = {
-` + `${delegateProps.join(`
-`)}
-` + `  /** Delegates keyed by BOTH camelCase client name and model name \u2014 the same objects as the top-level properties (dynamic access). */
-` + `  readonly $models: {
-${modelsProps.join(`
-`)}
-  };
+  if (nativeRls) {
+    parts.push(`export type BoundVibeClientInstance = {
+` + instanceSurfaceLines({ view, selfType: "BoundVibeClientInstance" }) + clientExtensionLines + `};`);
+    parts.push(`export type VibeClientInstance = {
+` + `  /** Bind the request's identity context \u2014 ALL of it, every declared slot \u2014 and get the client that can actually query. */
+` + `  readonly $withContext: (context: RlsContext) => BoundVibeClientInstance;
 ` + `  /** Subscribe to client events ("query" fires after every statement, with the same payload as onQuery \u2014 both fire). Returns an unsubscribe function. */
 ` + `  readonly $on: (event: "query", listener: (event: QueryEvent) => void) => () => void;
-` + `  /** ONE transaction. Callback form: everything on \`tx\` rides the same BEGIN/COMMIT; a throw rolls back. Array form (Prisma parity): UN-AWAITED delegate calls run sequentially in one transaction, results returned positionally. */
-` + `  readonly $transaction: {
-` + `    <T>(fn: (tx: VibeClientInstance) => Promise<T>, options?: TransactionOptions): Promise<T>;
-` + `    <T extends readonly unknown[]>(operations: readonly [...T], options?: TransactionOptions): Promise<{ -readonly [K in keyof T]: Awaited<T[K]> }>;
-` + `  };
-` + `  readonly $queryRaw: <T = Record<string, unknown>>(strings: TemplateStringsArray, ...values: unknown[]) => Promise<T[]>;
-` + `  readonly $executeRaw: (strings: TemplateStringsArray, ...values: unknown[]) => Promise<number>;
-` + `  readonly $queryRawUnsafe: <T = Record<string, unknown>>(text: string, ...values: unknown[]) => Promise<T[]>;
-` + `  readonly $executeRawUnsafe: (text: string, ...values: unknown[]) => Promise<number>;
 ` + `  readonly $connect: () => Promise<void>;
 ` + `  readonly $disconnect: () => Promise<void>;
-` + `  /** Field-masking views (v1 defineView parity): a read-only masked projection of models. */
-` + `  readonly $defineView: <D extends ViewDefinitionInput>(options: { readonly name: string; readonly definition: D }) => ViewClient<D>;
-` + policyClientLines({ view }) + scopedClientLines({ view }) + clientExtensionLines + `};`);
+` + `  // Deliberately ABSENT: model delegates, $models, $transaction, $queryRaw / $executeRaw / $queryRawUnsafe / $executeRawUnsafe, $defineView and every extension mount \u2014 an unbound client has no identity, so it cannot read or write a row. Bind one with $withContext.
+` + `};`);
+  } else {
+    parts.push(`export type VibeClientInstance = {
+` + instanceSurfaceLines({ view, selfType: "VibeClientInstance" }) + policyClientLines({ view }) + scopedClientLines({ view }) + clientExtensionLines + `};`);
+  }
   parts.push(`/** Build a typed client over a database adapter. */
 export declare function VibeClient(options: VibeClientOptions): VibeClientInstance;`);
   parts.push(`/** The normalized Schema IR this client was generated from (plain data). */
@@ -1311,6 +1819,8 @@ function scopedColumnCandidates(params) {
 }
 function emitScopedSection(params) {
   const { view } = params;
+  if (hasNativeRls({ view }))
+    return [];
   if (view.models.some((model) => model.policy !== undefined))
     return [];
   const entries = view.models.map((model) => {
@@ -1327,10 +1837,11 @@ function emitScopedSection(params) {
     }
     return `  readonly ${propKey({ name: model.name })}: ${arms.join(" | ")};`;
   });
-  const delegateProps = view.models.map((model) => `  readonly ${propKey({ name: model.clientName })}: ${model.name}Delegate;`);
+  const scopedDelegateType = (model) => `${model.name}Delegate`;
+  const delegateProps = view.models.map((model) => `  readonly ${propKey({ name: model.clientName })}: ${scopedDelegateType(model)};`);
   const modelsProps = view.models.flatMap((model) => {
-    const byClientName = `    readonly ${propKey({ name: model.clientName })}: ${model.name}Delegate;`;
-    return model.name === model.clientName ? [byClientName] : [byClientName, `    readonly ${propKey({ name: model.name })}: ${model.name}Delegate;`];
+    const byClientName = `    readonly ${propKey({ name: model.clientName })}: ${scopedDelegateType(model)};`;
+    return model.name === model.clientName ? [byClientName] : [byClientName, `    readonly ${propKey({ name: model.name })}: ${scopedDelegateType(model)};`];
   });
   return [
     banner({ title: "Tenant scoping ($scoped)" }),
@@ -1365,6 +1876,8 @@ ${modelsProps.join(`
   ];
 }
 function scopedClientLines(params) {
+  if (hasNativeRls(params))
+    return "";
   if (params.view.models.some((model) => model.policy !== undefined))
     return "";
   return `  /** Tenant scoping: a total per-model tenancy map + a scope value \u2192 a NEW handle whose every call is confined to that tenant. scope: null builds the handle but refuses calls on scoped models. */
@@ -1401,24 +1914,27 @@ function emitDts(params) {
     computedByModel.set(entry.model, list);
   }
   const parts = [];
-  parts.push(`// Generated by VibeORM (@vibeorm/generator) \u2014 DO NOT EDIT.
-// Regenerate with \`vibeorm generate\` after every schema change.`);
+  parts.push(GENERATED_HEADER);
   const schemaTypeImports = [
     "SchemaIR",
     ...baked.empty ? [] : ["VibeExtension"],
     ...hasComputed ? ["ComputedConfig"] : []
   ].sort();
   const importLines = [
-    `import type { DatabaseAdapter, DbNow, QueryEvent, TransactionOptions } from "@vibeorm/runtime";`,
+    `import type { DatabaseAdapter, DbNow, QueryEvent, Skip, TransactionOptions, WriteValidators } from "@vibeorm/runtime";`,
     `import type { ${schemaTypeImports.join(", ")} } from "@vibeorm/schema";`,
     ...jsonTypeImportLines({ view }),
-    ...baked.dtsImports
+    ...baked.dtsImports,
+    `import { ${enumEntryExports({ view }).join(", ")} } from "./enums.js";`
   ];
   parts.push(`${importLines.join(`
 `)}
 
 ` + `export { VibeError } from "@vibeorm/schema";
-export type { VibeErrorCode } from "@vibeorm/schema";`);
+export type { VibeErrorCode } from "@vibeorm/schema";
+` + `export { SKIP } from "@vibeorm/runtime";
+export type { Skip } from "@vibeorm/runtime";
+` + `export { ${enumEntryExports({ view }).join(", ")} };`);
   parts.push(PREAMBLE);
   parts.push(...filterSection());
   for (const declared of view.enums)
@@ -1449,6 +1965,7 @@ export type { VibeErrorCode } from "@vibeorm/schema";`);
   }
   parts.push(...emitViewSection({ view }));
   parts.push(...emitScopedSection({ view }));
+  parts.push(...emitRlsSection({ view }));
   parts.push(emitClient({ view, baked, hasComputed }));
   return `${parts.join(`
 
@@ -1456,82 +1973,9 @@ export type { VibeErrorCode } from "@vibeorm/schema";`);
 `;
 }
 
-// packages/generator/src/emit-js.ts
-function emitJs(params) {
-  const { view } = params;
-  const baked = params.baked ?? EMPTY_BAKED_EXTENSIONS;
-  const computed = params.computed ?? [];
-  const hasComputed = computed.length > 0;
-  const parts = [];
-  parts.push(`// Generated by VibeORM (@vibeorm/generator) \u2014 DO NOT EDIT.
-// Regenerate with \`vibeorm generate\` after every schema change.`);
-  parts.push(`import { createClient } from "@vibeorm/runtime";`);
-  if (baked.jsImports.length > 0)
-    parts.push(baked.jsImports.join(`
-`));
-  parts.push(`export { VibeError } from "@vibeorm/schema";`);
-  parts.push(`/** The normalized Schema IR this client was generated from (plain data). */
-export const schema = ${stableStringify({ value: view.schema })};`);
-  for (const declared of view.enums) {
-    const entries = declared.values.map((value) => `  ${tsString({ value })}: ${tsString({ value })},`).join(`
-`);
-    parts.push(`export const ${declared.name} = Object.freeze({
-${entries}
-});`);
-  }
-  if (baked.empty && !hasComputed) {
-    parts.push(`/** Build a typed client over a database adapter. */
-` + `export function VibeClient(options) {
-` + `  const { adapter, ...clientOptions } = options;
-` + `  return createClient({ schema, adapter, options: clientOptions });
-` + `}`);
-    return `${parts.join(`
-
-`)}
-`;
-  }
-  if (!baked.empty) {
-    parts.push(`/** Extension manifest \u2014 verified against the live extension list (VIBE_STALE_CLIENT). */
-` + `const extensionManifest = ${stableStringify({ value: baked.manifest })};`);
-    parts.push(`/** Baked extension surfaces (extensions.md D9). */
-` + `const extensionMounts = [
-${baked.mounts.map((mount) => `  ${mount},`).join(`
-`)}
-];`);
-  }
-  if (hasComputed) {
-    parts.push(`/** Computed-field manifest \u2014 verified against the live computed config (VIBE_STALE_CLIENT). */
-` + `const computedManifest = ${stableStringify({ value: computed })};`);
-  }
-  const destructured = [
-    "adapter",
-    ...baked.empty ? [] : ["extensions"],
-    ...hasComputed ? ["computed"] : [],
-    "...clientOptions"
-  ].join(", ");
-  const createLines = [
-    `    schema,`,
-    `    adapter,`,
-    `    options: clientOptions,`,
-    ...baked.empty ? [] : [`    extensions: { manifest: extensionManifest, mounts: extensionMounts, instances: extensions ?? [] },`],
-    ...hasComputed ? [`    computed: { manifest: computedManifest, specs: computed },`] : []
-  ];
-  parts.push(`/** Build a typed client over a database adapter. */
-` + `export function VibeClient(options) {
-` + `  const { ${destructured} } = options;
-` + `  return createClient({
-${createLines.join(`
-`)}
-  });
-` + `}`);
-  return `${parts.join(`
-
-`)}
-`;
-}
-
 // packages/generator/src/schema-view.ts
-import { VibeError as VibeError4, assertValidSchemaIR, isEnumType } from "@vibeorm/schema";
+import { VibeError as VibeError4, assertValidSchemaIR, enumStorageOf, isEnumType } from "@vibeorm/schema";
+import { postgresDialect, renderRlsPolicy } from "@vibeorm/sql";
 var JSON_TYPE_RE = /@type\(\s*([A-Za-z_$][A-Za-z0-9_$]*)\s+from\s+"([^"]+)"\s*\)/;
 function parseJsonTypeAnnotation(params) {
   if (params.comment === undefined)
@@ -1639,20 +2083,34 @@ function buildModelView(params) {
     ...model.policy === undefined ? {} : { policy: model.policy }
   };
 }
+function assertRlsRenderable(params) {
+  for (const model of params.schema.models) {
+    if (model.rls === undefined || model.rls === "unprotected")
+      continue;
+    renderRlsPolicy({ dialect: postgresDialect, schema: params.schema, model: model.name });
+  }
+}
 function buildSchemaView(params) {
   const { schema } = params;
   assertValidSchemaIR({ schema });
+  if (schema.rls !== undefined)
+    assertRlsRenderable({ schema });
   const normalized = {
     datasource: schema.datasource,
     models: [...schema.models].sort(byName),
     enums: [...schema.enums].sort(byName),
-    extensions: [...schema.extensions].sort(byName)
+    extensions: [...schema.extensions].sort(byName),
+    ...schema.rls === undefined ? {} : { rls: schema.rls }
   };
   const modelIRByName = new Map(normalized.models.map((model) => [model.name, model]));
   const models = normalized.models.map((model) => buildModelView({ model, modelIRByName }));
   return {
     schema: normalized,
-    enums: normalized.enums.map((declared) => ({ name: declared.name, values: declared.values })),
+    enums: normalized.enums.map((declared) => ({
+      name: declared.name,
+      values: declared.values,
+      storage: enumStorageOf({ enumDef: declared })
+    })),
     models,
     modelByName: new Map(models.map((model) => [model.name, model]))
   };
@@ -1675,6 +2133,8 @@ async function generateClient(params) {
   const outputs = [
     { name: "index.js", content: emitJs({ view, baked, computed }) },
     { name: "index.d.ts", content: emitDts({ view, baked, computed }) },
+    { name: "enums.js", content: emitEnumsJs({ view }) },
+    { name: "enums.d.ts", content: emitEnumsDts({ view }) },
     { name: "README.md", content: README }
   ];
   await mkdir(outDir, { recursive: true });
@@ -1691,4 +2151,4 @@ export {
   bakeExtensions
 };
 
-//# debugId=BCB2B1C53C1A079564756E2164756E21
+//# debugId=AC114FAAB4DBE66364756E2164756E21