@homeflare/alchemy 0.23.0 → 0.25.0

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/zfs-pool.ts

@@ -54,8 +54,16 @@
  *
  * ⚠️ PRIVILEGES, FROM THE SCHEMA. Read and diff need `Sys.Audit` on `/` — both GETs check it.
  *   Reconcile needs `Sys.Modify` on `/` for the POST. `Datastore.Allocate` on `/storage` is NOT
- *   needed, because `add_storage` is not offered — see the ⛔ on `ZfsPoolProps`. `delete` needs
- *   nothing at all, since it calls nothing.
+ *   needed, because `add_storage` is not offered — see the ⛔ on `ZfsPoolProps`.
+ *   ★ CORRECTED 2026-09-23, ALONGSIDE THE HEADER ABOVE: `delete` needs `Sys.Modify` on `/` too,
+ *   for the DELETE it now sends under `.pipe(RemovalPolicy.destroy())` — the whole `disks/zfs`
+ *   family checks it, not only the POST. MEASURED the same day as the rest of this paragraph:
+ *   `ceph-osd.ts`'s own privilege comparison names `disks/zfs` as one of the sibling families
+ *   whose write verbs DO carry a `Sys.Modify` check, unlike `ceph/osd`'s create and delete, which
+ *   carry no permissions block at all and 403 for any identity but `root@pam`. This line
+ *   previously said delete "needs nothing at all, since it calls nothing", which repeated the same
+ *   mistake the header above corrects: `delete` calls the DELETE endpoint, so it needs whatever
+ *   that endpoint checks.
  */
 import { Resource } from 'alchemy';
 import * as Provider from 'alchemy/Provider';

package/src/release/archive.ts

@@ -24,12 +24,17 @@ import { type TarContents, tarReader } from './tar.ts';
 /** How much gzip is handed to the inflater at a time. */
 const SLICE = 1 << 20;
 
