@homeflare/alchemy 0.22.0 → 0.24.0

package/src/postgres/errors.ts

@@ -0,0 +1,131 @@
+/**
+ * `Postgres.Database`'s failures as typed tags (S21).
+ *
+ * ⛔ NONE OF THESE IS A STATUS-CODE OR MESSAGE MATCH. Every one is raised by this family's own
+ *   code from a fact it already checked (a byte count, a live catalog row, a role lookup) — never
+ *   from sniffing a driver error's text. The one live-SQLSTATE check this family makes —
+ *   `isDuplicateDatabaseRace` in `database-sql.ts`, for the `42P04` create race — reads the raw
+ *   code `@effect/sql-pg` classified onto `SqlSyntaxError.cause.code` (measured in
+ *   `node_modules/@effect/sql-pg/src/internal/sqlError.ts#classifySqlState`: every `42xxx` code,
+ *   `42P04` included, becomes `SqlSyntaxError` — there is no more specific tag for it), and it
+ *   never produces one of these tags: a race converges instead of failing.
+ */
+import * as Data from 'effect/Data';
+
+/**
+ * A declared name would be silently truncated by the server (`NAMEDATALEN` 64, so 63 UTF-8
+ * bytes is the last one that survives whole) — refused at plan, before any statement runs.
+ *
+ * ⛔ WHY THIS IS A PLAN-TIME REFUSAL AND NOT A SERVER ERROR. `truncate_identifier`
+ *   (`scansup.c@REL_18_6` line 93) clips a long name to 63 bytes and raises only a `NOTICE`
+ *   (`errcode(ERRCODE_NAME_TOO_LONG)`), never an error. A create would succeed against the
+ *   TRUNCATED name, so the next plan's read (`WHERE datname = $1`, the name exactly as
+ *   declared) would find nothing and try to create it again — forever. See
+ *   `doc/postgres.md#name`.
+ */
+export class PostgresDatabaseNameRefused extends Data.TaggedError('PostgresDatabaseNameRefused')<{
+  readonly name: string;
+  readonly byteLength: number;
+  readonly limit: number;
+}> {
+  override get message(): string {
+    return (
+      `Postgres.Database "${this.name}": ${String(this.byteLength)} UTF-8 bytes, over the ` +
+      `${String(this.limit)}-byte limit (NAMEDATALEN 64, minus the terminator). PostgreSQL would ` +
+      'accept the CREATE and silently truncate the name with only a NOTICE, so this plan refuses ' +
+      'it instead of creating a database no later read will ever find again.'
+    );
+  }
+}
+
+/** A logical id's `name` changed. A database's name is its identity; there is no `ALTER … RENAME`
+ * in this family's vocabulary (see `docs/postgres.md`), and `diff` never turns this into a
+ * `replace` — a replace here is `DROP DATABASE` before `CREATE DATABASE`, on data. */
+export class PostgresDatabaseRenameRefused extends Data.TaggedError(
+  'PostgresDatabaseRenameRefused',
+)<{
+  readonly from: string;
+  readonly to: string;
+}> {
+  override get message(): string {
+    return (
+      `Postgres.Database: the declared name changed from "${this.from}" to "${this.to}". A ` +
+      'rename is refused at plan — this provider never replaces a database (that is DROP then ' +
+      'CREATE) and never runs ALTER … RENAME. Declare a new logical id for the new name, and ' +
+      'remove the old one once its data has moved.'
+    );
+  }
+}
+
+/** `OWNER` names a role `pg_roles` does not have, checked before the `CREATE DATABASE` that
+ * would otherwise fail on it. Postgres itself refuses the same case with `ERROR:  role "…" does
+ * not exist` (`createdb()`, `dbcommands.c`) — this tag exists so the refusal is typed and the
+ * check runs before any statement, not caught from the driver's text. */
+export class PostgresDatabaseOwnerMissing extends Data.TaggedError('PostgresDatabaseOwnerMissing')<{
+  readonly database: string;
+  readonly owner: string;
+}> {
+  override get message(): string {
+    return `Postgres.Database "${this.database}": OWNER "${this.owner}" is not a role in pg_roles.`;
+  }
+}
+
+/** A live, asserted property no longer matches the declaration. `reconcile` never issues an
+ * `ALTER DATABASE` to fix this — see `docs/postgres.md` for why each asserted prop stops at
+ * create. */
+export class PostgresDatabaseDrift extends Data.TaggedError('PostgresDatabaseDrift')<{
+  readonly database: string;
+  readonly prop: string;
+  readonly declared: unknown;
+  readonly live: unknown;
+}> {
+  override get message(): string {
+    return (
+      `Postgres.Database "${this.database}": ${this.prop} is declared as ` +
+      `${JSON.stringify(this.declared)} but the live database has ${JSON.stringify(this.live)}. ` +
+      'This provider never issues ALTER DATABASE — update the declaration to match the live ' +
+      'value, or change it by hand and re-plan.'
+    );
+  }
+}
+
+/** `delete` never drops a database. `DROP DATABASE` is destructive and irreversible on data
+ * this family did not create from nothing (most declared databases here are adopted, not
+ * created); the decision to remove one stays a human act on the host. */
+export class PostgresDatabaseDropRefused extends Data.TaggedError('PostgresDatabaseDropRefused')<{
+  readonly database: string;
+}> {
+  override get message(): string {
+    return (
+      `Postgres.Database "${this.database}": delete is refused. This provider never issues DROP ` +
+      'DATABASE. Drop it by hand over the trust socket if you mean to remove it, then remove the ' +
+      'declaration.'
+    );
+  }
+}
+
+/** `CREATE DATABASE` raised no error, but the immediate re-read (S10: never trust the write's
+ * own report) still finds nothing. Measured to have no real trigger in a correctly speaking
+ * client, but S20 forbids `Effect.die` here regardless — an invariant violation is a typed
+ * failure the caller can see and retry, never a defect that crashes the whole engine. */
+export class PostgresDatabaseCreateVanished extends Data.TaggedError(
+  'PostgresDatabaseCreateVanished',
+)<{
+  readonly database: string;
+}> {
+  override get message(): string {
+    return (
+      `Postgres.Database "${this.database}": CREATE DATABASE raised no error, but the database ` +
+      'is still absent on the immediate re-read. Re-plan — this is not a state this provider ' +
+      'expects to reach.'
+    );
+  }
+}
+
+export type PostgresDatabaseError =
+  | PostgresDatabaseNameRefused
+  | PostgresDatabaseRenameRefused
+  | PostgresDatabaseOwnerMissing
+  | PostgresDatabaseDrift
+  | PostgresDatabaseDropRefused
+  | PostgresDatabaseCreateVanished;

