@homeflare/alchemy 0.7.0 → 0.10.0

package/src/openbao/jwt-role.ts

@@ -14,7 +14,8 @@
  *
  * ★ REPLACE SEMANTICS (REPLACE.md): `mount` or `name` changed → `replace`, create-first. The new
  *   path cannot collide with the old, so no `deleteFirst`. Under the default `retain` the old role
- *   stays live, and still admits logins, until removed by hand.
+ *   stays live, and still admits logins, until removed by hand. ⛔ A move onto a role that already
+ *   exists fails the plan (rename-identity.ts).
  * ★ `defaultRemovalPolicy: 'retain'`, like every Bao.* family.
  */
 import { Resource } from 'alchemy';
@@ -22,18 +23,20 @@ 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 { baoDelete } from './bao-http.ts';
 import {
   type BaoJwtRoleAttributes,
   type BaoJwtRoleProps,
   attributesOf,
   matches,
-  mountOf,
   problems,
   rolePath,
   writeBody,
 } from './jwt-role-form.ts';
-import { type RoleSpec, planRole, readRoleAt, reconcileRole } from './role-reconcile.ts';
+import { foldName, guardRename, judgeRename, roleIdentity } from './rename-identity.ts';
+import { type RoleSpec, planRole, readOwnedRole, reconcileRole } from './role-reconcile.ts';
 
 export type {
   BaoJwtCallbackMode,
@@ -54,6 +57,18 @@ export const BaoJwtRole = Resource<BaoJwtRole>('Bao.JwtRole', {
   defaultRemovalPolicy: 'retain',
 });
 
+/**
+ * The name folded, as the server keys it (`foldName`): `name` is a TypeLowerCaseString
+ * (builtin/credential/jwt/path_role.go:77), so the handler reads it lowercased before it ever builds
+ * `role/<name>` (:289). `App` → `app` is the same role, never a move; `problems` refuses the case.
+ */
+const IDENTITY = roleIdentity<BaoJwtRoleAttributes>(
+  'Bao.JwtRole',
+  (mount, name) => rolePath({ mount, name }),
+  'jwt',
+  foldName,
+);
+
 export const jwtRoleSpec = (props: BaoJwtRoleProps): RoleSpec<BaoJwtRoleAttributes> => ({
   attributesOf: (live) => attributesOf(props, live),
   body: writeBody(props),
@@ -74,22 +89,26 @@ export const BaoJwtRoleProvider = () =>
          */
         list: () => Effect.succeed([]),
 
-        read: Effect.fn(function* ({ olds }) {
-          const found = yield* readRoleAt(jwtRoleSpec(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 }, jwtRoleSpec(olds));
         }),
 
         /** ⛔ IT COMPARES THE LIVE ROLE, NOT THE STORED DIGEST — a hand-widened audience is drift. */
-        diff: Effect.fn(function* ({ news, output }) {
-          if (output === undefined || !isResolved(news)) return undefined;
-          if (mountOf(news) !== output.mount || news.name !== output.name) {
-            return { action: 'replace' } as const;
-          }
+        diff: Effect.fn(function* ({ news, olds, output }) {
+          // ⛔ The identity first, before isResolved; onto a role that exists 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(jwtRoleSpec(news)) } as const;
         }),
 
-        reconcile: Effect.fn(function* ({ news }) {
-          return yield* reconcileRole(jwtRoleSpec(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(jwtRoleSpec(news), claimFor({ fqn, instanceId, output }));
         }),
 
         /** Idempotent as Alchemy requires — a missing role deletes as success. */
@@ -98,5 +117,5 @@ export const BaoJwtRoleProvider = () =>
           return undefined;
         }),
       }),
-    ),
+    ).pipe(Effect.map(provingResumes)),
   );

package/src/openbao/kubernetes-role.ts

