@abelxiaoxing/cadence 1.8.4 → 2.0.1

package/src/service/coordination.ts

@@ -0,0 +1,862 @@
+import { randomBytes, randomUUID } from "node:crypto";
+import { opendirSync, realpathSync } from "node:fs";
+import { hostname } from "node:os";
+import { dirname, isAbsolute, join, relative, sep } from "node:path";
+import {
+  type CheckoutLock,
+  resolveWorkspace,
+  TaskStore,
+} from "../task-store.ts";
+import {
+  ContractError,
+  closed,
+  decodeHash,
+  decodeId,
+  integer,
+  list,
+  literal,
+  oneOf,
+  text,
+} from "./contracts/core.ts";
+import {
+  encoded,
+  type FileSnapshot,
+  hash,
+  json,
+  PrivateFiles,
+  REGISTRY_BYTES,
+  REGISTRY_ENTRIES,
+  refused,
+} from "./private-files.ts";
+
+export interface OwnerConfig {
+  schema: "cadence-service-owner-config/1";
+  /** Requested loopback policy; :0 persists unchanged across explicit starts. */
+  endpoint: string;
+  /** Identity of secret-free selected service policy, NOT provider/auth bytes. */
+  policyIdentity: string;
+}
+export type OwnerPhase = "idle" | "stopping" | "quarantined" | "stopped";
+export interface Registration {
+  schema: "cadence-service-registration/1";
+  root: string;
+  stateHome: string;
+  configIdentity: string;
+  endpoint: string;
+  epoch: string;
+  pid: number;
+  host: string;
+  ownerToken: string;
+  checkoutToken: string;
+  phase: OwnerPhase;
+}
+type Reservation = Omit<Registration, "schema" | "phase" | "checkoutToken">;
+interface Registry {
+  schema: "cadence-service-registry/1";
+  entries: Reservation[];
+}
+const registrationKeys = [
+  "schema",
+  "root",
+  "stateHome",
+  "configIdentity",
+  "endpoint",
+  "epoch",
+  "pid",
+  "host",
+  "ownerToken",
+  "checkoutToken",
+  "phase",
+];
+const reservationKeys = registrationKeys.filter(
+  (k) => !["schema", "phase", "checkoutToken"].includes(k),
+);
+function pathValue(value: unknown): string {
+  const path = text(value, 4096, true);
+  if (!isAbsolute(path)) refused();
+  return path;
+}
+function endpoint(value: unknown, allowZero = false): string {
+  const s = text(value, 128, true);
+  const match = /^http:\/\/(127\.0\.0\.1|\[::1\]):(0|[1-9][0-9]{0,4})$/.exec(s);
+  if (!match || Number(match[2]) > 65535 || (!allowZero && match[2] === "0"))
+    refused();
+  return s;
+}
+function endpointMatches(requested: string, bound: string): boolean {
+  return requested.endsWith(":0")
+    ? requested.slice(0, -1) === bound.slice(0, bound.lastIndexOf(":") + 1)
+    : requested === bound;
+}
+export function decodeOwnerConfig(value: unknown): OwnerConfig {
+  const o = closed(value, ["schema", "endpoint", "policyIdentity"]);
+  return {
+    schema: literal(o.schema, "cadence-service-owner-config/1"),
+    endpoint: endpoint(o.endpoint, true),
+    policyIdentity: decodeHash(o.policyIdentity),
+  };
+}
+function decodeReservation(value: unknown): Reservation {
+  const o = closed(value, reservationKeys);
+  return {
+    root: pathValue(o.root),
+    stateHome: pathValue(o.stateHome),
+    configIdentity: decodeHash(o.configIdentity),
+    endpoint: endpoint(o.endpoint),
+    epoch: decodeId(o.epoch),
+    pid: integer(o.pid, 1),
+    host: text(o.host, 255, true),
+    ownerToken: decodeId(o.ownerToken),
+  };
+}
+function reservation(r: Registration): Reservation {
+  const {
+    schema: _schema,
+    phase: _phase,
+    checkoutToken: _checkout,
+    ...row
+  } = r;
+  return row;
+}
+function decodeRegistration(value: unknown): Registration {
+  const o = closed(value, registrationKeys);
+  const row = Object.fromEntries(reservationKeys.map((k) => [k, o[k]]));
+  return {
+    schema: literal(o.schema, "cadence-service-registration/1"),
+    ...decodeReservation(row),
+    checkoutToken: decodeId(o.checkoutToken),
+    phase: oneOf(o.phase, ["idle", "stopping", "quarantined", "stopped"]),
+  };
+}
+/** Segment-aware, symmetric, independent of Git classification. */
+export function rootsOverlap(a: string, b: string): boolean {
+  const within = (x: string, y: string) => {
+    const r = relative(x, y);
+    return (
+      r === "" || (r !== ".." && !r.startsWith(`..${sep}`) && !isAbsolute(r))
+    );
+  };
+  return within(a, b) || within(b, a);
+}
+function names(path: string, allowed: readonly string[]): void {
+  const dir = opendirSync(path);
+  try {
+    let count = 0;
+    for (let entry = dir.readSync(); entry; entry = dir.readSync()) {
+      if (++count > allowed.length || !allowed.includes(entry.name)) refused();
+    }
+  } finally {
+    dir.closeSync();
+  }
+}
+interface RegistryView {
+  format: FileSnapshot;
+  snapshot: FileSnapshot;
+  value: Registry;
+}
+interface Selected {
+  config: FileSnapshot;
+  hostConfig?: FileSnapshot;
+  manifest: FileSnapshot;
+  registration?: FileSnapshot;
+  owner?: FileSnapshot;
+  capability?: FileSnapshot;
+  checkout?: FileSnapshot;
+  value?: Registration;
+}
+export function recoveryOwnerStatus(
+  pid: number,
+  host: string,
+): "live" | "absent" | "ambiguous" {
+  if (host !== hostname()) return "ambiguous";
+  try {
+    process.kill(pid, 0);
+    return "live";
+  } catch (error) {
+    return error instanceof Error && "code" in error && error.code === "ESRCH"
+      ? "absent"
+      : "ambiguous";
+  }
+}
+function recoveryDigest(registry: RegistryView, selected: Selected): string {
+  return hash(
+    encoded([
+      registry.format.identity,
+      registry.format.stamp,
+      registry.snapshot.identity,
+      registry.snapshot.stamp,
+      selected.capability?.stamp ?? null, // incarnation only; never a secret-derived capability digest
+      ...[
+        selected.manifest,
+        selected.config,
+        selected.hostConfig,
+        selected.registration,
+        selected.owner,
+        selected.checkout,
+      ].map((value) => (value ? [value.identity, value.stamp] : null)),
+    ]),
+  );
+}
+export type CoordinationStatus =
+  | { status: "absent" | "unavailable" }
+  | {
+      status: "stopped" | "unavailable" | "stopping" | "quarantined";
+      epoch: string | null;
+    };
+
+/** Explicit filesystem ownership only. No listener, worker, auth resolution,
+ * task creation, stale reclaim or accepting execution route lives here.
+ */
+export class ServiceCoordination {
+  readonly store: TaskStore;
+  readonly files: PrivateFiles;
+  readonly directory: string;
+  readonly registryDirectory: string;
+  readonly stateHome: string;
+  constructor(workspace: string, stateHome?: string) {
+    this.store = new TaskStore(resolveWorkspace(workspace).root, stateHome);
+    const namespace = dirname(this.store.privateRoot);
+    this.files = new PrivateFiles(namespace);
+    this.stateHome = dirname(namespace);
+    this.directory = join(this.store.privateRoot, "service-v1");
+    this.registryDirectory = join(namespace, "service-registry-v1");
+  }
+  path(
+    name:
+      | "format.json"
+      | "config.json"
+      | "registration.json"
+      | "owner.lock"
+      | "local-capability.json"
+      | "host-config.json"
+      | "access-config.json"
+      | "access.json",
+  ): string {
+    return join(this.directory, name);
+  }
+  private registryPath(name: string): string {
+    return join(this.registryDirectory, name);
+  }
+  private registry(): RegistryView | undefined {
+    if (!this.files.directory(this.registryDirectory)) return undefined;
+    names(this.registryDirectory, [
+      "format.json",
+      "roots.json",
+      "registry.lock",
+    ]);
+    const format = this.files.read(this.registryPath("format.json"));
+    const snapshot = this.files.read(
+      this.registryPath("roots.json"),
+      REGISTRY_BYTES,
+    );
+    if (!format || !snapshot) refused();
+    const f = closed(json(format), ["schema", "stateHome"]);
+    literal(f.schema, "cadence-service-registry-format/1");
+    literal(f.stateHome, this.stateHome);
+    const o = closed(json(snapshot, REGISTRY_BYTES), ["schema", "entries"]);
+    const entries = list(o.entries, REGISTRY_ENTRIES, decodeReservation);
+    for (const [i, row] of entries.entries()) {
+      if (
+        row.stateHome !== this.stateHome ||
+        realpathSync(row.root) !== row.root
+      )
+        refused();
+      // An endpoint cannot be shared by two supported owners, even for disjoint roots.
+      if (
+        entries
+          .slice(0, i)
+          .some(
+            (other) =>
+              rootsOverlap(row.root, other.root) ||
+              row.endpoint === other.endpoint,
+          )
+      )
+        refused();
+    }
+    return {
+      format,
+      snapshot,
+      value: {
+        schema: literal(o.schema, "cadence-service-registry/1"),
+        entries,
+      },
+    };
+  }
+  assertNamespace(): void {
+    if (!this.files.directory(this.directory)) refused();
+    names(this.directory, [
+      "format.json",
+      "config.json",
+      "registration.json",
+      "owner.lock",
+      "local-capability.json",
+      "access-config.json",
+      "access.json",
+      "host-config.json",
+      "history-v2",
+    ]);
+    this.files.directory(join(this.directory, "history-v2"));
+  }
+  private selected(): Selected | undefined {
+    if (!this.files.directory(this.directory)) return undefined;
+    this.assertNamespace();
+    const manifest = this.files.read(this.path("format.json"));
+    const config = this.files.read(this.path("config.json"));
+    if (!manifest || !config) refused();
+    const f = closed(json(manifest), [
+      "schema",
+      "root",
+      "stateHome",
+      "configIdentity",
+    ]);
+    literal(f.schema, "cadence-service-format/1");
+    literal(f.root, this.store.root);
+    literal(f.stateHome, this.stateHome);
+    literal(f.configIdentity, config.identity);
+    const c = decodeOwnerConfig(json(config));
+    const hostConfig = this.files.read(this.path("host-config.json"));
+    if (hostConfig && hostConfig.identity !== c.policyIdentity) refused();
+    const registration = this.files.read(this.path("registration.json"));
+    const owner = this.files.read(this.path("owner.lock"));
+    const capability = this.files.read(this.path("local-capability.json"));
+    const checkout = this.files.read(this.store.lockPath, 8192);
+    const value = registration
+      ? decodeRegistration(json(registration))
+      : undefined;
+    if (
+      value &&
+      (value.root !== this.store.root ||
+        value.stateHome !== this.stateHome ||
+        value.configIdentity !== config.identity ||
+        !endpointMatches(c.endpoint, value.endpoint))
+    )
+      refused();
+    if (value && value.phase !== "stopped") {
+      if (!owner || !checkout || !capability) refused();
+      const lock = closed(json(owner), [
+        "schema",
+        "epoch",
+        "token",
+        "pid",
+        "host",
+      ]);
+      literal(lock.schema, "cadence-service-owner-lock/1");
+      literal(lock.epoch, value.epoch);
+      literal(lock.token, value.ownerToken);
+      literal(lock.pid, value.pid);
+      literal(lock.host, value.host);
+      const legacy = this.store.inspectLock();
+      if (
+        !legacy ||
+        legacy.token !== value.checkoutToken ||
+        legacy.pid !== value.pid ||
+        legacy.host !== value.host
+      )
+        refused();
+      const cap = closed(json(capability), ["schema", "epoch", "capability"]);
+      literal(cap.schema, "cadence-service-local-capability/1");
+      literal(cap.epoch, value.epoch);
+      if (!/^[A-Za-z0-9_-]{43}$/.test(text(cap.capability, 43))) refused();
+    } else if (owner || capability || (value && checkout)) refused();
+    return {
+      config,
+      hostConfig,
+      manifest,
+      registration,
+      owner,
+      capability,
+      checkout,
+      value,
+    };
+  }
+  /** A PID alone cannot establish alive/authenticated readiness. Transport will
+   * challenge the epoch separately; stale file status remains unavailable here. */
+  inspect(): CoordinationStatus {
+    try {
+      if (this.files.read(this.registryPath("registry.lock")))
+        return { status: "unavailable" };
+      const registry = this.registry();
+      const selected = this.selected();
+      const row = registry?.value.entries.find(
+        (r) => r.root === this.store.root,
+      );
+      if (!selected)
+        return row ? { status: "unavailable" } : { status: "absent" };
+      if (!selected.value)
+        return row
+          ? { status: "unavailable" }
+          : { status: "stopped", epoch: null };
+      const r = selected.value;
+      if (r.phase === "stopped")
+        return { status: row ? "unavailable" : "stopped", epoch: r.epoch };
+      if (!row || encoded(row) !== encoded(reservation(r)))
+        return { status: "unavailable", epoch: r.epoch };
+      return {
+        status: r.phase === "idle" ? "unavailable" : r.phase,
+        epoch: r.epoch,
+      };
+    } catch {
+      return { status: "unavailable" };
+    }
+  }
+  /** Explicit initialization is not discovery. Partial initialization is never
+   * adopted/reset. Caller must retain the failure and request manual diagnosis. */
+  initialize(input: OwnerConfig): void {
+    const config = decodeOwnerConfig(input);
+    const existing = this.selected();
+    if (existing) {
+      if (existing.config.identity !== hash(encoded(config)))
+        throw new ContractError("conflict");
+      return;
+    }
+    this.files.directory(this.directory, true);
+    const saved = this.files.create(this.path("config.json"), encoded(config));
+    this.files.create(
+      this.path("format.json"),
+      encoded({
+        schema: "cadence-service-format/1",
+        root: this.store.root,
+        stateHome: this.stateHome,
+        configIdentity: saved.identity,
+      }),
+    );
+  }
+  private withRegistry<T>(
+    operation: (
+      view: RegistryView,
+      mutate: () => void,
+      assertHeld: () => void,
+    ) => T,
+  ): T {
+    this.files.directory(this.registryDirectory, true);
+    names(this.registryDirectory, [
+      "format.json",
+      "roots.json",
+      "registry.lock",
+    ]);
+    const lockPath = this.registryPath("registry.lock");
+    const lock = this.files.create(
+      lockPath,
+      encoded({
+        schema: "cadence-service-registry-lock/1",
+        token: randomUUID(),
+        pid: process.pid,
+        host: hostname(),
+      }),
+    );
+    let dirty = false;
+    try {
+      let format = this.files.read(this.registryPath("format.json"));
+      const roots = this.files.read(
+        this.registryPath("roots.json"),
+        REGISTRY_BYTES,
+      );
+      if (!format && !roots) {
+        dirty = true;
+        format = this.files.create(
+          this.registryPath("format.json"),
+          encoded({
+            schema: "cadence-service-registry-format/1",
+            stateHome: this.stateHome,
+          }),
+        );
+        this.files.create(
+          this.registryPath("roots.json"),
+          encoded({ schema: "cadence-service-registry/1", entries: [] }),
+          REGISTRY_BYTES,
+        );
+        dirty = false;
+      }
+      // Corrupt/partial existing registry is uncertainty, not an inert conflict.
+      dirty = true;
+      const view = this.registry();
+      if (!view) refused();
+      dirty = false;
+      const result = operation(
+        view,
+        () => {
+          dirty = true;
+        },
+        () => {
+          this.files.assert(lockPath, lock);
+          this.files.assert(this.registryPath("format.json"), format);
+          names(this.registryDirectory, [
+            "format.json",
+            "roots.json",
+            "registry.lock",
+          ]);
+        },
+      );
+      this.files.remove(lockPath, lock);
+      return result;
+    } catch (error) {
+      // Before any write, a conflict is a known inert refusal. Persistence or
+      // release uncertainty retains this exact short lock, never age-expires it.
+      if (!dirty) this.files.remove(lockPath, lock);
+      throw error;
+    }
+  }
+  acquire(
+    input: OwnerConfig,
+    resolvedEndpoint: string = input.endpoint,
+    initializeNew?: () => void,
+  ): OwnerLease {
+    const config = decodeOwnerConfig(input);
+    const bound = endpoint(resolvedEndpoint);
+    if (!endpointMatches(config.endpoint, bound))
+      throw new ContractError("conflict");
+    // Do not initialize a conflicting root as a side effect of a failed start.
+    return this.withRegistry((registry, mutate) => {
+      if (
+        registry.value.entries.some(
+          (r) => rootsOverlap(r.root, this.store.root) || r.endpoint === bound,
+        )
+      )
+        throw new ContractError("conflict");
+      if (registry.value.entries.length >= REGISTRY_ENTRIES)
+        throw new ContractError("capacity");
+      const old = this.selected();
+      if (old?.value && old.value.phase !== "stopped")
+        throw new ContractError("quarantine");
+      if (this.store.inspectLock()) throw new ContractError("conflict");
+      if (old && old.config.identity !== hash(encoded(config)))
+        throw new ContractError("conflict");
+      // Reserve BEFORE root initialization/legacy acquisition. Any later failure
+      // keeps the reservation and short lock as an explicit partial fence.
+      const row: Reservation = {
+        root: this.store.root,
+        stateHome: this.stateHome,
+        configIdentity: hash(encoded(config)),
+        endpoint: bound,
+        epoch: randomUUID(),
+        pid: process.pid,
+        host: hostname(),
+        ownerToken: randomUUID(),
+      };
+      mutate();
+      this.files.replace(
+        this.registryPath("roots.json"),
+        registry.snapshot,
+        encoded({
+          ...registry.value,
+          entries: [...registry.value.entries, row],
+        }),
+        REGISTRY_BYTES,
+      );
+      this.initialize(config);
+      // Called only for genuinely absent selected metadata, under the registry
+      // reservation and before registration. Failures preserve the partial fence.
+      if (!old) initializeNew?.();
+      const checkout = this.store.acquire();
+      const checkoutFile = this.files.read(this.store.lockPath, 8192);
+      if (!checkoutFile) refused();
+      const owner = this.files.create(
+        this.path("owner.lock"),
+        encoded({
+          schema: "cadence-service-owner-lock/1",
+          epoch: row.epoch,
+          token: row.ownerToken,
+          pid: row.pid,
+          host: row.host,
+        }),
+      );
+      const capability = this.files.create(
+        this.path("local-capability.json"),
+        encoded({
+          schema: "cadence-service-local-capability/1",
+          epoch: row.epoch,
+          capability: randomBytes(32).toString("base64url"),
+        }),
+      );
+      const value: Registration = {
+        schema: "cadence-service-registration/1",
+        ...row,
+        checkoutToken: checkout.token,
+        phase: "idle",
+      };
+      const registration = old?.registration
+        ? this.files.replace(
+            this.path("registration.json"),
+            old.registration,
+            encoded(value),
+          )
+        : this.files.create(this.path("registration.json"), encoded(value));
+      const selected = this.selected();
+      if (!selected) refused();
+      return new OwnerLease(this, checkout, {
+        ...selected,
+        owner,
+        capability,
+        checkout: checkoutFile,
+        registration,
+        value,
+      });
+    });
+  }
+  configuration(): OwnerConfig | undefined {
+    const selected = this.selected();
+    return selected ? decodeOwnerConfig(json(selected.config)) : undefined;
+  }
+  /** Private direct-native client material; never a public status projection. */
+  localAccess(): { endpoint: string; epoch: string; capability: string } {
+    if (this.files.read(this.registryPath("registry.lock"))) refused();
+    const selected = this.selected(),
+      registry = this.registry();
+    if (
+      !selected?.value ||
+      !selected.capability ||
+      !registry ||
+      selected.value.phase === "stopped" ||
+      !registry.value.entries.some(
+        (row) =>
+          selected.value &&
+          encoded(row) === encoded(reservation(selected.value)),
+      )
+    )
+      throw new ContractError("unavailable");
+    const cap = closed(json(selected.capability), [
+      "schema",
+      "epoch",
+      "capability",
+    ]);
+    return {
+      endpoint: selected.value.endpoint,
+      epoch: selected.value.epoch,
+      capability: text(cap.capability, 43, true),
+    };
+  }
+  /** Internal release adapter. Never called by status/restart/recovery. */
+  release(lease: OwnerLease): void {
+    this.withRegistry((view, mutate, assertHeld) => {
+      lease.assert();
+      const r = lease.registration;
+      const rows = view.value.entries.filter((row) => row.epoch === r.epoch);
+      if (rows.length !== 1 || encoded(rows[0]) !== encoded(reservation(r)))
+        refused();
+      mutate();
+      lease.phase("stopped");
+      const releasedRegistry = this.files.replace(
+        this.registryPath("roots.json"),
+        view.snapshot,
+        encoded({
+          ...view.value,
+          entries: view.value.entries.filter((row) => row.epoch !== r.epoch),
+        }),
+        REGISTRY_BYTES,
+      );
+      lease.removeOwnedFiles(() => {
+        assertHeld();
+        this.files.assert(
+          this.registryPath("roots.json"),
+          releasedRegistry,
+          REGISTRY_BYTES,
+        );
+      });
+    });
+  }
+  /** Capture exact private resources BEFORE the append/confirmation awaits. The
+   * closure is internal local management authority, never a wire capability.
+   * A durable bridge must be verified by the caller before EVERY release effect. */
+  prepareRecoveryRelease(
+    expected: string,
+    assertAuthority: () => void,
+  ): (assertDurable: () => void) => void {
+    assertAuthority();
+    if (this.recoverySnapshot().digest !== expected)
+      throw new ContractError("conflict");
+    const selected = this.selected();
+    if (
+      !selected?.value ||
+      !selected.registration ||
+      !selected.owner ||
+      !selected.checkout ||
+      !selected.capability
+    )
+      throw new ContractError("quarantine");
+    const r = selected.value;
+    const absent = () => {
+      assertAuthority();
+      if (recoveryOwnerStatus(r.pid, r.host) !== "absent")
+        throw new ContractError("quarantine");
+    };
+    absent();
+    let used = false;
+    return (assertDurable) => {
+      if (used) throw new ContractError("consumed-grant");
+      used = true;
+      this.withRegistry((view, mutate, assertHeld) => {
+        let registry = view.snapshot;
+        let registration = selected.registration;
+        let capability = selected.capability;
+        let owner = selected.owner;
+        let checkout = selected.checkout;
+        if (!registration || !capability || !owner || !checkout)
+          throw new ContractError("conflict");
+        if (recoveryDigest(view, selected) !== expected)
+          throw new ContractError("conflict");
+        const assert = () => {
+          absent();
+          assertHeld();
+          this.assertNamespace();
+          this.files.assert(
+            this.registryPath("roots.json"),
+            registry,
+            REGISTRY_BYTES,
+          );
+          for (const [name, snapshot] of [
+            ["format.json", selected.manifest],
+            ["config.json", selected.config],
+            ["host-config.json", selected.hostConfig],
+            ["registration.json", registration],
+            ["local-capability.json", capability],
+            ["owner.lock", owner],
+          ] as const)
+            this.files.assert(this.path(name), snapshot);
+          this.files.assert(this.store.lockPath, checkout, 8192);
+          assertDurable();
+        };
+        assert();
+        const matching = view.value.entries.filter(
+          (row) => row.epoch === r.epoch,
+        );
+        if (
+          matching.length !== 1 ||
+          encoded(matching[0]) !== encoded(reservation(r))
+        )
+          throw new ContractError("conflict");
+        mutate(); // every subsequent partial failure retains the registry fence
+        registration = this.files.replace(
+          this.path("registration.json"),
+          registration,
+          encoded({ ...r, phase: "stopped" }),
+        );
+        assert();
+        registry = this.files.replace(
+          this.registryPath("roots.json"),
+          registry,
+          encoded({
+            ...view.value,
+            entries: view.value.entries.filter((row) => row.epoch !== r.epoch),
+          }),
+          REGISTRY_BYTES,
+        );
+        assert();
+        this.files.remove(this.path("local-capability.json"), capability);
+        capability = undefined;
+        assert();
+        this.files.remove(this.path("owner.lock"), owner);
+        owner = undefined;
+        assert();
+        // Only the exact v1 lock tied to THIS registration, never a legacy lock.
+        this.files.remove(this.store.lockPath, checkout, 8192);
+        checkout = undefined;
+        assert();
+      });
+    };
+  }
+  /** Private recovery identity only. Does not read/scan task records or logs.
+   * W3 independently supplies the affected-history digest; capability bytes and
+   * their hashes are deliberately absent from this recovery projection. */
+  recoverySnapshot(): { registration: Registration; digest: string } {
+    if (this.files.read(this.registryPath("registry.lock")))
+      throw new ContractError("quarantine");
+    const registry = this.registry();
+    const selected = this.selected();
+    if (
+      !registry ||
+      !selected?.value ||
+      !selected.registration ||
+      !selected.owner ||
+      !selected.checkout
+    )
+      refused();
+    const value = selected.value;
+    const matching = registry.value.entries.filter(
+      (row) => row.epoch === value.epoch,
+    );
+    if (
+      matching.length !== 1 ||
+      encoded(matching[0]) !== encoded(reservation(value))
+    )
+      refused();
+    return {
+      registration: { ...selected.value },
+      digest: recoveryDigest(registry, selected),
+    };
+  }
+}
+
+/** Held only by the original owner. Raw-byte AND inode/time identities supplement
+ * TaskStore's semantic lock assertion, including whitespace-only interference. */
+export class OwnerLease {
+  private released = false;
+  constructor(
+    readonly coordination: ServiceCoordination,
+    readonly checkout: CheckoutLock,
+    private selected: Selected & {
+      value: Registration;
+      registration: FileSnapshot;
+    },
+  ) {}
+  get registration(): Readonly<Registration> {
+    return { ...this.selected.value };
+  }
+  assert(): void {
+    if (
+      this.released ||
+      this.selected.value.pid !== process.pid ||
+      this.selected.value.host !== hostname()
+    )
+      throw new ContractError("conflict");
+    const c = this.coordination;
+    c.assertNamespace();
+    for (const [name, snapshot] of [
+      ["config.json", this.selected.config],
+      ["host-config.json", this.selected.hostConfig],
+      ["format.json", this.selected.manifest],
+      ["registration.json", this.selected.registration],
+      ["owner.lock", this.selected.owner],
+      ["local-capability.json", this.selected.capability],
+    ] as const)
+      c.files.assert(c.path(name), snapshot);
+    c.files.assert(c.store.lockPath, this.selected.checkout, 8192);
+    c.store.assertOwner(this.checkout);
+  }
+  phase(phase: OwnerPhase): void {
+    this.assert();
+    const value = { ...this.selected.value, phase };
+    const registration = this.coordination.files.replace(
+      this.coordination.path("registration.json"),
+      this.selected.registration,
+      encoded(value),
+    );
+    this.selected = { ...this.selected, value, registration };
+  }
+  release(): void {
+    this.assert();
+    this.coordination.release(this);
+    this.released = true;
+  }
+  /** Coordination's final ordered release; callers must use owner.stop(). */
+  removeOwnedFiles(assertRegistry: () => void): void {
+    this.assert();
+    assertRegistry();
+    const c = this.coordination;
+    if (!this.selected.capability || !this.selected.owner) refused();
+    const owner = this.selected.owner;
+    c.files.remove(c.path("local-capability.json"), this.selected.capability);
+    this.selected = { ...this.selected, capability: undefined };
+    // Only successful removals change the expected state. A failure or change
+    // at a later boundary must retain every remaining fence, not finish release.
+    this.assert();
+    assertRegistry();
+    c.files.remove(c.path("owner.lock"), owner);
+    this.selected = { ...this.selected, owner: undefined };
+    this.assert();
+    assertRegistry();
+    // Last per-checkout removal: legacy v1 writers stay blocked through all
+    // preceding durable state publication. Multi-file release is not atomic.
+    c.files.assert(c.store.lockPath, this.selected.checkout, 8192);
+    c.store.release(this.checkout);
+  }
+}