package/src/postgres/fake-sql.ts

@@ -0,0 +1,123 @@
+/**
+ * A recording fake `PgExecutor` (S28: "Tests use `bun:test`… a test never trusts the deploy's
+ * own report" — here read back from the fake's own catalog, not from the statement list) for
+ * every lifecycle test in this family. No socket, no `@effect/sql-pg` client — it is small
+ * enough to re-derive the one thing this provider ever asks of a real one: three statement
+ * shapes, matched by text, against an in-memory `pg_roles` set and `pg_database` map.
+ *
+ * ⛔ IT PARSES ITS OWN OUTPUT, NOT SQL IN GENERAL. `parseCreate` below understands exactly the
+ *   text `buildCreateDatabaseSql` (`database-sql.ts`) produces — quoted with `quoteIdent` /
+ *   `quoteStringLiteral` — because that is the only `CREATE DATABASE` this family ever issues. A
+ *   general SQL parser would hide a quoting bug instead of tripping over it.
+ */
+import * as Effect from 'effect/Effect';
+import { SqlError, SqlSyntaxError } from 'effect/unstable/sql/SqlError';
+import type { PostgresDatabaseAttributes } from './database-attrs.ts';
+import type { PgExecutor } from './database-sql.ts';
+
+export interface RecordedStatement {
+  readonly text: string;
+  readonly params: ReadonlyArray<unknown>;
+}
+
+export interface FakeSql extends PgExecutor {
+  readonly statements: ReadonlyArray<RecordedStatement>;
+  /** Mutable on purpose: a test seeds a row a "competing" statement would have produced (the
+   * `42P04` race case) before the fake ever sees it. */
+  readonly databases: Map<string, PostgresDatabaseAttributes>;
+}
+
+export interface FakeSqlOptions {
+  readonly roles?: ReadonlyArray<string>;
+  readonly databases?: ReadonlyArray<PostgresDatabaseAttributes>;
+  /** Fail the NEXT `CREATE DATABASE` with SQLSTATE `42P04` (duplicate_database), once, the way a
+   * concurrent creator racing this reconcile would — classified exactly as
+   * `@effect/sql-pg`'s own driver classifies it (`database-sql.ts`'s header). */
+  readonly raceNextCreate?: boolean;
+}
+
+const unquoteIdent = (raw: string): string => raw.replace(/""/g, '"');
+const unquoteLiteral = (raw: string): string => raw.replace(/''/g, "'");
+
+/** Pull every field back out of exactly the text `buildCreateDatabaseSql` writes. */
+const parseCreate = (text: string): PostgresDatabaseAttributes => {
+  const name = /^CREATE DATABASE "((?:[^"]|"")*)" WITH /.exec(text);
+  const owner = /OWNER "((?:[^"]|"")*)"/.exec(text);
+  const encoding = /ENCODING '((?:[^']|'')*)'/.exec(text);
+  const localeProvider = /LOCALE_PROVIDER '((?:[^']|'')*)'/.exec(text);
+  const lcCollate = /LC_COLLATE '((?:[^']|'')*)'/.exec(text);
+  const lcCtype = /LC_CTYPE '((?:[^']|'')*)'/.exec(text);
+  const tablespace = /TABLESPACE "((?:[^"]|"")*)"/.exec(text);
+  const allowConnections = /ALLOW_CONNECTIONS (true|false)/.exec(text);
+  const connectionLimit = /CONNECTION LIMIT (-?\d+)/.exec(text);
+  const isTemplate = /IS_TEMPLATE (true|false)/.exec(text);
+  if (name === null || owner === null) {
+    throw new Error(`fake-sql: could not parse a generated CREATE DATABASE statement: ${text}`);
+  }
+  return {
+    name: unquoteIdent(name[1] as string),
+    oid: 0,
+    owner: unquoteIdent(owner[1] as string),
+    encoding: encoding === null ? 'UTF8' : unquoteLiteral(encoding[1] as string),
+    localeProvider:
+      localeProvider === null ? 'libc' : (unquoteLiteral(localeProvider[1] as string) as 'libc'),
+    collate: lcCollate === null ? 'C' : unquoteLiteral(lcCollate[1] as string),
+    ctype: lcCtype === null ? 'C' : unquoteLiteral(lcCtype[1] as string),
+    tablespace: tablespace === null ? 'pg_default' : unquoteIdent(tablespace[1] as string),
+    allowConnections: allowConnections === null ? true : allowConnections[1] === 'true',
+    connectionLimit: connectionLimit === null ? -1 : Number(connectionLimit[1]),
+    isTemplate: isTemplate === null ? false : isTemplate[1] === 'true',
+  };
+};
+
+export const makeFakeSql = (options: FakeSqlOptions = {}): FakeSql => {
+  const statements: RecordedStatement[] = [];
+  const roles = new Set(options.roles ?? []);
+  const databases = new Map(options.databases?.map((d) => [d.name, d] as const) ?? []);
+  let raceRemaining = options.raceNextCreate === true ? 1 : 0;
+  let oidCounter = 20000;
+
+  const unsafe = <A extends object>(
+    text: string,
+    params: ReadonlyArray<unknown> = [],
+  ): Effect.Effect<ReadonlyArray<A>, SqlError> =>
+    Effect.suspend(() => {
+      statements.push({ text, params });
+
+      if (text.startsWith('SELECT 1 AS present FROM pg_roles')) {
+        const role = params[0] as string;
+        return Effect.succeed(
+          (roles.has(role) ? [{ present: 1 }] : []) as unknown as ReadonlyArray<A>,
+        );
+      }
+
+      if (text.includes('FROM pg_database')) {
+        const name = params[0] as string;
+        const row = databases.get(name);
+        return Effect.succeed((row === undefined ? [] : [row]) as unknown as ReadonlyArray<A>);
+      }
+
+      if (text.startsWith('CREATE DATABASE')) {
+        if (raceRemaining > 0) {
+          raceRemaining -= 1;
+          return Effect.fail(
+            new SqlError({
+              reason: new SqlSyntaxError({
+                cause: Object.assign(new Error('database "x" already exists'), { code: '42P04' }),
+                message: 'duplicate_database (fake race)',
+                operation: 'CREATE DATABASE',
+              }),
+            }),
+          );
+        }
+        const row = { ...parseCreate(text), oid: oidCounter };
+        oidCounter += 1;
+        databases.set(row.name, row);
+        return Effect.succeed([] as unknown as ReadonlyArray<A>);
+      }
+
+      throw new Error(`fake-sql: unrecognised statement: ${text}`);
+    });
+
+  return { unsafe, statements, databases };
+};