@@ -9,25 +9,28 @@
  *   and nothing else (path_role.go:239-256).
  *
  * ★ REPLACE SEMANTICS (REPLACE.md): `mount` or `name` changed → `replace`, create-first (the new
- *   path cannot collide). Under the default `retain` the old role stays live until removed by hand.
+ *   path cannot collide with the old). Under the default `retain` the old role stays live until
+ *   removed by hand. ⛔ A move onto a role that already exists fails the plan (rename-identity.ts).
  */
 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 { baoDelete } from './bao-http.ts';
 import {
   type BaoKubernetesRoleAttributes,
   type BaoKubernetesRoleProps,
   attributesOf,
   matches,
-  mountOf,
   problems,
   rolePath,
   writeBody,
 } from './kubernetes-role-form.ts';
-import { type RoleSpec, planRole, readRoleAt, reconcileRole } from './role-reconcile.ts';
+import { foldName, guardRename, judgeRename, roleIdentity } from './rename-identity.ts';
+import { type RoleSpec, planRole, readOwnedRole, reconcileRole } from './role-reconcile.ts';
 
 export type {
   BaoKubernetesAliasSource,
@@ -47,6 +50,14 @@ export const BaoKubernetesRole = Resource<BaoKubernetesRole>('Bao.KubernetesRole
   defaultRemovalPolicy: 'retain',
 });
 
+/** The name folded, as the server stores it (`foldName`). */
+const IDENTITY = roleIdentity<BaoKubernetesRoleAttributes>(
+  'Bao.KubernetesRole',
+  (mount, name) => rolePath({ mount, name }),
+  'kubernetes',
+  foldName,
+);
+
 export const kubernetesRoleSpec = (
   props: BaoKubernetesRoleProps,
 ): RoleSpec<BaoKubernetesRoleAttributes> => ({
@@ -66,22 +77,29 @@ export const BaoKubernetesRoleProvider = () =>
         /** ⛔ The mount's role listing is not a list of things this owns. */
         list: () => Effect.succeed([]),
 
-        read: Effect.fn(function* ({ olds }) {
-          const found = yield* readRoleAt(kubernetesRoleSpec(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 }, kubernetesRoleSpec(olds));
         }),
 
         /** ⛔ IT COMPARES THE LIVE ROLE, NOT THE STORED DIGEST. */
-        diff: Effect.fn(function* ({ news, output }) {
-          if (output === undefined || !isResolved(news)) return undefined;
-          if (mountOf(news) !== output.mount || news.name !== output.name) {
-            return { action: 'replace' } as const;
-          }
+        diff: Effect.fn(function* ({ news, olds, output }) {
+          // ⛔ The identity first, before isResolved; onto a role that exists 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(kubernetesRoleSpec(news)) } as const;
         }),
 
-        reconcile: Effect.fn(function* ({ news }) {
-          return yield* reconcileRole(kubernetesRoleSpec(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(
+            kubernetesRoleSpec(news),
+            claimFor({ fqn, instanceId, output }),
+          );
         }),
 
         /** Idempotent as Alchemy requires — a missing role deletes as success. */
@@ -90,5 +108,5 @@ export const BaoKubernetesRoleProvider = () =>
           return undefined;
         }),
       }),
-    ),
+    ).pipe(Effect.map(provingResumes)),
   );

package/src/openbao/mfa-enforcement.ts

@@ -19,15 +19,21 @@
  *   default `retain` it never runs; with `destroy`, set `retain` to drop it from state and leave it
  *   live — which is what the server would do anyway.
  *
- * ★ REPLACE SEMANTICS (REPLACE.md): `name` changed → `replace`, create-first (names are per
- *   namespace; the new one cannot collide). Under `retain` BOTH enforcements then apply — fail
- *   closed. Under `destroy` the old one's delete is refused, so the deploy stops after creating.
+ * ★ REPLACE SEMANTICS (REPLACE.md): `name` changed → `replace`, create-first. Under `retain` BOTH
+ *   enforcements then apply — fail closed. Under `destroy` the old one's delete is refused, so the
+ *   deploy stops after creating. ⛔ A rename onto an enforcement that exists fails the plan
+ *   (rename-identity.ts): the upsert by name would otherwise rewrite, in place, what someone else's
+ *   enforcement demands. MEASURED 2026-09-21: a swap of two under `destroy` wrote each over the
+ *   other, then stopped on the two refused deletes.
  */
 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 { type Claim, claimFor } from '../ownership/adopt.ts';