-/** Gunzip and read a tar, keeping only `wanted`. Throws ArchiveRefused. */
+/**
+ * Gunzip and read a tar, keeping only `wanted`. Throws ArchiveRefused.
+ * @param root The one declared leading directory to strip (tar.ts) — a directory-wrapped vendor
+ *   archive (the Prometheus family, measured 2026-09-23) without it, or one that carries no root.
+ */
 export const extractMembers = async (
   gzipped: Uint8Array,
   wanted: ReadonlySet<string>,
+  root?: string,
 ): Promise<TarContents> => {
-  const tar = tarReader(wanted);
+  const tar = tarReader(wanted, root);
   // ⚠️ FED IN SLICES, ON DEMAND. Enqueued whole, the 123.6 MB vmutils archive is inflated in one
   //   transform step and all 264 MB of output queue up before the first read: MEASURED 2026-09-22,
   //   a peak RSS of 1116 MB for vmalert alone under bun 1.4.0. `pull` hands over the next slice only
@@ -79,11 +84,12 @@ export const verifiedMember = async (
 ): Promise<Uint8Array> => {
   const archiveSha = sha256Hex(archive);
   if (archiveSha !== release.sha256) throw mismatch(release.url, release.sha256, archiveSha);
-  const { members, names } = await extractMembers(archive, new Set([release.member]));
+  const { members, names } = await extractMembers(archive, new Set([release.member]), release.root);
   const bytes = members.get(release.member);
   if (bytes === undefined) {
+    const under = release.root === undefined ? '' : ` under root "${release.root}/"`;
     throw new ArchiveRefused({
-      message: `${release.url} has no member named exactly "${release.member}" (it has ${names.map((n) => `"${n}"`).join(', ') || 'none'})`,
+      message: `${release.url} has no member named exactly "${release.member}"${under} (it has ${names.map((n) => `"${n}"`).join(', ') || 'none'})`,
     });
   }
   const memberSha = sha256Hex(bytes);

package/src/release/binary-form.ts

@@ -14,6 +14,7 @@
  */
 import type { HostFileAttributes } from '../launchd/host-file-form.ts';
 import { identityProblems, pathProblems } from '../launchd/host-file-form.ts';
+import { pinProblems } from './binary-pins.ts';
 
 /** One release archive, pinned: where it is published, and the bytes it must be. */
 export interface ReleaseArchive {
@@ -30,6 +31,17 @@ export interface ReleaseArchive {
   readonly size: number;
   /** The archive's SHA-256, lower-case hex, as the vendor's checksum file lists it. */
   readonly sha256: string;
+  /**
+   * The one directory the vendor wraps every entry in, exactly as its own archive names it —
+   * `'alertmanager-0.33.1.darwin-arm64'`, never `'alertmanager-0.33.1.darwin-arm64/'` (no trailing
+   * slash). Pinned from the walk-down, never derived from `asset` or `tag`: the vendor spells its
+   * wrapper however it likes (`darwin_arm64`, an `-enterprise` suffix, no version at all), so a
+   * computed name would drift onto a sibling the moment one vendor's naming changes. Omit it for a
+   * flat archive (Victoria, OpenBao); the tar reader then refuses a directory entry exactly as it
+   * always has (tar.ts).
+   * @default undefined — no wrapping directory; the archive is flat.
+   */
+  readonly root?: string;
 }
 
 export interface ReleaseBinaryProps {
@@ -82,6 +94,8 @@ export type PinnedDownload = {
   readonly member: string;
   /** The member's pinned SHA-256. */
   readonly memberSha256: string;
+  /** The one declared leading directory to strip, if the archive has one — `archive.root`. */
+  readonly root?: string;
 };
 
 export const DEFAULT_BINARY_MODE = 0o755;
@@ -109,6 +123,8 @@ export const pinnedDownload = (props: ReleaseBinaryProps): PinnedDownload => ({
   sha256: props.archive.sha256,
   size: props.archive.size,
   url: releaseUrl(props.archive.repo, props.archive.tag, props.archive.asset),
+  // ⚠️ exactOptionalPropertyTypes: never spell out `root: undefined`; leave the key off entirely.
+  ...(props.archive.root === undefined ? {} : { root: props.archive.root }),
 });
 
 export const modeProblems = (mode: number): string[] => {
@@ -123,83 +139,15 @@ export const modeProblems = (mode: number): string[] => {
   return found;
 };
 
-const HEX64 = /^[0-9a-f]{64}$/;
-export const MAX_ARCHIVE = 1 << 30;
-// ⛔ Strict on purpose: each is written into a URL or a path. GitHub's own owner and name alphabet.
-const REPO = /^[A-Za-z0-9](?:[A-Za-z0-9-]*[A-Za-z0-9])?\/[A-Za-z0-9._-]+$/;
-const SEGMENT = /^[A-Za-z0-9._-]+$/;
-// ★ ONLY WHAT THE READER HANDLES: a gzipped tar. A `.zip` or a bare binary is a new capability
-//   with its own walk-down, not a name this should accept and then fail to unpack.
-const TARBALL = /\.(tar\.gz|tgz)$/;
-
-/** A single path segment that cannot climb, hide or name the directory itself. */
-const segmentProblem = (what: string, value: string): string | undefined =>
-  !SEGMENT.test(value) || value === '.' || value === '..'
-    ? `${what} must be one path segment of letters, digits, '.', '_' or '-': ${JSON.stringify(value)}`
-    : undefined;
-
-/** Everything wrong with the pins alone — plain strings in any declaration, resolved or not. */
-export const pinProblems = (props: {
-  readonly archive?: Partial<ReleaseArchive>;
-  readonly member?: unknown;
-  readonly sha256?: unknown;
-  readonly name?: unknown;
-}): string[] => {
-  const archive = props.archive ?? {};
-  const found: string[] = [];
-  const text = (what: string, value: unknown): string | undefined => {
-    if (typeof value === 'string') return value;
-    found.push(`${what} is required, as a plain string`);
-    return undefined;
-  };
-  const repo = text('archive.repo', archive.repo);
-  // ⚠️ `owner/..` passes the alphabet, and a URL parser normalises it away: the request would go
-  //   to `github.com/releases/…`, somewhere nobody pinned. Refused by name.
-  const repoName = repo?.slice(repo.indexOf('/') + 1);
-  if (repo !== undefined && (!REPO.test(repo) || repoName === '.' || repoName === '..'))
-    found.push(`archive.repo must be "owner/name": ${JSON.stringify(repo)}`);
-  for (const [what, value] of [
-    ['archive.tag', archive.tag],
-    ['name', props.name],
-  ] as const) {
-    const given = text(what, value);
-    const problem = given === undefined ? undefined : segmentProblem(what, given);
-    if (problem !== undefined) found.push(problem);
-  }
-  const asset = text('archive.asset', archive.asset);
-  if (asset !== undefined) {
-    const problem = segmentProblem('archive.asset', asset);
-    if (problem !== undefined) found.push(problem);
-    else if (!TARBALL.test(asset))
-      found.push(`archive.asset must be a .tar.gz or .tgz: "${asset}"`);
-  }
-  // ⛔ THE SIZE IS ALLOCATED UP FRONT (download.ts fills one buffer of exactly this many bytes), so
-  //   a typo'd size is a memory bomb in the deploying process. vmutils, the largest archive pinned,
-  //   is 123.6 MB; a gibibyte is a ceiling nothing single-binary should reach.
-  const size = archive.size;
-  if (typeof size !== 'number' || !Number.isSafeInteger(size) || size <= 0 || size > MAX_ARCHIVE) {
-    found.push(`archive.size must be the asset's byte count, 1 to ${String(MAX_ARCHIVE)}`);
-  }
-  for (const [what, value] of [
-    ['archive.sha256', archive.sha256],
-    ['sha256', props.sha256],
-  ] as const) {
-    const given = text(what, value);
-    if (given !== undefined && !HEX64.test(given))
-      found.push(`${what} must be 64 lower-case hex digits`);
-  }
-  const member = text('member', props.member);
-  // ⛔ The tar reader refuses these entries anyway; asking for one is a mistake to name at plan.
-  if (
-    member !== undefined &&
-    (member === '' || member.startsWith('/') || member.split('/').includes('..'))
-  ) {
-    found.push(`member must be a relative name inside the archive: ${JSON.stringify(member)}`);
-  }
-  return found;
-};
+// `pinProblems` (imported above, for `binaryProblems` below) and the constant it needs,
+// `MAX_ARCHIVE`, moved to binary-pins.ts, split out to stay under the file-size cap; re-exported
+// here so every importer of './binary-form.ts' is unchanged.
+export { MAX_ARCHIVE, pinProblems } from './binary-pins.ts';
 
-const ARCHIVE_KEYS = ['repo', 'tag', 'asset', 'size', 'sha256'] as const;
+// ★ 'root' JOINED THIS LIST 2026-09-23. A state row from before this unit has no `root` at all
+//   (`undefined`), and `undefined !== undefined` is false, so an old row with no root and a new
+//   declaration that still has none does not move; declaring — or changing — a root does.
+const ARCHIVE_KEYS = ['repo', 'tag', 'asset', 'size', 'sha256', 'root'] as const;
 
 type Pins = Pick<ReleaseBinaryProps, 'archive' | 'member' | 'sha256'>;
 

package/src/release/binary-pins.ts

@@ -0,0 +1,95 @@
+/**
+ * `pinProblems` — everything wrong with a declaration's pins alone, as plain strings, checked
+ * before a plan resolves a directory or a host is asked anything. Split out of binary-form.ts
+ * 2026-09-23 to keep that file under the house's 250-line cap (it was 229, heading for ~250 once
+ * `archive.root` needed its own validation and JSDoc). binary-form.ts re-exports `pinProblems` and
+ * `MAX_ARCHIVE`, so nothing that imported them moves.
+ */
+import type { ReleaseArchive } from './binary-form.ts';
+
+const HEX64 = /^[0-9a-f]{64}$/;
+export const MAX_ARCHIVE = 1 << 30;
+// ⛔ Strict on purpose: each is written into a URL or a path. GitHub's own owner and name alphabet.
+const REPO = /^[A-Za-z0-9](?:[A-Za-z0-9-]*[A-Za-z0-9])?\/[A-Za-z0-9._-]+$/;
+const SEGMENT = /^[A-Za-z0-9._-]+$/;
+// ★ ONLY WHAT THE READER HANDLES: a gzipped tar. A `.zip` or a bare binary is a new capability
+//   with its own walk-down, not a name this should accept and then fail to unpack.
+const TARBALL = /\.(tar\.gz|tgz)$/;
+
+/** A single path segment that cannot climb, hide or name the directory itself. */
+const segmentProblem = (what: string, value: string): string | undefined =>
+  !SEGMENT.test(value) || value === '.' || value === '..'
+    ? `${what} must be one path segment of letters, digits, '.', '_' or '-': ${JSON.stringify(value)}`
+    : undefined;
+
+/** Everything wrong with the pins alone — plain strings in any declaration, resolved or not. */
+export const pinProblems = (props: {
+  readonly archive?: Partial<ReleaseArchive>;
+  readonly member?: unknown;
+  readonly sha256?: unknown;
+  readonly name?: unknown;
+}): string[] => {
+  const archive = props.archive ?? {};
+  const found: string[] = [];
+  const text = (what: string, value: unknown): string | undefined => {
+    if (typeof value === 'string') return value;
+    found.push(`${what} is required, as a plain string`);
+    return undefined;
+  };
+  const repo = text('archive.repo', archive.repo);
+  // ⚠️ `owner/..` passes the alphabet, and a URL parser normalises it away: the request would go
+  //   to `github.com/releases/…`, somewhere nobody pinned. Refused by name.
+  const repoName = repo?.slice(repo.indexOf('/') + 1);
+  if (repo !== undefined && (!REPO.test(repo) || repoName === '.' || repoName === '..'))
+    found.push(`archive.repo must be "owner/name": ${JSON.stringify(repo)}`);
+  for (const [what, value] of [
+    ['archive.tag', archive.tag],
+    ['name', props.name],
+  ] as const) {
+    const given = text(what, value);
+    const problem = given === undefined ? undefined : segmentProblem(what, given);
+    if (problem !== undefined) found.push(problem);
+  }
+  const asset = text('archive.asset', archive.asset);
+  if (asset !== undefined) {
+    const problem = segmentProblem('archive.asset', asset);
+    if (problem !== undefined) found.push(problem);
+    else if (!TARBALL.test(asset))
+      found.push(`archive.asset must be a .tar.gz or .tgz: "${asset}"`);
+  }
+  // ★ ONE DECLARED DIRECTORY, NEVER DERIVED. Optional: most archives (Victoria, OpenBao) are flat.
+  //   Where given, it is the vendor's own wrapper (measured, not guessed — tar.ts's header comment)
+  //   and must be exactly one safe segment, the same alphabet as a tag or an asset name.
+  if (archive.root !== undefined) {
+    if (typeof archive.root !== 'string') {
+      found.push('archive.root must be a plain string when given');
+    } else {
+      const problem = segmentProblem('archive.root', archive.root);
+      if (problem !== undefined) found.push(problem);
+    }
+  }
+  // ⛔ THE SIZE IS ALLOCATED UP FRONT (download.ts fills one buffer of exactly this many bytes), so
+  //   a typo'd size is a memory bomb in the deploying process. vmutils, the largest archive pinned,
+  //   is 123.6 MB; a gibibyte is a ceiling nothing single-binary should reach.
+  const size = archive.size;
+  if (typeof size !== 'number' || !Number.isSafeInteger(size) || size <= 0 || size > MAX_ARCHIVE) {
+    found.push(`archive.size must be the asset's byte count, 1 to ${String(MAX_ARCHIVE)}`);
+  }
+  for (const [what, value] of [
+    ['archive.sha256', archive.sha256],
+    ['sha256', props.sha256],
+  ] as const) {
+    const given = text(what, value);
+    if (given !== undefined && !HEX64.test(given))
+      found.push(`${what} must be 64 lower-case hex digits`);
+  }
+  const member = text('member', props.member);
+  // ⛔ The tar reader refuses these entries anyway; asking for one is a mistake to name at plan.
+  if (
+    member !== undefined &&
+    (member === '' || member.startsWith('/') || member.split('/').includes('..'))
+  ) {
+    found.push(`member must be a relative name inside the archive: ${JSON.stringify(member)}`);
+  }
+  return found;
+};

package/src/release/binary-root.test.ts

@@ -0,0 +1,122 @@
+/**
+ * `Release.Binary` end to end, through Alchemy's own Plan and Apply (openbao/fake-stack.ts), for a
+ * synthetic archive shaped like the Prometheus family: every entry wrapped in one directory
+ * (tar.ts's header comment, measured 2026-09-23). `archive.root` installs it; the same declaration
+ * without `root` refuses, exactly as tar-root.test.ts shows at the reader alone.
+ */
+import { describe, expect, test } from 'bun:test';
+import * as Effect from 'effect/Effect';
+import * as Layer from 'effect/Layer';
+import * as HttpClient from 'effect/unstable/http/HttpClient';
+import * as HttpClientResponse from 'effect/unstable/http/HttpClientResponse';
+import { sha256Hex } from '../launchd/job-form.ts';
+import { type HostRunner, hostRunnerLayer } from '../launchd/runner.ts';
+import { HostDirectory, HostDirectoryProvider } from '../linux/directory.ts';
+import { fakeLinuxHost } from '../linux/fake-linux-host.ts';
+import { fakeStack } from '../openbao/fake-stack.ts';
+import { releaseUrl } from './binary-form.ts';
+import { ReleaseBinary, makeReleaseBinaryProvider } from './binary.ts';
+import type { PinnedBinary } from './catalog.ts';
+import { bytesOf, gzip, tarOf } from './fake-release.ts';
+
+const ROOT = '/opt/example/bin';
+const DIR = `${ROOT}/alertmanager-0.33.1`;
+const WRAPPED = 'alertmanager-0.33.1.darwin-arm64';
+const BYTES = bytesOf('#!fake alertmanager 0.33.1\n');
+const ARCHIVE = gzip(
+  tarOf([
+    { name: `${WRAPPED}/`, type: '5' },
+    { bytes: BYTES, name: `${WRAPPED}/alertmanager` },
+  ]),
+);
+const ASSET = 'alertmanager-0.33.1.darwin-arm64.tar.gz';
+const REPO = 'prometheus/alertmanager';
+const TAG = 'v0.33.1';
+const URL = releaseUrl(REPO, TAG, ASSET);
+const PATH = `${DIR}/alertmanager`;
+
+/** The pinned props, with or without the declared root — everything else identical. */
+const pins = (root?: string): PinnedBinary => ({
+  archive: {
+    asset: ASSET,
+    repo: REPO,
+    sha256: sha256Hex(ARCHIVE),
+    size: ARCHIVE.length,
+    tag: TAG,
+    ...(root === undefined ? {} : { root }),
+  },
+  member: 'alertmanager',
+  name: 'alertmanager',
+  sha256: sha256Hex(BYTES),
+});
+
+/** One fake host and one fake server; `events` is every host write and request, in order. */
+const harness = () => {
+  // ★ SEED THE PARENT, NOT `DIR` ITSELF: `HostDirectory` below creates `DIR` fresh, as
+  //   plan.test.ts's harness does — a directory pre-seeded at the declared path would instead be
+  //   an adoption question, which is not what this file is testing.
+  const fake = fakeLinuxHost({ dirs: { [ROOT]: 0 }, euid: 0 });
+  const events: string[] = [];
+  const runner: HostRunner = {
+    ...fake.runner,
+    writeFileAtomic: (path, bytes, options) => {
+      events.push(`write ${path}`);
+      return fake.runner.writeFileAtomic(path, bytes, options);
+    },
+  };
+  const client = HttpClient.make((request, url) => {
+    events.push(`GET ${url.toString()}`);
+    const body = url.toString() === URL ? new Blob([ARCHIVE.slice()]) : null;
+    return Effect.succeed(
+      HttpClientResponse.fromWeb(request, new Response(body, { status: body ? 200 : 404 })),
+    );
+  });
+  const providers = Layer.mergeAll(makeReleaseBinaryProvider(), HostDirectoryProvider()).pipe(
+    Layer.provide(
+      Layer.mergeAll(hostRunnerLayer(runner), Layer.succeed(HttpClient.HttpClient, client)),
+    ),
+  );
+  const stack = fakeStack(providers, {}, 'RootBinaryStack');
+  const declare = (binary: PinnedBinary) =>
+    Effect.gen(function* () {
+      const dir = yield* HostDirectory('alertmanager-dir', { mode: 0o755, path: DIR });
+      yield* ReleaseBinary('alertmanager', { ...binary, directory: dir.path });
+    });
+  return { declare, events, fake, stack };
+};
+
+describe('a directory-wrapped archive, declared with root', () => {
+  test('installs, reads back and re-hashes to the pinned member digest', async () => {
+    const h = harness();
+    const planned = await h.stack.deploy(h.declare(pins(WRAPPED)));
+    expect(planned).toEqual({ alertmanager: 'create', 'alertmanager-dir': 'create' });
+    expect(h.fake.files.get(PATH)?.bytes).toEqual(BYTES);
+    expect(sha256Hex(h.fake.files.get(PATH)?.bytes ?? new Uint8Array())).toBe(sha256Hex(BYTES));
+  });
+
+  test('a second deploy of the same declaration reads the file back; nothing downloaded again', async () => {
+    const h = harness();
+    await h.stack.deploy(h.declare(pins(WRAPPED)));
+    h.events.length = 0;
+    await h.stack.deploy(h.declare(pins(WRAPPED)));
+    expect(h.events).toEqual([]);
+    expect(h.fake.files.get(PATH)?.bytes).toEqual(BYTES);
+  });
+
+  test('the same declaration without root refuses, writes nothing, leaves no file at the path', async () => {
+    const h = harness();
+    await expect(h.stack.deploy(h.declare(pins()))).rejects.toThrow('is a directory');
+    expect(h.fake.files.has(PATH)).toBe(false);
+  });
+});
+
+describe('pinProblems refuses an unsafe root, before any host write or network call', () => {
+  test.each(['', '.', '..', 'a/b', './a'])('root %j', async (root) => {
+    const h = harness();
+    await expect(h.stack.deploy(h.declare(pins(root)))).rejects.toThrow('archive.root must be');
+    expect(h.fake.files.has(PATH)).toBe(false);
+    // ★ mkdir is not instrumented (it goes through `exec`, not `writeFileAtomic`), so HostDirectory
+    //   creating DIR is expected here; nothing about ReleaseBinary's own pin is.
+    expect(h.events.filter((e) => e.startsWith('GET') || e.startsWith('write'))).toEqual([]);
+  });
+});

package/src/release/catalog.ts

@@ -191,9 +191,17 @@ export const catalogBinary = (catalog: ReleaseCatalog, request: CatalogRequest):
       message: `Release.Binary ${request.binary}: ${problems.join('; ')}. Nothing was fetched.`,
     });
   }
-  const { asset, repo, sha256: archiveSha256, size, tag } = archive;
+  const { asset, repo, root, sha256: archiveSha256, size, tag } = archive;
   return {
-    archive: { asset, repo, sha256: archiveSha256, size, tag },
+    // ⚠️ exactOptionalPropertyTypes: a conditional spread, never `root: undefined` spelled out.
+    archive: {
+      asset,
+      repo,
+      sha256: archiveSha256,
+      size,
+      tag,
+      ...(root === undefined ? {} : { root }),
+    },
     member,
     name: request.binary,
     sha256,

package/src/release/tar-root.test.ts

@@ -0,0 +1,114 @@
+/**
+ * `tarReader(wanted, root)` — the declared-root mode measured against the Prometheus-family shape
+ * (tar.ts's header comment, 2026-09-23): one directory entry wraps every other entry, stripped
+ * before a name is matched, listed or checked for a duplicate. Everything tar.test.ts already
+ * refuses keeps refusing; this file is only what `root` adds or changes.
+ */
+import { describe, expect, test } from 'bun:test';
+import { bytesOf, tarOf } from './fake-release.ts';
+import { ArchiveRefused } from './refused.ts';
+import { tarReader } from './tar.ts';
+
+const ROOT = 'alertmanager-0.33.1.darwin-arm64';
+const wrapper = { name: `${ROOT}/`, type: '5' } as const;
+const binary = { bytes: bytesOf('#!binary\n'), name: `${ROOT}/alertmanager` } as const;
+
+const read = (tar: Uint8Array, wanted: readonly string[], root?: string) => {
+  const reader = tarReader(new Set(wanted), root);
+  reader.push(tar);
+  return reader.finish();
+};
+
+const refusal = (run: () => unknown): string => {
+  try {
+    run();
+  } catch (cause) {
+    expect(cause).toBeInstanceOf(ArchiveRefused);
+    return (cause as ArchiveRefused).message;
+  }
+  throw new Error('expected a refusal');
+};
+
+describe('a declared root strips exactly one leading directory', () => {
+  test('the member comes back under its stripped name; the root entry is not one of the names', () => {
+    const tar = tarOf([wrapper, binary]);
+    const { members, names } = read(tar, ['alertmanager'], ROOT);
+    expect(new TextDecoder().decode(members.get('alertmanager'))).toBe('#!binary\n');
+    expect(names).toEqual(['alertmanager']);
+  });
+
+  test('a sibling regular file under root is listed, stripped, but not fetched unless asked for', () => {
+    const notice = { bytes: bytesOf('legal text'), name: `${ROOT}/NOTICE` };
+    const { members, names } = read(tarOf([wrapper, binary, notice]), ['alertmanager'], ROOT);
+    expect(names).toEqual(['alertmanager', 'NOTICE']);
+    expect(members.has('NOTICE')).toBe(false);
+  });
+
+  test('THE SAME ARCHIVE, root omitted: still refused "is a directory" — origin/main\'s behaviour', () => {
+    const tar = tarOf([wrapper, binary]);
+    expect(refusal(() => read(tar, ['alertmanager']))).toContain('is a directory');
+  });
+
+  test('a root declared but never present in the archive is refused', () => {
+    expect(refusal(() => read(tarOf([binary]), ['alertmanager'], ROOT))).toContain('never appears');
+  });
+
+  // 🔴 ADVERSARIAL REVIEW, 2026-09-23 (before merge): a stripped name was never re-checked by
+  //   `nameProblem`, so `<root>//x` — not absolute as a whole raw name, but stripping to `/x` —
+  //   parsed to completion as a second, distinct, un-refused entry `/x` beside `x`. Fixed in
+  //   tar.ts by running `nameProblem` on the STRIPPED name too, not only the raw one.
+  test('stripping cannot uncover an absolute name the reader would otherwise refuse', () => {
+    // `<root>//alertmanager` is not absolute AS A WHOLE NAME, so it passes nameProblem before
+    // stripping; only after `<root>/` is removed does it become the absolute name `/alertmanager`.
+    const evil = { bytes: bytesOf('evil'), name: `${ROOT}//alertmanager` };
+    expect(refusal(() => read(tarOf([wrapper, binary, evil]), ['alertmanager'], ROOT))).toContain(
+      'strips to "/alertmanager"',
+    );
+  });
+});
+
+describe('everything a declared root still refuses, whole archive', () => {
+  test.each([
+    ['a second directory entry (the root, twice)', [wrapper, wrapper, binary], 'appearing twice'],
+    [
+      'an entry named <root>-evil/x: a segment match, not a string prefix',
+      [wrapper, binary, { name: `${ROOT}-evil/x` }],
+      'outside the declared root',
+    ],
+    [
+      'a regular file at archive top level beside root',
+      [wrapper, binary, { name: 'README' }],
+      'outside the declared root',
+    ],
+    ['<root>/../x climbs out through the root', [wrapper, { name: `${ROOT}/../x` }], 'climbs out'],
+    [
+      'a PAX x header inside root',
+      [wrapper, binary, { name: `${ROOT}/PaxHeader`, type: 'x' }],
+      'PAX extended',
+    ],
+    [
+      'a GNU L header inside root',
+      [wrapper, binary, { name: `${ROOT}/@LongLink`, type: 'L' }],
+      'GNU long-name',
+    ],
+    ['a symlink inside root', [wrapper, binary, { name: `${ROOT}/link`, type: '2' }], 'a symlink'],
+    [
+      'the root entry with size > 0',
+      [{ ...wrapper, bytes: bytesOf('x') }, binary],
+      'not an empty directory',
+    ],
+    [
+      'the root entry as typeflag 1 (a hard link), not a directory',
+      [{ name: `${ROOT}/`, type: '1' }],
+      'not an empty directory',
+    ],
+    [
+      'the root entry as typeflag 2 (a symlink), not a directory',
+      [{ name: `${ROOT}/`, type: '2' }],
+      'not an empty directory',
+    ],
+    ['a duplicate name after stripping', [wrapper, binary, binary], 'appears twice'],
+  ] as const)('%s', (_, entries, message) => {
+    expect(refusal(() => read(tarOf(entries), ['alertmanager'], ROOT))).toContain(message);
+  });
+});