package/src/postgres/fixtures/pg-REL_18_6-create-database-synopsis.txt

@@ -0,0 +1,26 @@
+# path: doc/src/sgml/ref/create_database.sgml
+# blob: 4da8aeebb50a29e89bd9f68a8deac4b1a3ec7b18
+# tag: REL_18_6 (commit 724edf9bde9d356724ad384a2e196edc3c9f80f7)
+# fetched: 2026-09-23 via gh api repos/postgres/postgres/contents/...?ref=724edf9bde9d356724ad384a2e196edc3c9f80f7
+# excerpt: the <synopsis> block only (lines 23-42 of the full file), cut per house doc-size convention
+#
+<synopsis>
+CREATE DATABASE <replaceable class="parameter">name</replaceable>
+    [ WITH ] [ OWNER [=] <replaceable class="parameter">user_name</replaceable> ]
+           [ TEMPLATE [=] <replaceable class="parameter">template</replaceable> ]
+           [ ENCODING [=] <replaceable class="parameter">encoding</replaceable> ]
+           [ STRATEGY [=] <replaceable class="parameter">strategy</replaceable> ]
+           [ LOCALE [=] <replaceable class="parameter">locale</replaceable> ]
+           [ LC_COLLATE [=] <replaceable class="parameter">lc_collate</replaceable> ]
+           [ LC_CTYPE [=] <replaceable class="parameter">lc_ctype</replaceable> ]
+           [ BUILTIN_LOCALE [=] <replaceable class="parameter">builtin_locale</replaceable> ]
+           [ ICU_LOCALE [=] <replaceable class="parameter">icu_locale</replaceable> ]
+           [ ICU_RULES [=] <replaceable class="parameter">icu_rules</replaceable> ]
+           [ LOCALE_PROVIDER [=] <replaceable class="parameter">locale_provider</replaceable> ]
+           [ COLLATION_VERSION = <replaceable>collation_version</replaceable> ]
+           [ TABLESPACE [=] <replaceable class="parameter">tablespace_name</replaceable> ]
+           [ ALLOW_CONNECTIONS [=] <replaceable class="parameter">allowconn</replaceable> ]
+           [ CONNECTION LIMIT [=] <replaceable class="parameter">connlimit</replaceable> ]
+           [ IS_TEMPLATE [=] <replaceable class="parameter">istemplate</replaceable> ]
+           [ OID [=] <replaceable class="parameter">oid</replaceable> ]
+</synopsis>