+import { ownedRead } from '../ownership/probe.ts';
+import { provingResumes } from '../ownership/resume.ts';
 import type { BaoError } from './bao-status.ts';
 import {
   type BaoMfaLoginEnforcementAttributes,
@@ -38,7 +44,8 @@ import {
   problems,
   writeBody,
 } from './mfa-enforcement-form.ts';
-import { authAccessors, readEnforcement, writeEnforcement } from './mfa-wire.ts';
+import { authAccessors, enforcementPath, readEnforcement, writeEnforcement } from './mfa-wire.ts';
+import { guardRename, judgeRename, nameIdentity } from './rename-identity.ts';
 
 export type {
   BaoMfaLoginEnforcementAttributes,
@@ -59,6 +66,12 @@ export const BaoMfaLoginEnforcement = Resource<BaoMfaLoginEnforcement>('Bao.MfaL
 
 type Env = HttpClient.HttpClient;
 
+/** Exact: the identity store indexes enforcements by (namespace, name) as given. */
+const IDENTITY = nameIdentity<BaoMfaLoginEnforcementAttributes>(
+  'Bao.MfaLoginEnforcement',
+  enforcementPath,
+);
+
 const refuse = (name: string, message: string): Effect.Effect<never> =>
   Effect.die(new Error(`Bao.MfaLoginEnforcement ${name}: ${message}`));
 
@@ -86,14 +99,21 @@ export const planEnforcement = (
     return live !== undefined && matches(live, props, resolved) ? 'noop' : 'update';
   });
 
-/** Write when live differs, then prove it by reading back. */
+/**
+ * Write when live differs, then prove it by reading back.
+ * ⛔ `claim` (the provider passes it): a create never takes over an enforcement it finds by name.
+ */
 export const reconcileEnforcement = (
   props: BaoMfaLoginEnforcementProps,
+  claim?: Claim,
 ): Effect.Effect<BaoMfaLoginEnforcementAttributes, BaoError, Env> =>
   Effect.gen(function* () {
     const { bad, resolved } = yield* resolveTargets(props);
     if (bad.length > 0) return yield* refuse(props.name, bad.join('; '));
     const live = yield* readLive(props.name);
+    if (live !== undefined && claim !== undefined) {
+      yield* claim(`Bao.MfaLoginEnforcement ${props.name}`);
+    }
     if (live === undefined || !matches(live, props, resolved)) {
       yield* writeEnforcement(props.name, writeBody(canonicalFromProps(props, resolved)));
     }
@@ -114,19 +134,28 @@ export const BaoMfaLoginEnforcementProvider = () =>
         /** ⛔ The namespace's enforcement listing is not a list of things this owns. */
         list: () => Effect.succeed([]),
 
-        read: Effect.fn(function* ({ olds }) {
-          return yield* readLive(olds.name);
+        /** ⛔ Stateless: `Unowned` unless our own interrupted create made it (ownership/probe.ts). */
+        read: Effect.fn(function* ({ fqn, instanceId, olds, output }) {
+          const found = yield* readLive(olds.name);
+          const ours = Effect.map(planEnforcement(olds), (plan) => plan === 'noop');
+          return yield* ownedRead({ fqn, instanceId, output }, found, ours);
         }),
 
         /** ⛔ IT COMPARES THE LIVE ENFORCEMENT — a target removed by hand is drift, not a noop. */
-        diff: Effect.fn(function* ({ news, output }) {
-          if (output === undefined || !isResolved(news)) return undefined;
-          if (news.name !== output.name) return { action: 'replace' } as const;
+        diff: Effect.fn(function* ({ news, olds, output }) {
+          // ⛔ The name first, before isResolved; onto an enforcement that exists 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* planEnforcement(news) } as const;
         }),
 
-        reconcile: Effect.fn(function* ({ news }) {
-          return yield* reconcileEnforcement(news);
+        reconcile: Effect.fn(function* ({ fqn, instanceId, news, output }) {
+          // ⛔ An `update` across a rename the diff could not see — refused before any write.
+          yield* guardRename(IDENTITY, news, output);
+          return yield* reconcileEnforcement(news, claimFor({ fqn, instanceId, output }));
         }),
 
         /** ⛔ REFUSED — read the header: in 2.6.2 the delete does not survive a restart. */
@@ -139,5 +168,5 @@ export const BaoMfaLoginEnforcementProvider = () =>
           );
         }),
       }),
-    ),
+    ).pipe(Effect.map(provingResumes)),
   );

package/src/openbao/mfa-totp.ts

@@ -20,6 +20,9 @@ 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 { type Claim, claimFor } from '../ownership/adopt.ts';
+import { ownedRead } from '../ownership/probe.ts';
+import { provingResumes } from '../ownership/resume.ts';
 import type { BaoError } from './bao-status.ts';
 import {
   type BaoMfaTotpMethodAttributes,
@@ -31,6 +34,7 @@ import {
   writeBody,
 } from './mfa-totp-form.ts';
 import { deleteTotp, findTotp, writeTotp } from './mfa-wire.ts';
+import { declaredString } from './rename.ts';
 
 export type {
   BaoMfaTotpMethodAttributes,
@@ -50,8 +54,8 @@ export const BaoMfaTotpMethod = Resource<BaoMfaTotpMethod>('Bao.MfaTotpMethod',
   defaultRemovalPolicy: 'retain',
 });
 
-const refuse = (props: BaoMfaTotpMethodProps, message: string): Effect.Effect<never> =>
-  Effect.die(new Error(`Bao.MfaTotpMethod ${props.name}: ${message}`));
+const refuse = (name: string, message: string): Effect.Effect<never> =>
+  Effect.die(new Error(`Bao.MfaTotpMethod ${name}: ${message}`));
 
 export const readTotp = (
   props: BaoMfaTotpMethodProps,
@@ -69,19 +73,24 @@ export const planTotp = (
     return live !== undefined && matches(live, props) ? 'noop' : 'update';
   });
 
-/** Upsert by name when live differs, then prove it by reading back. */
+/**
+ * Upsert by name when live differs, then prove it by reading back.
+ * ⛔ `claim` (the provider passes it): a create never takes over a method it finds by that name.
+ */
 export const reconcileTotp = (
   props: BaoMfaTotpMethodProps,
+  claim?: Claim,
 ): Effect.Effect<BaoMfaTotpMethodAttributes, BaoError, HttpClient.HttpClient> =>
   Effect.gen(function* () {
     const bad = problems(props);
-    if (bad.length > 0) return yield* refuse(props, bad.join('; '));
+    if (bad.length > 0) return yield* refuse(props.name, bad.join('; '));
     const live = yield* readTotp(props);
+    if (live !== undefined && claim !== undefined) yield* claim(`Bao.MfaTotpMethod ${props.name}`);
     if (live === undefined || !matches(live, props)) yield* writeTotp(writeBody(props));
     const after = yield* readTotp(props);
     if (after === undefined)
-      return yield* refuse(props, 'the write succeeded but no method has that name.');
-    if (!matches(after, props)) return yield* refuse(props, 'the method read back different.');
+      return yield* refuse(props.name, 'the write succeeded but no method has that name.');
+    if (!matches(after, props)) return yield* refuse(props.name, 'the method read back different.');
     return after;
   });
 
@@ -93,19 +102,38 @@ export const BaoMfaTotpMethodProvider = () =>
         /** ⛔ The namespace's method listing is not a list of things this owns. */
         list: () => Effect.succeed([]),
 
-        read: Effect.fn(function* ({ olds }) {
-          return yield* readTotp(olds);
+        /** ⛔ Stateless: `Unowned` unless our own interrupted create made it (ownership/probe.ts). */
+        read: Effect.fn(function* ({ fqn, instanceId, olds, output }) {
+          const found = yield* readTotp(olds);
+          const ours = Effect.sync(
+            () => found !== undefined && problems(olds).length === 0 && matches(found, olds),
+          );
+          return yield* ownedRead({ fqn, instanceId, output }, found, ours);
         }),
 
+        /**
+         * ⛔ THE NAME IS JUDGED BEFORE `isResolved(news)`. Until 2026-09-21 it came after, so a
+         *   rename landing with a pending `issuer` (or any other Output) planned `update`, and the
+         *   upsert by name wrote a SECOND method: the header's stranding, reached through a green
+         *   plan. MEASURED through the engine (rename-families.test.ts).
+         */
         diff: Effect.fn(function* ({ news, output }) {
-          if (output === undefined || !isResolved(news)) return undefined;
-          const rename = renameProblem(output.name, news.name);
-          if (rename !== undefined) return yield* refuse(news, rename);
+          const name = declaredString(news, 'name');
+          if (output !== undefined && name !== undefined) {
+            const rename = renameProblem(output.name, name);
+            if (rename !== undefined) return yield* refuse(name, rename);
+          }
+          // ★ No attributes: an unfinished generation, proven ours or not by provingResumes.
+          if (output === undefined) return undefined;
+          if (!isResolved(news)) return undefined;
           return { action: yield* planTotp(news) } as const;
         }),
 
-        reconcile: Effect.fn(function* ({ news }) {
-          return yield* reconcileTotp(news);
+        /** ⛔ A rename the diff could not see (the name was an Output), refused before any write. */
+        reconcile: Effect.fn(function* ({ fqn, instanceId, news, output }) {
+          const rename = output === undefined ? undefined : renameProblem(output.name, news.name);
+          if (rename !== undefined) return yield* refuse(news.name, rename);
+          return yield* reconcileTotp(news, claimFor({ fqn, instanceId, output }));
         }),
 
         /** ⛔ Read the header first. Idempotent: an unknown id deletes as success. */
@@ -114,5 +142,5 @@ export const BaoMfaTotpMethodProvider = () =>
           return undefined;
         }),
       }),
-    ),
+    ).pipe(Effect.map(provingResumes)),
   );

