@amerged/ohmyhost-cli 0.1.37 → 0.1.39

package/src/apps/product-cli/src/repository-init.ts

@@ -75,6 +75,8 @@ export type RepositoryFramework = Exclude<FrameworkFamilyClassification, "ambigu
 const MAXIMUM_SOURCE_BYTES = 2 * 1024 * 1024;
 const SOURCE_MODULE_PATTERN = /\.(?:[cm]?[jt]s|[jt]sx)$/u;
 const STORAGE_CLIENT_CALL_PATTERN = /\bcreatePrivateStorageClient\s*\(/u;
+const GATEWAY_BINDING_NAME = /^OHMYHOST_(?:MAIL|STORAGE)_GATEWAY$/u;
+const GATEWAY_WORD_TOKEN = /[\p{ID_Start}_$][\p{ID_Continue}$]*/uy;
 // The catalog names a module only by a path of its grammar; a file name with a space, for example,
 // is not one, so its blocker carries the path beside a sentence that does not quote it.
 const UNNAMED_MODULE_MESSAGES: Readonly<Record<DatabaseContractCode, string>> = Object.freeze({
@@ -89,15 +91,19 @@ function callsStorageClient(source: string): boolean {
   return STORAGE_CLIENT_CALL_PATTERN.test(sourceWithoutComments(source));
 }
 
-// Storage is reached through a private Service Binding plus the three values and the key that
-// `createPrivateStorageClient` reads. No raw bucket binding is handed to customer code.
+// Global fetch reaches the private storage gateway using these values and its environment key.
+// No raw bucket binding is handed to customer code.
 const STORAGE_RUNTIME_BINDINGS = Object.freeze([
   "OHMYHOST_ENVIRONMENT_ID",
   "OHMYHOST_PROJECT_ID",
-  "OHMYHOST_STORAGE_GATEWAY",
   "OHMYHOST_STORAGE_GATEWAY_URL",
   "OHMYHOST_STORAGE_KEY",
 ]);
+const MAIL_RUNTIME_BINDINGS = Object.freeze([
+  "OHMYHOST_MAIL_GATEWAY_URL",
+  "OHMYHOST_MAIL_KEY",
+  "OHMYHOST_PROJECT_ID",
+]);
 // The runtime release is published unchanged as `@amerged/ohmyhost-runtime`; this pinned alias keeps
 // its import name and, unlike the website archive each release removes, stays installable.
 const CUSTOMER_RUNTIME_SOURCE = `npm:@amerged/ohmyhost-runtime@${cliPackage.version}`;
@@ -105,6 +111,7 @@ const CUSTOMER_RUNTIME_SOURCE = `npm:@amerged/ohmyhost-runtime@${cliPackage.vers
 /** A catalog code, which planning answers with the same sentence, or a check only init runs. */
 export type RepositoryInitBlockerCode =
   | FrameworkConversionDiagnosticCode
+  | "gateway_binding_unsupported"
   | "migration_filename_noncanonical"
   | "migration_sql_not_admitted"
   | "storage_client_missing";
@@ -507,7 +514,7 @@ interface SourceCheckContext {
 /**
  * Every blocker of a source with a valid or proposed configuration, in the order planning judges:
  * migration filenames, the shared source rules, the Worker module handlers and the database
- * contract; init's own storage client and migration SQL checks come last.
+ * contract; init's own gateway binding, storage client and migration SQL checks come last.
  */
 async function judgeSource(
   context: SourceCheckContext &
@@ -528,6 +535,7 @@ async function judgeSource(
       ...source.findings.map((finding) => requiredCatalogBlocker(finding, context.applicationRoot)),
       ...(await workerModuleBlockers(context)),
       ...(await databaseContractBlockers(context, context.provider)),
+      ...(await gatewayBindingBlockers(context)),
       ...(await storageClientBlockers(context)),
       ...(await migrationSqlBlockers(context, context.provider)),
     ],
@@ -621,6 +629,168 @@ async function workerModuleBlockers(context: SourceCheckContext): Promise<Reposi
   );
 }
 
+/** Keep literal text inert, but scan executable template interpolations as ordinary code. */
+function gatewaySourceTokens(source: string): readonly string[] {
+  const tokens: string[] = [];
+  let cursor = 0;
+  const quoted = (quote: string) => {
+    const start = cursor++;
+    while (cursor < source.length) {
+      const character = source[cursor++];
+      if (character === "\\") cursor++;
+      else if (character === quote) break;
+    }
+    tokens.push(source.slice(start, cursor));
+  };
+  const code = (interpolation: boolean): void => {
+    let braces = 0;
+    while (cursor < source.length) {
+      const character = source[cursor] as string;
+      if (interpolation && character === "}" && braces === 0) {
+        cursor++;
+        return;
+      }
+      if (character === '"' || character === "'") {
+        quoted(character);
+        continue;
+      }
+      if (character === "`") {
+        cursor++;
+        while (cursor < source.length) {
+          const literal = source[cursor++];
+          if (literal === "\\") cursor++;
+          else if (literal === "`") break;
+          else if (literal === "$" && source[cursor] === "{") {
+            cursor++;
+            tokens.push("(");
+            code(true);
+            tokens.push(")");
+          }
+        }
+        continue;
+      }
+      if (/\s/u.test(character)) {
+        cursor++;
+        continue;
+      }
+      if (character === "{") braces++;
+      if (character === "}") braces--;
+      GATEWAY_WORD_TOKEN.lastIndex = cursor;
+      const word = GATEWAY_WORD_TOKEN.exec(source)?.[0];
+      const token =
+        word ??
+        (["?.", "=>"].includes(source.slice(cursor, cursor + 2))
+          ? source.slice(cursor, cursor + 2)
+          : character);
+      tokens.push(token);
+      cursor += token.length;
+    }
+  };
+  code(false);
+  return tokens;
+}
+
+/** Static value accesses only: declarations, literal messages and object-literal keys are inert. */
+function usesGatewayBinding(source: string): boolean {
+  const tokens = gatewaySourceTokens(sourceWithoutComments(source));
+  const objects: boolean[] = [];
+  let declaration: "type" | "interface" | "annotation" | undefined;
+  let declarationDepth = 0;
+  for (let index = 0; index < tokens.length; index++) {
+    const token = tokens[index] as string;
+    const previous = tokens[index - 1];
+    const next = tokens[index + 1];
+    if (declaration !== undefined) {
+      if (
+        declarationDepth === 0 &&
+        (token === ";" || /^(?:export|const|let|var|function|class|type|interface)$/u.test(token))
+      ) {
+        declaration = undefined;
+        if (token === ";") continue;
+      } else {
+        if (token === "{" || token === "(" || token === "[") declarationDepth++;
+        if (token === "}" || token === ")" || token === "]") {
+          declarationDepth--;
+          if (declaration !== "type" && declarationDepth === 0) declaration = undefined;
+        }
+        continue;
+      }
+    }
+    if (
+      (token === "type" || token === "interface") &&
+      next !== undefined &&
+      /^[\p{ID_Start}_$][\p{ID_Continue}$]*$/u.test(next) &&
+      previous !== "." &&
+      previous !== "?."
+    ) {
+      declaration = token;
+      continue;
+    }
+    // An inline variable type is not an object binding pattern; resume at its initializer.
+    if (token === "{" && previous === ":" && /^(?:const|let|var)$/u.test(tokens[index - 3] ?? "")) {
+      declaration = "annotation";
+      declarationDepth = 1;
+      continue;
+    }
+    if (token === "{") objects.push(false);
+    if (token === "}") {
+      const gateway = objects.pop();
+      let after = index + 1;
+      if (tokens[after] === ":") {
+        after++;
+        while (after < tokens.length && !/^(?:=|;|\{|\})$/u.test(tokens[after] as string)) after++;
+      }
+      if (gateway && tokens[after] === "=") return true;
+    }
+    const quoted = token.startsWith('"') || token.startsWith("'");
+    const name = quoted ? token.slice(1, -1) : token;
+    if (!GATEWAY_BINDING_NAME.test(name)) continue;
+    if (!quoted && (previous === "." || previous === "?.")) return true;
+    const receiver = tokens[index - (tokens[index - 2] === "?." ? 3 : 2)] ?? "";
+    if (
+      quoted &&
+      previous === "[" &&
+      next === "]" &&
+      (/^[\p{ID_Start}_$][\p{ID_Continue}$]*$/u.test(receiver) ||
+        receiver === ")" ||
+        receiver === "]") &&
+      !/^(?:return|throw|yield|case|new|typeof|void|delete|await|in|of)$/u.test(receiver)
+    )
+      return true;
+    if (
+      objects.length > 0 &&
+      (previous === "{" || previous === ",") &&
+      (next === ":" || next === "," || next === "}" || next === "=")
+    )
+      objects[objects.length - 1] = true;
+  }
+  return false;
+}
+
+/**
+ * Init names legacy mail/storage bindings before a customer builds code whose gateway calls the
+ * egress policy cannot serve. This local guidance does not change planning's admission policy.
+ */
+async function gatewayBindingBlockers(
+  context: SourceCheckContext,
+): Promise<RepositoryInitBlocker[]> {
+  const blockers: RepositoryInitBlocker[] = [];
+  for (const path of context.files) {
+    if (!SOURCE_MODULE_PATTERN.test(path) || /\.d\.[cm]?ts$/u.test(path)) continue;
+    const absolute = resolve(context.applicationDirectory, path);
+    const information = await stat(absolute);
+    if (!information.isFile() || information.size > MAXIMUM_SOURCE_BYTES) continue;
+    if (!usesGatewayBinding(await readFile(absolute, "utf8"))) continue;
+    blockers.push({
+      code: "gateway_binding_unsupported",
+      path: repositoryPath(context.applicationRoot, path),
+      message:
+        "Mail and storage gateway Service Bindings are unsupported. In server code, create the client from its OHMYHOST_MAIL_GATEWAY_URL or OHMYHOST_STORAGE_GATEWAY_URL, environment key and project ID, plus the environment ID for storage. Use the global fetch with fetch: (request) => fetch(request), and capabilityFetch: (request) => fetch(request) for storage signed URLs.",
+    });
+  }
+  return blockers;
+}
+
 /**
  * Declared storage is reached only through the private gateway client. A storage-enabled app whose
  * source never constructs that client deploys green and fails at its first upload, so name it here.
@@ -641,7 +811,7 @@ async function storageClientBlockers(
       code: "storage_client_missing",
       path: null,
       message:
-        'ohmyhost.yaml declares storage, but no application source calls createPrivateStorageClient. Import it from "@ohmyhost/customer-runtime/storage" and build it in server code from OHMYHOST_STORAGE_GATEWAY, OHMYHOST_STORAGE_GATEWAY_URL, OHMYHOST_PROJECT_ID, OHMYHOST_ENVIRONMENT_ID and OHMYHOST_STORAGE_KEY, then reserve an upload, PUT the bytes to the returned signed URL, complete it, and serve reads with createSignedRead. There is no FILES bucket binding.',
+        'ohmyhost.yaml declares storage, but no application source calls createPrivateStorageClient. Import it from "@ohmyhost/customer-runtime/storage" and build it in server code from OHMYHOST_STORAGE_GATEWAY_URL, OHMYHOST_PROJECT_ID, OHMYHOST_ENVIRONMENT_ID and OHMYHOST_STORAGE_KEY, with the global fetch as fetch: (request) => fetch(request) and capabilityFetch: (request) => fetch(request). Reserve an upload, PUT the bytes to the returned signed URL, complete it, and serve reads with createSignedRead. There is no FILES bucket binding.',
     },
   ];
 }
@@ -1418,10 +1588,12 @@ function runtimeContract(capabilities: RuntimeCapabilities): Readonly<{
   return Object.freeze({
     bindings: Object.freeze(
       [
-        ...(capabilities.auth ? ["BETTER_AUTH_SECRET"] : []),
-        ...(capabilities.storage ? STORAGE_RUNTIME_BINDINGS : []),
-        ...(capabilities.database ? ["OHMYHOST_DATABASE"] : []),
-        ...(capabilities.mail ? ["OHMYHOST_MAIL_KEY"] : []),
+        ...new Set([
+          ...(capabilities.auth ? ["BETTER_AUTH_SECRET"] : []),
+          ...(capabilities.storage ? STORAGE_RUNTIME_BINDINGS : []),
+          ...(capabilities.database ? ["OHMYHOST_DATABASE"] : []),
+          ...(capabilities.mail ? MAIL_RUNTIME_BINDINGS : []),
+        ]),
       ].sort(),
     ),
     packages: Object.freeze({

package/src/packages/contracts/package.json

@@ -5,6 +5,11 @@
   "type": "module",
   "sideEffects": false,
   "exports": {
+    "./database-sizes": {
+      "source": "./src/database-sizes.ts",
+      "types": "./dist/database-sizes.d.ts",
+      "import": "./dist/database-sizes.js"
+    },
     "./shared-mail": {
       "source": "./src/shared-mail.ts",
       "types": "./dist/shared-mail.d.ts",
@@ -150,7 +155,7 @@
   },
   "scripts": {
     "build": "tsc --project tsconfig.build.json",
-    "typecheck": "tsc --project tsconfig.json --noEmit",
+    "typecheck": "tsc --project tsconfig.json --noEmit --incremental --tsBuildInfoFile typecheck.tsbuildinfo",
     "test": "vitest run --root ../.. packages/contracts/test",
     "validate": "pnpm run typecheck && pnpm run test"
   },

package/src/packages/contracts/src/credit-pricing.ts

@@ -96,7 +96,7 @@ export interface PublishedCreditRateCard {
     readonly meter: string;
     readonly unit: string;
     readonly units_per_charge: string;
-    readonly provider_cost_micros: string;
+    readonly provider_cost_micros: string | null;
     readonly credit_micros: string;
   }[];
 }
@@ -159,6 +159,12 @@ export function assertPublishedCreditRateCards(
       meters.add(identity);
       for (const key of ["units_per_charge", "provider_cost_micros", "credit_micros"]) {
         const amount = rate[key];
+        if (
+          key === "provider_cost_micros" &&
+          amount === null &&
+          rate["meter"] === "pgcf.memory.active"
+        )
+          continue;
         if (
           typeof amount !== "string" ||
           !/^(0|[1-9][0-9]{0,18})$/u.test(amount) ||

package/src/packages/contracts/src/database-access.ts

@@ -93,13 +93,12 @@ export interface ProjectDatabaseAccessRequest {
   readonly ttl_seconds: number;
   readonly label: string | null;
 }
-export interface ProjectDatabaseAccess {
+export interface ProjectDatabaseAccessFields {
   readonly access_id: string;
   readonly environment: DatabaseEnvironment;
   readonly mode: DatabaseAccessMode;
   readonly role_name: string;
   readonly host: string;
-  readonly database: "neondb";
   readonly label: string | null;
   readonly state: "active" | "expired" | "revoked";
   readonly issued_at: string;
@@ -113,10 +112,25 @@ export interface ProjectDatabaseAccess {
     | "data_change"
     | null;
 }
-export interface ProjectDatabaseAccessCredential extends ProjectDatabaseAccess {
+export type ProjectDatabaseAccess = ProjectDatabaseAccessFields &
+  (
+    | {
+        readonly database: "neondb";
+        readonly provider?: never;
+        readonly transport?: never;
+        readonly websocket_url?: never;
+      }
+    | {
+        readonly provider: "pgcf";
+        readonly transport: "wss";
+        readonly websocket_url: string;
+        readonly database: string;
+      }
+  );
+export type ProjectDatabaseAccessCredential = ProjectDatabaseAccess & {
   readonly connection_uri: string;
   readonly psql_command: string;
-}
+};
 export interface ProjectDatabaseAccessPage {
   readonly items: readonly ProjectDatabaseAccess[];
 }
@@ -163,17 +177,27 @@ export function parseProjectDatabaseAccessRequest(value: unknown): ProjectDataba
 export function assertProjectDatabaseAccess(
   value: unknown,
 ): asserts value is ProjectDatabaseAccess {
-  if (!record(value) || !exact(value, ACCESS_KEYS)) throw new TypeError("Invalid database access");
+  if (!record(value) || !exact(value, accessKeys(value)))
+    throw new TypeError("Invalid database access");
   assertAccessFields(value);
 }
 export function assertProjectDatabaseAccessCredential(
   value: unknown,
 ): asserts value is ProjectDatabaseAccessCredential {
-  if (!record(value) || !exact(value, [...ACCESS_KEYS, "connection_uri", "psql_command"]))
+  if (!record(value) || !exact(value, [...accessKeys(value), "connection_uri", "psql_command"]))
     throw new TypeError("Invalid database access credential");
   assertAccessFields(value);
   const uri = value["connection_uri"];
-  if (typeof uri !== "string" || value["psql_command"] !== `psql '${uri}'`)
+  if (
+    typeof uri !== "string" ||
+    (value["provider"] === "pgcf"
+      ? typeof value["psql_command"] !== "string" ||
+        !new RegExp(
+          `^ohmyhost database psql --project [0-7][0-9A-HJKMNP-TV-Z]{25} --environment ${value["environment"]} --mode ${value["mode"]}$`,
+          "u",
+        ).test(value["psql_command"])
+      : value["psql_command"] !== `psql '${uri}'`)
+  )
     throw new TypeError("Invalid database access credential");
   let parsed: URL;
   try {
@@ -182,13 +206,20 @@ export function assertProjectDatabaseAccessCredential(
     throw new TypeError("Invalid database access credential");
   }
   if (
-    parsed.protocol !== "postgresql:" ||
+    (value["provider"] === "pgcf"
+      ? !["postgres:", "postgresql:"].includes(parsed.protocol)
+      : parsed.protocol !== "postgresql:") ||
     decodeURIComponent(parsed.username) !== value["role_name"] ||
     parsed.password === "" ||
     parsed.hostname !== value["host"] ||
-    parsed.host !== value["host"] ||
-    decodeURIComponent(parsed.pathname.slice(1)) !== "neondb" ||
-    parsed.search !== "?sslmode=require"
+    (value["provider"] === "pgcf"
+      ? parsed.port !== "" && parsed.port !== "5432"
+      : parsed.host !== value["host"]) ||
+    decodeURIComponent(parsed.pathname.slice(1)) !== value["database"] ||
+    parsed.hash !== "" ||
+    (value["provider"] === "pgcf"
+      ? !["", "?sslmode=require", "?sslmode=verify-full"].includes(parsed.search)
+      : parsed.search !== "?sslmode=require")
   )
     throw new TypeError("Invalid database access credential");
 }
@@ -204,6 +235,11 @@ export function assertProjectDatabaseAccessPage(
     throw new TypeError("Invalid database access page");
   for (const item of value["items"]) assertProjectDatabaseAccess(item);
 }
+function accessKeys(value: Record<string, unknown>): readonly string[] {
+  return value["provider"] === "pgcf"
+    ? [...ACCESS_KEYS, "provider", "transport", "websocket_url"]
+    : ACCESS_KEYS;
+}
 function assertAccessFields(value: Record<string, unknown>): void {
   const revoked = value["revoked_at"],
     reason = value["revocation_reason"];
@@ -216,7 +252,12 @@ function assertAccessFields(value: Record<string, unknown>): void {
     !ACCESS_ROLE_PATTERN.test(value["role_name"]) ||
     typeof value["host"] !== "string" ||
     !/^[a-z0-9]([a-z0-9.-]{0,251}[a-z0-9])?$/u.test(value["host"]) ||
-    value["database"] !== "neondb" ||
+    (value["provider"] === "pgcf"
+      ? typeof value["database"] !== "string" ||
+        !/^[a-z][a-z0-9]{19}$/u.test(value["database"]) ||
+        value["transport"] !== "wss" ||
+        value["websocket_url"] !== `wss://${value["host"]}/`
+      : value["database"] !== "neondb") ||
     (value["label"] !== null && accessLabel(value["label"]) !== value["label"]) ||
     !["active", "expired", "revoked"].includes(String(value["state"])) ||
     !timestamp(value["issued_at"]) ||

package/src/packages/contracts/src/database-compute.ts

@@ -1,19 +1,39 @@
+import { databaseSizeForClass } from "./database-sizes.js";
+
+export type PgcfComputeState = "provisioning" | "cold" | "warm" | "suspended" | "error";
+export interface PgcfDatabaseCompute {
+  readonly provider: "pgcf";
+  readonly size_class_id: string;
+  readonly memory_mib: number;
+  readonly cpu_millicores: number;
+  readonly storage_mib: number;
+  readonly max_connections: number;
+  readonly suspend_timeout_seconds: number;
+  readonly state: PgcfComputeState;
+  readonly pending_state: PgcfComputeState | null;
+  readonly disabled: boolean;
+  readonly region: "us" | "eu";
+}
+
 export interface DatabaseCompute {
   readonly project_id: string;
   readonly environment: "dev" | "prod";
   readonly data_mode: "shared" | "isolated";
   readonly observed_at: string;
-  readonly database: null | {
-    readonly min_cu: number;
-    readonly max_cu: number;
-    readonly min_memory_gb: number;
-    readonly max_memory_gb: number;
-    readonly suspend_timeout_seconds: number;
-    readonly state: "init" | "active" | "idle";
-    readonly pending_state: "init" | "active" | "idle" | null;
-    readonly disabled: boolean;
-    readonly region: string;
-  };
+  readonly database:
+    | null
+    | PgcfDatabaseCompute
+    | {
+        readonly min_cu: number;
+        readonly max_cu: number;
+        readonly min_memory_gb: number;
+        readonly max_memory_gb: number;
+        readonly suspend_timeout_seconds: number;
+        readonly state: "init" | "active" | "idle";
+        readonly pending_state: "init" | "active" | "idle" | null;
+        readonly disabled: boolean;
+        readonly region: string;
+      };
 }
 export function assertDatabaseCompute(value: unknown): asserts value is DatabaseCompute {
   if (
@@ -30,6 +50,10 @@ export function assertDatabaseCompute(value: unknown): asserts value is Database
     throw new TypeError("Invalid database compute report");
   const db = value["database"];
   if (db === null) return;
+  if (record(db) && db["provider"] === "pgcf") {
+    assertPgcfCompute(db);
+    return;
+  }
   if (
     !record(db) ||
     !exact(db, [
@@ -64,6 +88,37 @@ export function assertDatabaseCompute(value: unknown): asserts value is Database
   )
     throw new TypeError("Invalid database compute configuration");
 }
+function assertPgcfCompute(db: Record<string, unknown>): void {
+  const size = databaseSizeForClass(db["size_class_id"]);
+  const states = ["provisioning", "cold", "warm", "suspended", "error"];
+  if (
+    !exact(db, [
+      "cpu_millicores",
+      "disabled",
+      "max_connections",
+      "memory_mib",
+      "pending_state",
+      "provider",
+      "region",
+      "size_class_id",
+      "state",
+      "storage_mib",
+      "suspend_timeout_seconds",
+    ]) ||
+    db["memory_mib"] !== size.memoryMiB ||
+    db["cpu_millicores"] !== size.cpuMillicores ||
+    db["storage_mib"] !== size.storageMiB ||
+    db["max_connections"] !== size.maxConnections ||
+    !Number.isSafeInteger(db["suspend_timeout_seconds"]) ||
+    Number(db["suspend_timeout_seconds"]) < 60 ||
+    Number(db["suspend_timeout_seconds"]) > 900 ||
+    !states.includes(String(db["state"])) ||
+    (db["pending_state"] !== null && !states.includes(String(db["pending_state"]))) ||
+    typeof db["disabled"] !== "boolean" ||
+    !["us", "eu"].includes(String(db["region"]))
+  )
+    throw new TypeError("Invalid fixed database compute configuration");
+}
 function record(v: unknown): v is Record<string, unknown> {
   return typeof v === "object" && v !== null && !Array.isArray(v);
 }

package/src/packages/contracts/src/database-sizes.ts

@@ -0,0 +1,114 @@
+export type DatabaseMemoryMiB = 256 | 512 | 1024 | 2048 | 4096;
+export type DatabaseComputeSelection =
+  | { readonly memoryMiB: DatabaseMemoryMiB; readonly profile?: never }
+  | { readonly profile: "standard" | "performance"; readonly memoryMiB?: never };
+
+export function parseDatabaseComputeChangeRequest(value: unknown): {
+  readonly environment: "dev" | "prod";
+  readonly selection: DatabaseComputeSelection;
+} {
+  if (value === null || typeof value !== "object" || Array.isArray(value))
+    throw new TypeError("Invalid database compute change");
+  const input = value as Record<string, unknown>;
+  const keys = Object.keys(input).sort().join(",");
+  if (
+    (keys !== "confirm,environment,memory_mib" && keys !== "confirm,environment,profile") ||
+    input["confirm"] !== true ||
+    (input["environment"] !== "dev" && input["environment"] !== "prod")
+  )
+    throw new TypeError("Invalid database compute change");
+  if (keys === "confirm,environment,memory_mib")
+    return {
+      environment: input["environment"],
+      selection: { memoryMiB: databaseSizeForMemory(input["memory_mib"]).memoryMiB },
+    };
+  if (input["profile"] !== "standard" && input["profile"] !== "performance")
+    throw new TypeError("Invalid transitional database profile");
+  return { environment: input["environment"], selection: { profile: input["profile"] } };
+}
+
+export interface DatabaseSize {
+  readonly memoryMiB: DatabaseMemoryMiB;
+  readonly storageMiB: number;
+  readonly cpuMillicores: number;
+  readonly maxConnections: number;
+  readonly sizeClassId: string;
+  readonly creditsPerAwakeHour: number;
+  readonly paidRequired: boolean;
+}
+
+/** Operator-approved product sizes; storage is total nominal volume, including WAL. */
+export const DATABASE_SIZES: readonly DatabaseSize[] = Object.freeze([
+  Object.freeze({
+    memoryMiB: 256,
+    storageMiB: 500,
+    cpuMillicores: 250,
+    maxConnections: 20,
+    sizeClassId: "r256-s500m",
+    creditsPerAwakeHour: 10,
+    paidRequired: false,
+  } as const),
+  Object.freeze({
+    memoryMiB: 512,
+    storageMiB: 1024,
+    cpuMillicores: 250,
+    maxConnections: 40,
+    sizeClassId: "r512-s1g",
+    creditsPerAwakeHour: 20,
+    paidRequired: true,
+  } as const),
+  Object.freeze({
+    memoryMiB: 1024,
+    storageMiB: 2048,
+    cpuMillicores: 500,
+    maxConnections: 80,
+    sizeClassId: "r1024-s2g",
+    creditsPerAwakeHour: 40,
+    paidRequired: true,
+  } as const),
+  Object.freeze({
+    memoryMiB: 2048,
+    storageMiB: 4096,
+    cpuMillicores: 1000,
+    maxConnections: 160,
+    sizeClassId: "r2048-s4g",
+    creditsPerAwakeHour: 80,
+    paidRequired: true,
+  } as const),
+  Object.freeze({
+    memoryMiB: 4096,
+    storageMiB: 8192,
+    cpuMillicores: 2000,
+    maxConnections: 200,
+    sizeClassId: "r4096-s8g",
+    creditsPerAwakeHour: 160,
+    paidRequired: true,
+  } as const),
+]);
+
+export function databaseSizeForMemory(value: unknown): DatabaseSize {
+  const size = DATABASE_SIZES.find((candidate) => candidate.memoryMiB === value);
+  if (size === undefined) throw new TypeError("Unsupported database memory size");
+  return size;
+}
+
+export function databaseSizeForClass(value: unknown): DatabaseSize {
+  const size = DATABASE_SIZES.find((candidate) => candidate.sizeClassId === value);
+  if (size === undefined) throw new TypeError("Unsupported database size class");
+  return size;
+}
+
+/** A downgrade never silently reduces a database's physical allocation. */
+export function assertDatabaseSizeChange(input: {
+  readonly memoryMiB: unknown;
+  readonly paid: boolean;
+  readonly currentStorageMiB: number;
+}): DatabaseSize {
+  const size = databaseSizeForMemory(input.memoryMiB);
+  if (size.paidRequired && !input.paid) throw new TypeError("Database size requires Paid");
+  if (!Number.isSafeInteger(input.currentStorageMiB) || input.currentStorageMiB < 0)
+    throw new TypeError("Invalid current database allocation");
+  if (size.storageMiB < input.currentStorageMiB)
+    throw new TypeError("A smaller database volume requires a separate data migration");
+  return size;
+}