package/src/postgres/fixtures/pg-REL_18_6-pg_database.h.txt

@@ -0,0 +1,67 @@
+# path: src/include/catalog/pg_database.h
+# blob: 54f0d38c9c9e1cd4d419b05b296b8f84875e9768
+# tag: REL_18_6 (commit 724edf9bde9d356724ad384a2e196edc3c9f80f7)
+# fetched: 2026-09-23 via gh api repos/postgres/postgres/contents/...?ref=724edf9bde9d356724ad384a2e196edc3c9f80f7
+# excerpt: the CATALOG(pg_database...) { ... } FormData_pg_database struct only (lines 29-89 of the full file)
+#
+CATALOG(pg_database,1262,DatabaseRelationId) BKI_SHARED_RELATION BKI_ROWTYPE_OID(1248,DatabaseRelation_Rowtype_Id) BKI_SCHEMA_MACRO
+{
+	/* oid */
+	Oid			oid;
+
+	/* database name */
+	NameData	datname;
+
+	/* owner of database */
+	Oid			datdba BKI_DEFAULT(POSTGRES) BKI_LOOKUP(pg_authid);
+
+	/* character encoding */
+	int32		encoding;
+
+	/* locale provider, see pg_collation.collprovider */
+	char		datlocprovider;
+
+	/* allowed as CREATE DATABASE template? */
+	bool		datistemplate;
+
+	/* new connections allowed? */
+	bool		datallowconn;
+
+	/* database has login event triggers? */
+	bool		dathasloginevt;
+
+	/*
+	 * Max connections allowed. Negative values have special meaning, see
+	 * DATCONNLIMIT_* defines below.
+	 */
+	int32		datconnlimit;
+
+	/* all Xids < this are frozen in this DB */
+	TransactionId datfrozenxid;
+
+	/* all multixacts in the DB are >= this */
+	TransactionId datminmxid;
+
+	/* default table space for this DB */
+	Oid			dattablespace BKI_LOOKUP(pg_tablespace);
+
+#ifdef CATALOG_VARLEN			/* variable-length fields start here */
+	/* LC_COLLATE setting */
+	text		datcollate BKI_FORCE_NOT_NULL;
+
+	/* LC_CTYPE setting */
+	text		datctype BKI_FORCE_NOT_NULL;
+
+	/* ICU locale ID */
+	text		datlocale;
+
+	/* ICU collation rules */
+	text		daticurules;
+
+	/* provider-dependent version of collation data */
+	text		datcollversion BKI_DEFAULT(_null_);
+
+	/* access permissions */
+	aclitem		datacl[1];
+#endif
+} FormData_pg_database;