package/src/openbao/mount-move.test.ts

@@ -5,7 +5,8 @@
 import assert from 'node:assert/strict';
 import { describe, it } from 'node:test';
 import { reconcileAuthMethod } from './auth-method-reconcile.ts';
-import { type Reply, type Seen, run, withFake } from './fake-bao.ts';
+import { type Seen, run, withFake } from './fake-bao.ts';
+import { liveTable } from './fake-mounts.ts';
 import { planMove } from './mount-move.ts';
 import { reconcileMount } from './mount-reconcile.ts';
 
@@ -32,40 +33,6 @@ describe('planMove', () => {
   });
 });
 
-/** A fake with a live table under `prefix` (`sys/mounts` or `sys/auth`) that sys/remount edits. */
-const liveTable = (prefix: string, initial: Record<string, string>) => {
-  const table = new Map(Object.entries(initial).map(([path, type]) => [`${path}/`, type]));
-  const entry = (type: string) => ({ config: { default_lease_ttl: 0, max_lease_ttl: 0 }, 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 type = table.get(key);
-      if (type === undefined) return { json: { errors: ['no matching mount'] }, status: 400 };
-      table.delete(key);
-      table.set(`${to.replace(/^auth\//, '')}/`, type);
-      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(table) }, status: 200 };
-    }
-    const mount = path.slice(prefix.length + 1).replace(/\/tune$/, '');
-    if (seen.method === 'POST') {
-      if (!path.endsWith('/tune')) table.set(`${mount}/`, 'enabled-by-test');
-      return { status: 204 };
-    }
-    const type = table.get(`${mount}/`);
-    return type === undefined
-      ? { json: { errors: [`No secret engine mount at ${mount}/`] }, status: 400 }
-      : { json: { data: entry(type) }, status: 200 };
-  };
-  return { answer, table };
-};
-
 const posts = (seen: Seen[]) =>
   seen.filter((each) => each.method === 'POST').map((each) => each.path);
 

