@homeflare/alchemy 0.7.0 → 0.10.0

package/src/openbao/fake-engines-roles.ts

@@ -0,0 +1,114 @@
+/**
+ * Fakes of the stores behind the batch-2 families, for fake-bao: every role engine, JWT auth config
+ * and login-MFA enforcements (`wireRoles`), the TOTP method table (`totpMethods`) and the plugin
+ * catalog (`pluginCatalog`), behind one answer (`fakeEstate`). As in fake-engines.ts, each keys its
+ * objects the way the real server does, because a rename test is only as good as the fake's idea of
+ * "the same object".
+ *
+ * ⛔ TEST-ONLY — see fake-bao.ts. No provider imports this file.
+ */
+import type { Reply, Seen } from './fake-bao.ts';
+import { ABSENT, type Store, type Stored, lastSegment, store } from './fake-engines.ts';
+
+/**
+ * The role stores whose server lowercases the name: AppRole (openbao v2.6.2
+ * builtin/credential/approle/path_role.go:1485 and :1893), Kubernetes
+ * (builtin/credential/kubernetes backend.go:362, path_role.go:250 and :396) and JWT, whose `name`
+ * field is a TypeLowerCaseString (builtin/credential/jwt/path_role.go:77; sdk v2.6.2
+ * framework/field_data.go:250-255 lowercases it on read). PKI and SSH store the name verbatim. The
+ * tests mount all three at their default paths.
+ */
+const FOLDED = /^auth\/(approle|jwt|kubernetes)\/role\/[^/]+$/;
+
+const keyOf = (path: string): string =>
+  FOLDED.test(path) ? path.replace(/[^/]+$/, (name) => name.toLowerCase()) : path;
+
+/** Fields a write sends comma-joined that the server reads back as a list. */
+const LISTS = new Set([
+  'allowed_domains',
+  'cn_validations',
+  'ext_key_usage',
+  'key_usage',
+  'token_policies',
+]);
+
+/**
+ * The server's typed view of a `k=v` body: `true`, `false` and digit strings become values, and the
+ * LISTS split. Arrays, objects and duration strings pass through, and every reader here takes a
+ * duration string as well as seconds (`ttlSeconds`).
+ */
+const typed = (body: Stored): Stored => {
+  const out: Stored = {};
+  for (const [field, value] of Object.entries(body)) {
+    if (typeof value !== 'string') out[field] = value;
+    else if (LISTS.has(field)) out[field] = value.split(',').filter((part) => part !== '');
+    else if (value === 'true' || value === 'false') out[field] = value === 'true';
+    else out[field] = /^\d+$/.test(value) ? Number(value) : value;
+  }
+  return out;
+};
+
+/** Every role engine, JWT auth config and MFA login enforcement. A write replaces the object. */
+export const wireRoles = (): Store =>
+  store<Stored>(
+    (_path, body) => typed(body),
+    (path) => keyOf(path),
+  );
+
+/**
+ * `sys/plugins/catalog/<type>/<name>`. A register names its version in the body; a read or a delete
+ * names it in `?version=` (plugin-form.ts versionedPath).
+ */
+export const pluginCatalog = (): Store =>
+  store<Stored>(
+    (path, body) => ({ ...body, builtin: false, name: lastSegment(path.split('?')[0] ?? '') }),
+    (path, body) => {
+      const version = body?.['version'];
+      return typeof version === 'string' && version !== '' ? `${path}?version=${version}` : path;
+    },
+  );
+
+/**
+ * `identity/mfa/method/totp`: an upsert by `method_name` (identity/mfa.go:159-230), listed with
+ * every other type under `identity/mfa/method?list=true` (mfa-wire.ts). Keyed by the server-made
+ * id.
+ */
+export const totpMethods = (): Store => {
+  const live = new Map<string, Stored>();
+  let made = 0;
+  const answer = (seen: Seen): Reply => {
+    const path = seen.path.replace(/^\/v1\//, '');
+    if (seen.method === 'POST') {
+      const body = JSON.parse(seen.body) as Stored;
+      const name = body['method_name'];
+      const found = [...live].find(([, method]) => method['name'] === name)?.[0];
+      made += found === undefined ? 1 : 0;
+      const id = found ?? `method-${String(made)}`;
+      live.set(id, { ...body, id, name, namespace_path: '', type: 'totp' });
+      return { json: { data: { method_id: id } }, status: 200 };
+    }
+    if (seen.method === 'DELETE') {
+      live.delete(lastSegment(path));
+      return { status: 204 };
+    }
+    if (path !== 'identity/mfa/method?list=true' || live.size === 0) return ABSENT;
+    const info = Object.fromEntries(live);
+    return { json: { data: { key_info: info, keys: [...live.keys()] } }, status: 200 };
+  };
+  return Object.assign(answer, { live });
+};
+
+/** All three behind one answer, routed by path, for a stack that mixes the families. */
+export const fakeEstate = () => {
+  const roles = wireRoles();
+  const plugins = pluginCatalog();
+  const totp = totpMethods();
+  const answer = (seen: Seen): Reply => {
+    if (seen.path.startsWith('/v1/identity/mfa/method')) return totp(seen);
+    if (seen.path.startsWith('/v1/sys/plugins/catalog/')) return plugins(seen);
+    return roles(seen);
+  };
+  return Object.assign(answer, { plugins, roles, totp });
+};
+
+export type Estate = ReturnType<typeof fakeEstate>;

package/src/openbao/fake-engines.ts

@@ -2,7 +2,7 @@
  * Fakes of the three stores behind Bao.Policy, Bao.CloudflareRole and Bao.ProxmoxRole, for fake-bao,
  * plus Bao.Policy's provider over fake fragment directories. Each store keys its objects the way the
  * real server does. That is the point: a rename test is only as good as the fake's idea of "the
- * same object".
+ * same object". `store` is shared with fake-engines-roles.ts, which fakes the batch-2 families.
  *
  * ⛔ TEST-ONLY — see fake-bao.ts. No provider imports this file.
  */
@@ -17,26 +17,33 @@ import { trimTrailing } from './mount-path.ts';
 import { BaoPolicyProvider } from './policy.ts';
 import { policyKey } from './rename.ts';
 
-type Stored = Record<string, unknown>;
+export type Stored = Record<string, unknown>;
 
 /** An answer for fake-bao that also exposes what it holds, keyed by API path (no `/v1/`). */
 export type Store = ((seen: Seen) => Reply) & { readonly live: Map<string, Stored> };
 
-const ABSENT: Reply = { json: { errors: [] }, status: 404 };
+export const ABSENT: Reply = { json: { errors: [] }, status: 404 };
 
-const store = (
-  write: (path: string, body: Record<string, string>, before: Stored | undefined) => Stored,
-  key: (path: string) => string = (path) => path,
+/**
+ * A store of objects by API path. `key` turns a request path (and a write's body) into the key the
+ * server would store it under.
+ */
+export const store = <B extends Stored = Record<string, string>>(
+  write: (path: string, body: B, before: Stored | undefined) => Stored,
+  key: (path: string, body?: B) => string = (path) => path,
 ): Store => {
   const live = new Map<string, Stored>();
   const answer = (seen: Seen): Reply => {
-    const path = key(seen.path.replace(/^\/v1\//, ''));
-    if (seen.method === 'PUT') {
-      const body = JSON.parse(seen.body) as Record<string, string>;
+    const raw = seen.path.replace(/^\/v1\//, '');
+    // ★ `bao write` sends PUT, and the identity endpoints are called with POST. Both write.
+    if (seen.method === 'PUT' || seen.method === 'POST') {
+      const body = JSON.parse(seen.body) as B;
+      const path = key(raw, body);
       live.set(path, write(path, body, live.get(path)));
       return { status: 204 };
     }
-    // ★ A delete answers 204 whether or not the object existed, as all three do.
+    const path = key(raw);
+    // ★ A delete answers 204 whether or not the object existed, as every engine here does.
     if (seen.method === 'DELETE') {
       live.delete(path);
       return { status: 204 };
@@ -47,7 +54,7 @@ const store = (
   return Object.assign(answer, { live });
 };
 
-const lastSegment = (path: string) => path.split('/').at(-1) ?? '';
+export const lastSegment = (path: string): string => path.split('/').at(-1) ?? '';
 
 /**
  * `sys/policies/acl/<name>`. It strips the policy's trailing newline on write (measured on the live

package/src/openbao/fake-families.ts

@@ -0,0 +1,188 @@
+/**
+ * The nine batch-2 families as rows of one table, so a rename test can run each of them through
+ * Alchemy's own plan and apply (fake-stack.ts) against one fake (fake-engines-roles.ts). Every row
+ * declares a resource whose identity is `name` (for Bao.JwtAuthConfig, the mount), with `knob`, a
+ * duration, in a prop that is NOT its identity: the pending Output in "a rename lands with another
+ * pending prop".
+ *
+ * ⛔ TEST-ONLY. Every value is a placeholder, not the estate's.
+ */
+import * as RemovalPolicy from 'alchemy/RemovalPolicy';
+import type * as Output from 'alchemy/Output';
+import * as Effect from 'effect/Effect';
+import * as Layer from 'effect/Layer';
+import * as FetchHttpClient from 'effect/unstable/http/FetchHttpClient';
+import { BaoAuthRole, BaoAuthRoleProvider } from './auth-role.ts';
+import type { Reply, Seen } from './fake-bao.ts';
+import { type Estate, fakeEstate } from './fake-engines-roles.ts';
+import { type FakeStack, type StackBody, fakeStack, withFakeStack } from './fake-stack.ts';
+import { BaoJwtAuthConfig, BaoJwtAuthConfigProvider } from './jwt-config.ts';
+import { BaoJwtRole, BaoJwtRoleProvider } from './jwt-role.ts';
+import { BaoKubernetesRole, BaoKubernetesRoleProvider } from './kubernetes-role.ts';
+import { BaoMfaLoginEnforcement, BaoMfaLoginEnforcementProvider } from './mfa-enforcement.ts';
+import { BaoMfaTotpMethod, BaoMfaTotpMethodProvider } from './mfa-totp.ts';
+import { BaoPkiRole, BaoPkiRoleProvider } from './pki-role.ts';
+import { BaoPlugin, BaoPluginProvider } from './plugin.ts';
+import { BaoSshRole, BaoSshRoleProvider } from './ssh-role.ts';
+
+export const familyProviders = Layer.mergeAll(
+  BaoAuthRoleProvider(),
+  BaoJwtAuthConfigProvider(),
+  BaoJwtRoleProvider(),
+  BaoKubernetesRoleProvider(),
+  BaoMfaLoginEnforcementProvider(),
+  BaoMfaTotpMethodProvider(),
+  BaoPkiRoleProvider(),
+  BaoPluginProvider(),
+  BaoSshRoleProvider(),
+  FetchHttpClient.layer,
+);
+
+/**
+ * One stack over a fresh estate: every family's provider, and every call the fake saw — plus
+ * `owner`, a SECOND stack over the same fake with its own state: another owner of the same names.
+ */
+export const withEstate = (
+  body: (stack: FakeStack, estate: Estate, seen: Seen[], owner: FakeStack) => Promise<void>,
+  answer: (estate: Estate) => (seen: Seen) => Reply = (estate) => estate,
+): Promise<void> => {
+  const estate = fakeEstate();
+  return withFakeStack(familyProviders, answer(estate), (stack, bao) =>
+    body(stack, estate, bao.seen, fakeStack(familyProviders, { BAO_ADDR: bao.address }, 'Owner')),
+  );
+};
+
+/** The row for one family, by name. */
+export const rowOf = (family: string): Family => {
+  const row = FAMILIES.find((each) => each.family === family);
+  if (row === undefined) throw new Error(`no fake-families row for ${family}`);
+  return row;
+};
+
+type Text = string | Output.Output<string>;
+type Removal = typeof RemovalPolicy.destroy;
+
+export interface Family {
+  readonly family: string;
+  /** One resource, logical id `id`, whose identity is `name`. */
+  readonly declare: (id: string, name: Text, knob: Text, removal?: Removal) => StackBody;
+  /** Whether the fake holds the object `name` names. */
+  readonly has: (estate: Estate, name: string) => boolean;
+}
+
+const role = (path: (name: string) => string) => (estate: Estate, name: string) =>
+  estate.roles.live.has(path(name));
+
+const APPROLE = { secretIdTtl: '24h', tokenMaxTtl: '1h', tokenPolicies: ['default'] } as const;
+const SHA = 'a'.repeat(64);
+
+export const FAMILIES: readonly Family[] = [
+  {
+    declare: (id, name, knob, removal = RemovalPolicy.retain) =>
+      BaoAuthRole(id, { ...APPROLE, name, tokenTtl: knob }).pipe(removal()),
+    family: 'Bao.AuthRole',
+    has: role((name) => `auth/approle/role/${name}`),
+  },
+  {
+    declare: (id, name, knob, removal = RemovalPolicy.retain) =>
+      BaoPkiRole(id, { allowedDomains: ['example.com'], maxTtl: '8760h', name, ttl: knob }).pipe(
+        removal(),
+      ),
+    family: 'Bao.PkiRole',
+    has: role((name) => `pki/roles/${name}`),
+  },
+  {
+    declare: (id, name, knob, removal = RemovalPolicy.retain) =>
+      BaoJwtRole(id, {
+        boundAudiences: ['https://example.com'],
+        name,
+        roleType: 'jwt',
+        tokenPolicies: ['ci'],
+        tokenTtl: knob,
+        userClaim: 'sub',
+      }).pipe(removal()),
+    family: 'Bao.JwtRole',
+    has: role((name) => `auth/jwt/role/${name}`),
+  },
+  {
+    declare: (id, name, knob, removal = RemovalPolicy.retain) =>
+      BaoKubernetesRole(id, {
+        aliasNameSource: 'serviceaccount_uid',
+        boundServiceAccountNames: ['app'],
+        boundServiceAccountNamespaces: ['apps'],
+        name,
+        tokenPolicies: ['app'],
+        tokenTtl: knob,
+      }).pipe(removal()),
+    family: 'Bao.KubernetesRole',
+    has: role((name) => `auth/kubernetes/role/${name}`),
+  },
+  {
+    declare: (id, mount, knob, removal = RemovalPolicy.retain) =>
+      BaoJwtAuthConfig(id, {
+        boundIssuer: knob,
+        jwksUrl: 'https://issuer.example.com/keys',
+        mount,
+      }).pipe(removal()),
+    family: 'Bao.JwtAuthConfig',
+    has: role((mount) => `auth/${mount}/config`),
+  },
+  {
+    declare: (id, name, knob, removal = RemovalPolicy.retain) =>
+      BaoMfaTotpMethod(id, { issuer: knob, name }).pipe(removal()),
+    family: 'Bao.MfaTotpMethod',
+    has: (estate, name) => [...estate.totp.live.values()].some((each) => each['name'] === name),
+  },
+  {
+    declare: (id, name, knob, removal = RemovalPolicy.retain) =>
+      BaoMfaLoginEnforcement(id, {
+        authMethodTypes: ['jwt'],
+        mfaMethodIds: [knob],
+        name,
+      }).pipe(removal()),
+    family: 'Bao.MfaLoginEnforcement',
+    has: role((name) => `identity/mfa/login-enforcement/${name}`),
+  },
+  {
+    declare: (id, name, knob, removal = RemovalPolicy.retain) =>
+      BaoSshRole(id, {
+        allowUserCertificates: true,
+        allowedUsers: ['ops'],
+        maxTtl: '8h',
+        name,
+        ttl: knob,
+      }).pipe(removal()),
+    family: 'Bao.SshRole',
+    has: role((name) => `ssh/roles/${name}`),
+  },
+  {
+    declare: (id, name, knob, removal = RemovalPolicy.retain) =>
+      BaoPlugin(id, {
+        args: [knob],
+        command: 'plugin-example',
+        name,
+        sha256: SHA,
+        type: 'secret',
+        version: 'v1.0.0',
+      }).pipe(removal()),
+    family: 'Bao.Plugin',
+    has: (estate, name) =>
+      estate.plugins.live.has(`sys/plugins/catalog/secret/${name}?version=v1.0.0`),
+  },
+];
+
+/**
+ * Two of one family, `X` and `Y`, under destroy: the shape a swap or a shift needs. Their knobs
+ * differ, so a generation that lands on the other's name has to write over it.
+ */
+export const pairOf =
+  (row: Family) =>
+  (x: string, y: string): StackBody =>
+    Effect.gen(function* () {
+      yield* row.declare('X', x, '15m', RemovalPolicy.destroy);
+      yield* row.declare('Y', y, '30m', RemovalPolicy.destroy);
+    });
+
+/** An AppRole whose `tokenTtl` attribute is the Output the other rows are fed. */
+export const upstream = (ttl: string) =>
+  BaoAuthRole('Upstream', { ...APPROLE, name: 'upstream', tokenTtl: ttl });

package/src/openbao/fake-mounts.ts

@@ -0,0 +1,74 @@
+/**
+ * A fake mount table for fake-bao — `sys/mounts` (secrets engines) or `sys/auth` (auth methods):
+ * enable, tune, read, the listing a 400 is settled against (mount-wire.ts), and `sys/remount`.
+ * Split out of mount-move.test.ts so the engine-level ownership tests drive Bao.Mount and
+ * Bao.AuthMethod through the same table.
+ *
+ * ⛔ TEST-ONLY — see fake-bao.ts. No provider imports this file.
+ */
+import type { Reply, Seen } from './fake-bao.ts';
+
+type Entry = { type: string; description: string; config: Record<string, unknown> };
+
+/** A fresh mount's lease TTLs: 0, "use the system default", as the server reports them. */
+const zero = () => ({ default_lease_ttl: 0, max_lease_ttl: 0 });
+
+/** The table keyed `<path>/` as the server keys it; `initial` maps a bare path to its type. */
+export const liveTable = (prefix: string, initial: Record<string, string>) => {
+  const entries = new Map<string, Entry>(
+    Object.entries(initial).map(([path, type]) => [
+      `${path}/`,
+      { config: zero(), description: '', type },
+    ]),
+  );
+  const types = () => new Map([...entries].map(([path, entry]) => [path, entry.type]));
+  const answer = (seen: Seen): Reply => {
+    const path = seen.path.replace(/^\/v1\//, '');
+    if (path === 'sys/remount' && seen.method === 'POST') {
+      const { from, to } = JSON.parse(seen.body) as { from: string; to: string };
+      const key = `${from.replace(/^auth\//, '')}/`;
+      const entry = entries.get(key);
+      if (entry === undefined) return { json: { errors: ['no matching mount'] }, status: 400 };
+      entries.delete(key);
+      entries.set(`${to.replace(/^auth\//, '')}/`, entry);
+      return { json: { data: { migration_id: 'm-1' } }, status: 200 };
+    }
+    if (path.startsWith('sys/remount/status/')) {
+      return { json: { data: { migration_info: { status: 'success' } } }, status: 200 };
+    }
+    if (path === prefix) return { json: { data: Object.fromEntries(types()) }, status: 200 };
+    const tune = path.endsWith('/tune');
+    const key = `${path.slice(prefix.length + 1).replace(/\/tune$/, '')}/`;
+    if (seen.method === 'POST') {
+      const body = JSON.parse(seen.body || '{}') as Record<string, unknown>;
+      const entry = entries.get(key) ?? {
+        config: zero(),
+        description: '',
+        type: 'enabled-by-test',
+      };
+      if (!tune && typeof body['type'] === 'string') entry.type = body['type'];
+      if (tune) {
+        const { description, ...config } = body;
+        if (typeof description === 'string') entry.description = description;
+        entry.config = { ...entry.config, ...config };
+      }
+      entries.set(key, entry);
+      return { status: 204 };
+    }
+    if (seen.method === 'DELETE') {
+      entries.delete(key);
+      return { status: 204 };
+    }
+    const entry = entries.get(key);
+    return entry === undefined
+      ? { json: { errors: [`No secret engine mount at ${key}`] }, status: 400 }
+      : { json: { data: entry }, status: 200 };
+  };
+  return {
+    answer,
+    /** The live table as `<path>/` → type, the shape the move tests compare. */
+    get table() {
+      return types();
+    },
+  };
+};

package/src/openbao/fake-stack.ts

@@ -16,6 +16,8 @@
  *   in the shell running the tests is never read. No provider imports this file.
  */
 import * as Alchemy from 'alchemy';
+import { AdoptPolicy } from 'alchemy/AdoptPolicy';
+import { provideFreshArtifactStore } from 'alchemy/Artifacts';
 import * as Effect from 'effect/Effect';
 import * as Layer from 'effect/Layer';
 import type { BaoEnvironment } from './bao-address.ts';
@@ -28,9 +30,12 @@ export type Planned = Readonly<Record<string, string>>;
 /** A stack body: resource declarations, as an `alchemy.run.ts` would write them. */
 export type StackBody = Effect.Effect<unknown, unknown, unknown>;
 
+/** What the CLI would set for one deploy: `adopt` is `--adopt` (the AdoptPolicy service). */
+export type DeployOptions = { readonly adopt?: boolean };
+
 export interface FakeStack {
   /** Plan, then apply, `body`. Resolves to the plan; rejects with the apply's failure. */
-  readonly deploy: (body: StackBody) => Promise<Planned>;
+  readonly deploy: (body: StackBody, options?: DeployOptions) => Promise<Planned>;
 }
 
 type Node = { readonly action: string };
@@ -72,22 +77,30 @@ export const fakeStack = <ROut, E, RIn>(
   ) => Effect.Effect<PlanView, unknown, never>;
   const apply = Alchemy.apply as unknown as (planned: PlanView) => Effect.Effect<unknown, unknown>;
 
-  const deploy = (body: StackBody) =>
+  /**
+   * ★ ONE ARTIFACT STORE ACROSS PLAN AND APPLY, as Deploy.ts's evalStack provides — the channel a
+   *   diff uses to tell reconcile it resumes an interrupted create (ownership/resume.ts).
+   * ★ `--adopt` reaches registration, plan and apply alike, as the Alchemist session provides it.
+   */
+  const deploy = (body: StackBody, options: DeployOptions = {}) =>
     Effect.gen(function* () {
       const compiled = yield* stack(name, { providers, state }, body);
       return yield* Effect.gen(function* () {
         const planned = yield* plan(compiled);
         yield* apply(planned);
         return actionsOf(planned);
-      }).pipe(Effect.provide(Layer.succeedContext(compiled.services)));
+      }).pipe(provideFreshArtifactStore, Effect.provide(Layer.succeedContext(compiled.services)));
     }).pipe(
+      options.adopt === undefined ? (e) => e : Effect.provideService(AdoptPolicy, options.adopt),
       Effect.provideService(Alchemy.Stage, 'test'),
       Effect.provideService(BaoEnv, env),
       Effect.provide(state),
       Effect.scoped,
     );
 
-  return { deploy: (body) => Effect.runPromise(deploy(body) as Effect.Effect<Planned>) };
+  return {
+    deploy: (body, options) => Effect.runPromise(deploy(body, options) as Effect.Effect<Planned>),
+  };
 };
 
 /**

package/src/openbao/host-approles.test.ts

@@ -80,9 +80,21 @@ describe('hostAppRoles', () => {
     }
   });
 
-  it('refuses unknown classes, duplicate hosts and names that would blur the separator', () => {
+  it('gives a host in two classes one role per class', () => {
+    const hosts = [
+      { class: 'pve-node', name: 'node-c' },
+      { class: 'operator-signer', name: 'node-c' },
+    ];
+    assert.deepEqual(
+      hostAppRoles({ ...INPUT, hosts }).map((role) => role.name),
+      ['operator-signer--node-c', 'pve-node--node-c'],
+    );
+  });
+
+  it('refuses unknown classes, a host twice in one class and names that blur the separator', () => {
     const bad = [
       { class: 'nope', name: 'node-c' },
+      { class: 'constructor', name: 'node-d' },
       { class: 'pve-node', name: 'node-a' },
       { class: 'pve-node', name: 'node-a' },
       { class: 'pve-node', name: 'node--x' },
@@ -93,7 +105,8 @@ describe('hostAppRoles', () => {
       (error: unknown) => {
         assert.ok(error instanceof Error);
         assert.match(error.message, /unknown class `nope`/);
-        assert.match(error.message, /`node-a` is listed twice/);
+        assert.match(error.message, /unknown class `constructor`/);
+        assert.match(error.message, /`node-a` is listed twice in class `pve-node`/);
         assert.match(error.message, /`node--x` is not lowercase/);
         assert.match(error.message, /`Node-Y` is not lowercase/);
         return true;

package/src/openbao/host-approles.ts

@@ -96,22 +96,37 @@ export const hostAppRoles = (input: HostAppRolesInput): readonly BaoAuthRoleProp
   const problems = Object.entries(input.classes).flatMap(([name, spec]) =>
     classProblems(name, spec),
   );
+  /**
+   * ⛔ DEDUPED ON THE ROLE NAME, NOT THE HOST NAME. A host may sit in several classes (one machine
+   *   that is both a signer and a node), and each class gives it its own role: `<class>--<host>`
+   *   differs, so nothing collides. Until 2026-09-21 this keyed on the host alone and refused that
+   *   estate outright. What it must still refuse is the same host twice in ONE class: two
+   *   declarations of one role name, so one AppRole that two resources would each claim.
+   */
   const seen = new Set<string>();
   const roles: BaoAuthRoleProps[] = [];
   for (const host of input.hosts) {
     if (!NAME.test(host.name)) {
       problems.push(`host \`${host.name}\` is not lowercase letters, digits, single hyphens`);
     }
-    if (seen.has(host.name)) problems.push(`host \`${host.name}\` is listed twice`);
-    seen.add(host.name);
-    const spec = input.classes[host.class];
+    const name = hostRoleName(host.class, host.name);
+    if (seen.has(name)) {
+      problems.push(`host \`${host.name}\` is listed twice in class \`${host.class}\``);
+    }
+    seen.add(name);
+    /**
+     * ⛔ OWN KEYS ONLY. `classes['constructor']` is Object's constructor, not undefined, so a host
+     *   naming it passed as a class with no policies and no secretIdTtl, never checked by
+     *   classProblems, and wrote a role whose secret_id never expires.
+     */
+    const spec = Object.hasOwn(input.classes, host.class) ? input.classes[host.class] : undefined;
     if (spec === undefined) {
       problems.push(`host \`${host.name}\` names unknown class \`${host.class}\``);
       continue;
     }
     roles.push({
       bindSecretId: true,
-      name: hostRoleName(host.class, host.name),
+      name,
       secretIdNumUses: spec.secretIdNumUses ?? 0,
       secretIdTtl: spec.secretIdTtl,
       tokenMaxTtl: spec.tokenMaxTtl,

package/src/openbao/jwt-config.ts

@@ -10,24 +10,32 @@
  *
  * ★ REPLACE SEMANTICS (REPLACE.md): `mount` changed → `replace`: the new mount gets the config;
  *   the old one keeps its own until that mount is disabled. There is no identity but the mount.
+ * ⛔ A MOVE ONTO A MOUNT WHOSE CONFIG EXISTS FAILS THE PLAN, like every other family's move onto an
+ *   occupied path (rename-identity.ts). With no delete, nothing is lost to a swap, which MEASURED
+ *   2026-09-21 ended with each config where it was declared. But the new generation writes over
+ *   the config it lands on, which changes who can log in on that mount: an issuer or key set
+ *   someone else manages, silently replaced. Move through a mount with no config instead.
  */
 import { Resource } from 'alchemy';
 import { isResolved } from 'alchemy/Diff';
 import * as Provider from 'alchemy/Provider';
 import * as Effect from 'effect/Effect';
 import type * as HttpClient from 'effect/unstable/http/HttpClient';
+import { claimFor } from '../ownership/adopt.ts';
+import { provingResumes } from '../ownership/resume.ts';
 import {
   type BaoJwtAuthConfigAttributes,
   type BaoJwtAuthConfigProps,
   attributesOf,
   configPath,
   matches,
-  mountOf,
   problems,
   wouldErase,
   writeBody,
 } from './jwt-config-form.ts';
-import { type RoleSpec, planRole, readRoleAt, reconcileRole } from './role-reconcile.ts';
+import { declaredOr } from './rename.ts';
+import { type Identity, guardRename, judgeRename } from './rename-identity.ts';
+import { type RoleSpec, planRole, readOwnedRole, reconcileRole } from './role-reconcile.ts';
 
 export type { BaoJwtAuthConfigAttributes, BaoJwtAuthConfigProps } from './jwt-config-form.ts';
 
@@ -43,6 +51,16 @@ export const BaoJwtAuthConfig = Resource<BaoJwtAuthConfig>('Bao.JwtAuthConfig',
   defaultRemovalPolicy: 'retain',
 });
 
+/** The identity is the mount alone; a trailing `/` is the same mount (`configPath` trims it). */
+const IDENTITY: Identity<BaoJwtAuthConfigAttributes> = {
+  declared: (props) => {
+    const mount = declaredOr(props, 'mount', 'jwt');
+    return mount === undefined ? undefined : configPath({ mount });
+  },
+  family: 'Bao.JwtAuthConfig',
+  recorded: (output) => configPath(output),
+};
+
 export const jwtConfigSpec = (
   props: BaoJwtAuthConfigProps,
 ): RoleSpec<BaoJwtAuthConfigAttributes> => ({
@@ -62,24 +80,30 @@ export const BaoJwtAuthConfigProvider = () =>
       BaoJwtAuthConfig.Provider.of({
         list: () => Effect.succeed([]),
 
-        read: Effect.fn(function* ({ olds }) {
-          const found = yield* readRoleAt(jwtConfigSpec(olds));
-          return found?.attributes;
+        /** ⛔ Stateless: `Unowned` unless our own interrupted create made it (ownership/probe.ts). */
+        read: Effect.fn(function* ({ fqn, instanceId, olds, output }) {
+          return yield* readOwnedRole({ fqn, instanceId, output }, jwtConfigSpec(olds));
         }),
 
-        diff: Effect.fn(function* ({ news, output }) {
-          if (output === undefined || !isResolved(news)) return undefined;
-          if (mountOf(news) !== output.mount) return { action: 'replace' } as const;
+        diff: Effect.fn(function* ({ news, olds, output }) {
+          // ⛔ The mount first, before isResolved; onto a mount with a config fails the plan.
+          const move = yield* judgeRename(IDENTITY, olds, news, output);
+          // ★ No attributes: an unfinished generation, proven ours or not by provingResumes.
+          if (output === undefined) return undefined;
+          if (move !== undefined) return { action: 'replace' } as const;
+          if (!isResolved(news)) return undefined;
           return { action: yield* planRole(jwtConfigSpec(news)) } as const;
         }),
 
         /** ⛔ Refuses, before writing, a live config that carries an OIDC client (wouldErase). */
-        reconcile: Effect.fn(function* ({ news }) {
-          return yield* reconcileRole(jwtConfigSpec(news));
+        reconcile: Effect.fn(function* ({ fqn, instanceId, news, output }) {
+          // ⛔ An `update` across a move the diff could not see — refused before any write.
+          yield* guardRename(IDENTITY, news, output);
+          return yield* reconcileRole(jwtConfigSpec(news), claimFor({ fqn, instanceId, output }));
         }),
 
         /** ⚠️ Writes nothing — there is no delete endpoint (header). */
         delete: () => Effect.void,
       }),
-    ),
+    ).pipe(Effect.map(provingResumes)),
   );