package/src/postgres/index.ts

@@ -0,0 +1,30 @@
+/**
+ * PostgreSQL providers for Alchemy — `Postgres.Database`, create-and-assert over a self-hosted
+ * cluster, walked against PostgreSQL 18.6. See `docs/postgres.md`.
+ *
+ * ⛔ THIS BARREL IS THE PUBLIC API, deliberately smaller than the directory: `fake-sql.ts` is a
+ *   test double, not something a consuming stack should import.
+ */
+export type { PostgresConnectionConfig } from './connection.ts';
+export { PostgresConnection, postgresConnection, withPg } from './connection.ts';
+export type { PostgresDatabaseAttributes, PostgresDatabaseProps } from './database-attrs.ts';
+export { POSTGRES_NAME_MAX_BYTES, nameByteRefusal, utf8ByteLength } from './database-attrs.ts';
+export {
+  buildCreateDatabaseSql,
+  firstDrift,
+  isDuplicateDatabaseRace,
+  quoteIdent,
+  quoteStringLiteral,
+  roleExists,
+  selectDatabase,
+} from './database-sql.ts';
+export { PostgresDatabase, PostgresDatabaseProvider, isPostgresDatabase } from './database.ts';
+export {
+  PostgresDatabaseDrift,
+  PostgresDatabaseDropRefused,
+  PostgresDatabaseNameRefused,
+  PostgresDatabaseOwnerMissing,
+  PostgresDatabaseRenameRefused,
+  type PostgresDatabaseError,
+} from './errors.ts';
+export { postgresProviders } from './providers.ts';

package/src/postgres/providers.ts