package/src/openbao/mount-reconcile.ts

@@ -4,6 +4,7 @@
  */
 import * as Effect from 'effect/Effect';
 import type * as HttpClient from 'effect/unstable/http/HttpClient';
+import type { Claim } from '../ownership/adopt.ts';
 import type { BaoError } from './bao-status.ts';
 import {
   type BaoMountAttributes,
@@ -37,22 +38,31 @@ const moveTarget = (props: BaoMountProps): MoveTarget => ({
 /**
  * Converge one mount. `stated` is the path in Alchemy's state (undefined on a first reconcile).
  * Dies on a refusal; fails with OpenBao's own error on a refused call.
+ * ⛔ `claim` (mount.ts always passes it) refuses, before any write, a first reconcile that would take
+ *   over a live mount: the one at the path, or the `remountFrom` source it would move
+ *   (ownership/adopt.ts).
  */
 export const reconcileMount = (
   news: BaoMountProps,
   stated: string | undefined,
   options?: RemountOptions,
+  claim?: Claim,
 ): Effect.Effect<BaoMountAttributes, BaoError | RemountError, HttpClient.HttpClient> =>
   Effect.gen(function* () {
     const move = planMove('Bao.Mount', stated, news.path, news.remountFrom);
     if (move.kind === 'refuse') return yield* Effect.die(new Error(move.message));
+    const first = stated === undefined ? claim : undefined;
+    if (first !== undefined && move.kind === 'move') {
+      const source = yield* readMount({ ...news, path: move.from });
+      if (source !== undefined) yield* first(`Bao.Mount ${move.from} (the remountFrom source)`);
+    }
     if (move.kind === 'move') yield* performMove(moveTarget(news), move.from, options);
 
     let live = yield* readMount(news);
     if (live === undefined) {
       yield* enableMount(news);
       if (wantsTune(news)) yield* tuneMount(news);
-    } else if (!matches(live, news)) {
+    } else {
       if (live.type !== news.type) {
         return yield* Effect.die(
           new Error(
@@ -61,7 +71,8 @@ export const reconcileMount = (
           ),
         );
       }
-      yield* tuneMount(news);
+      if (first !== undefined) yield* first(`Bao.Mount ${mountPath(news.path)}`);
+      if (!matches(live, news)) yield* tuneMount(news);
     }
     live = yield* readMount(news);
     if (live === undefined) {

package/src/openbao/mount.ts

@@ -22,6 +22,9 @@ 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 { ownedRead } from '../ownership/probe.ts';
+import { provingResumes } from '../ownership/resume.ts';
 import { type BaoMountAttributes, type BaoMountProps, matches } from './mount-form.ts';
 import { planMove } from './mount-move.ts';
 import { readMount, reconcileMount } from './mount-reconcile.ts';
@@ -55,12 +58,17 @@ export const BaoMountProvider = () =>
          */
         list: () => Effect.succeed([]),
 
-        read: Effect.fn(function* ({ olds }) {
-          return yield* readMount(olds);
+        /** ⛔ Stateless: `Unowned` unless our own interrupted create made it (ownership/probe.ts). */
+        read: Effect.fn(function* ({ fqn, instanceId, olds, output }) {
+          const found = yield* readMount(olds);
+          const ours = Effect.sync(() => found !== undefined && matches(found, olds));
+          return yield* ownedRead({ fqn, instanceId, output }, found, ours);
         }),
 
         diff: Effect.fn(function* ({ news, output }) {
-          if (output === undefined || !isResolved(news)) return undefined;
+          // ★ No attributes: an unfinished generation, proven ours or not by provingResumes.
+          if (output === undefined) return undefined;
+          if (!isResolved(news)) return undefined;
           /**
            * ⛔ A CHANGED PATH IS DECIDED HERE, BEFORE ANY READ OF THE NEW PATH — reading it would
            *   find nothing and plan `update`, which is how an empty mount used to get enabled.
@@ -98,8 +106,9 @@ export const BaoMountProvider = () =>
          *   method and path — the job the per-command exit-code checks used to do by hand.
          *   The body, and the move, live in mount-reconcile.ts.
          */
-        reconcile: Effect.fn(function* ({ news, output }) {
-          return yield* reconcileMount(news, output?.path);
+        reconcile: Effect.fn(function* ({ fqn, instanceId, news, output }) {
+          const claim = claimFor({ fqn, instanceId, output });
+          return yield* reconcileMount(news, output?.path, undefined, claim);
         }),
 
         /**
@@ -111,5 +120,5 @@ export const BaoMountProvider = () =>
           return undefined;
         }),
       }),
-    ),
+    ).pipe(Effect.map(provingResumes)),
   );