@@ -0,0 +1,16 @@
+/**
+ * `Postgres.Database`'s provider, pre-wired to one cluster:
+ *
+ *     const providers = postgresProviders({ host: '/opt/homeflare/postgres/sockets', database: 'postgres', username: 'tim' });
+ *
+ * ★ THE CLUSTER IS A PARAMETER, NOT A DEFAULT (S15, and `docs/postgres.md#path`). This kit is
+ *   PUBLIC; the mini's socket directory, its user and its port are the CONSUMING stack's values,
+ *   never baked in here. A stack with more than one cluster calls this more than once and merges
+ *   the results under whatever logical grouping it wants.
+ */
+import * as Layer from 'effect/Layer';
+import { type PostgresConnectionConfig, postgresConnection } from './connection.ts';
+import { PostgresDatabaseProvider } from './database.ts';
+
+export const postgresProviders = (config: PostgresConnectionConfig) =>
+  PostgresDatabaseProvider().pipe(Layer.provide(postgresConnection(config)));

package/src/proxmox/api-token-adopt.test.ts

@@ -0,0 +1,138 @@
+/**
+ * `Proxmox.ApiToken` adopted, undeclared and drifted through Alchemy's own Plan and Apply, over a
+ * fake cluster — pinning the metadata-only shape decision 9 (2026-09-23) builds: adopt and manage
+ * `comment`/`expire`/`privsep`, never mint a token this resource cannot hand anybody the secret
+ * for (api-token.ts's header).
+ *
+ * ★ FOUR LIVE SHAPES: `metrics@pve!exporter` and `iac@pve!apply` are the no-comment / commented
+ *   shapes named in api-token.ts's own header; `svc@pve!lease1` and `svc@pve!lease2` are
+ *   PLACEHOLDERS (never an estate mint-user account — see the ⛔ on declaring under one in
+ *   api-token.ts's header) exercising a real non-zero `expire` offered as BOTH a JSON number and
+ *   a JSON string, which PVE does depending on path — `int()` (values.ts) must not care which.
+ */
+import { describe, expect, test } from 'bun:test';
+import * as Effect from 'effect/Effect';
+import * as Layer from 'effect/Layer';
+import { engineOver } from '../verify/fake-engine.ts';
+import { type ApiTokenProps, ProxmoxApiToken, ProxmoxApiTokenProvider } from './api-token.ts';
+import { shape } from './api-token-form.ts';
+import { FAKE_TARGET, type PveCall, fakePve, withoutBao } from './fake-pve.ts';
+import type {
+  AccessUsersUseridTokenTokenidPostParams,
+  AccessUsersUseridTokenTokenidPutParams,
+} from './generated/pve.ts';
+
+type Live = { comment?: string; expire: number | string; privsep: number };
+
+/** `access/users/{userid}/token/{tokenid}`, mutable so the PUT test can watch it change. */
+const tokens = new Map<string, Live>([
+  ['access/users/metrics@pve/token/exporter', { expire: 0, privsep: 0 }],
+  ['access/users/iac@pve/token/apply', { comment: 'automation', expire: 0, privsep: 0 }],
+  ['access/users/svc@pve/token/lease1', { expire: 1789327175, privsep: 0 }],
+  ['access/users/svc@pve/token/lease2', { comment: 'lease', expire: '1789327175', privsep: 0 }],
+]);
+
+const cluster = () =>
+  fakePve((call: PveCall) => {
+    if (call.method === 'GET') return tokens.get(call.path);
+    if (call.method === 'PUT') {
+      const live = tokens.get(call.path);
+      if (live !== undefined) tokens.set(call.path, { ...live, ...call.form });
+      return call.form;
+    }
+    return undefined;
+  });
+
+/** The declared props matching a live fixture exactly — `expire` always as a `number` prop. */
+const propsFor = (
+  userid: string,
+  tokenid: string,
+  over: { comment?: string; privsep?: boolean },
+): ApiTokenProps => ({
+  expire: Number(tokens.get(`access/users/${userid}/token/${tokenid}`)?.expire ?? 0),
+  privsep: over.privsep ?? false,
+  target: FAKE_TARGET,
+  tokenid,
+  userid,
+  ...(over.comment === undefined ? {} : { comment: over.comment }),
+});
+
+const token = (userid: string, tokenid: string, over: { comment?: string; privsep?: boolean }) =>
+  ProxmoxApiToken(`${userid.replace('@', '-')}-${tokenid}`, propsFor(userid, tokenid, over));
+
+const engineFor = (fake: ReturnType<typeof cluster>) =>
+  engineOver(ProxmoxApiTokenProvider().pipe(Layer.provideMerge(fake.layer)));
+
+const declared = () =>
+  Effect.all([
+    token('metrics@pve', 'exporter', {}),
+    token('iac@pve', 'apply', { comment: 'automation' }),
+    token('svc@pve', 'lease1', {}),
+    token('svc@pve', 'lease2', { comment: 'lease' }),
+  ]);
+
+describe('adopting a metadata-only ApiToken declaration', () => {
+  test('no comment, commented, and a real expire as both a number and a string: noop, adopted, no writes', async () => {
+    const fake = cluster();
+    await withoutBao(async () => {
+      const engine = engineFor(fake);
+      const report = await engine.verify(declared());
+      expect(report.rows).toHaveLength(4);
+      for (const row of report.rows) {
+        expect(row).toMatchObject({ changed: [], diff: 'noop', ok: true, planned: 'adopted' });
+      }
+      const planned = await engine.deploy(declared());
+      expect(new Set(Object.values(planned))).toEqual(new Set(['adopted']));
+      expect(Object.keys(planned)).toHaveLength(4);
+    });
+    expect(fake.writes()).toEqual([]);
+  });
+
+  test('undeclaring all four sends no DELETE (retain is the default)', async () => {
+    const fake = cluster();
+    await withoutBao(async () => {
+      const engine = engineFor(fake);
+      await engine.deploy(declared());
+      expect(await engine.deploy(Effect.void)).toEqual({});
+    });
+    expect(fake.writes()).toEqual([]);
+  });
+
+  test('an absent token: the deploy refuses with the mint-elsewhere message, and writes nothing', async () => {
+    const fake = cluster();
+    const gone = () =>
+      ProxmoxApiToken('gone', {
+        expire: 0,
+        privsep: false,
+        target: FAKE_TARGET,
+        tokenid: 'missing',
+        userid: 'nope@pve',
+      });
+    await withoutBao(async () => {
+      const engine = engineFor(fake);
+      await expect(engine.deploy(gone())).rejects.toBeDefined();
+    });
+    expect(fake.writes()).toEqual([]);
+  });
+
+  test('a privsep flip: verify shows changed, and the deploy sends exactly one PUT of comment/expire/privsep', async () => {
+    const fake = cluster();
+    const flipped = () => token('iac@pve', 'apply', { comment: 'automation', privsep: true });
+    await withoutBao(async () => {
+      const engine = engineFor(fake);
+      const report = await engine.verify(flipped());
+      expect(report.rows[0]).toMatchObject({ changed: ['privsep'], diff: 'update', ok: false });
+      expect(await engine.deploy(flipped())).toEqual({ 'iac-pve-apply': 'adopted' });
+    });
+    const put = fake.calls.find((call) => call.method === 'PUT');
+    expect(fake.writes()).toEqual(['PUT access/users/iac@pve/token/apply']);
+    expect(put?.pairs.map(([name]) => name)).toEqual(['comment', 'expire', 'privsep']);
+  });
+
+  test('the form keys typecheck against both generated PVE params, with no cast', () => {
+    const props = propsFor('iac@pve', 'apply', { comment: 'automation' });
+    const post: AccessUsersUseridTokenTokenidPostParams = shape(props);
+    const put: AccessUsersUseridTokenTokenidPutParams = shape(props);
+    expect(post).toEqual(put);
+  });
+});

package/src/proxmox/api-token-form.ts

@@ -16,6 +16,10 @@ import type { ApiTokenAttributes, ApiTokenProps } from './api-token.ts';
  *   that costs a forever-diff: the schema gives `expire` the default "same as user", and the code
  *   never implements it. api-token.ts records what that means.
  */
+import type {
+  AccessUsersUseridTokenTokenidPostParams,
+  AccessUsersUseridTokenTokenidPutParams,
+} from './generated/pve.ts';
 import type { PveSpec } from './resource.ts';
 import { bool, int, text } from './values.ts';
 
@@ -56,10 +60,23 @@ export const fullTokenid = (props: ApiTokenProps) => `${props.userid}!${props.to
  *   required prop precisely so that it is never undeclared, so there is nothing for it to do and
  *   its `string | undefined` return would have to be asserted away to fit `Record<string,string>`.
  *   An assertion here would be a claim about the prop that the type already makes properly.
+ *
+ * ★ TYPED AGAINST THE GENERATED PUT AND POST PARAMS, NOT `Record<string, string>`, since
+ *   2026-09-23 — the `notification-matcher-form.ts` pattern: `Pick` rather than the whole type,
+ *   because neither `AccessUsersUseridTokenTokenidPutParams` nor …`PostParams` (generated/pve.ts)
+ *   carries `userid`/`tokenid` (they are path segments — see the ⛔ above) and Put alone also
+ *   carries `delete`/`regenerate`, which this family never sends. A schema drift on any of the
+ *   three fields this function DOES send fails `tsc` here rather than surfacing as a 400 on a live
+ *   cluster; api-token.test.ts pins the assignment both ways (Put and Post) without a cast.
+ *   `expire` is written as a template literal, not `String(...)`, because the generated type is
+ *   `` `${number}` ``, not `string` — `String(n)` widens to plain `string` and would not typecheck.
  */
-export const shape = (props: ApiTokenProps): Record<string, string> => ({
+export const shape = (
+  props: ApiTokenProps,
+): Pick<AccessUsersUseridTokenTokenidPutParams, 'comment' | 'expire' | 'privsep'> &
+  Pick<AccessUsersUseridTokenTokenidPostParams, 'comment' | 'expire' | 'privsep'> => ({
   comment: props.comment ?? '',
-  expire: String(props.expire),
+  expire: `${props.expire}`,
   privsep: props.privsep ? '1' : '0',
 });
 

package/src/proxmox/api-token.ts

@@ -20,9 +20,14 @@
  *     whole of a token's policy, and declaring them is real work: it is how `expire` stops being
  *     whatever somebody typed in 2024. Mint NEW tokens where the secret can be caught — OpenBao's
  *     `proxmox-c1` mount, or a human at `pveum user token add`.
- *   ⚠️ THE CREATE PATH IS LEFT REACHABLE RATHER THAN STUBBED. A create that silently did nothing
- *     would be the same lie as the stubbed delete resource.ts's ★ refuses; the honest arrangement
- *     is a create that works and a header that says what it produces.
+ *   ⛔ ★ CORRECTED 2026-09-23 — THIS PARAGRAPH PREVIOUSLY SAID "THE CREATE PATH IS LEFT REACHABLE
+ *     RATHER THAN STUBBED… the honest arrangement is a create that works". THAT CONTRADICTED THE
+ *     `reconcile` BELOW, WHICH REFUSES: `handlers.reconcile` calls `Effect.die` by name when `read`
+ *     answers absent, before any POST — metadata-only per decision 9 (2026-09-23), exported on the
+ *     barrel as an adopt-and-manage-only Resource. A create that silently did nothing WOULD be the
+ *     lie resource.ts's ★ describes for a stubbed delete; refusing loudly, by name, with the two
+ *     ways to get a usable token, is the honest arrangement instead — see the ★ further down and
+ *     api-token-adopt.test.ts's absent-token row, which pins the refusal and zero writes.
  *
  * ⛔ THERE IS NO `regenerate` PROP, AND IT IS NOT AN OVERSIGHT. PVE's own description: "All users
  *   of the previous secret will lose access after this operation." A prop for it would revoke a