halfcycle 0.3.12 → 0.3.14

package/dist/bin.js

@@ -1,9 +1,9 @@
 #!/usr/bin/env node
 
 // dist/bin.js
-import { execFileSync as execFileSync3 } from "node:child_process";
-import { readFileSync as readFileSync8 } from "node:fs";
-import { join as join9 } from "node:path";
+import { execFileSync as execFileSync4 } from "node:child_process";
+import { readFileSync as readFileSync9 } from "node:fs";
+import { join as join10 } from "node:path";
 
 // dist/install.js
 import { existsSync as existsSync3, mkdirSync as mkdirSync4, readFileSync as readFileSync5, rmSync, writeFileSync as writeFileSync4 } from "node:fs";
@@ -704,6 +704,13 @@ function readRootCommit(targetRepoRoot) {
 function readRemote(targetRepoRoot) {
   return git(targetRepoRoot, ["remote", "get-url", "origin"]);
 }
+function readCommitCount(targetRepoRoot) {
+  const out = git(targetRepoRoot, ["rev-list", "--count", "HEAD"]);
+  if (out === null)
+    return null;
+  const count = Number.parseInt(out, 10);
+  return Number.isFinite(count) ? count : null;
+}
 function mintOrReadIdentity(targetRepoRoot) {
   const path = join3(targetRepoRoot, ".halfcycle", "project.json");
   if (existsSync(path)) {
@@ -1618,7 +1625,7 @@ function resolveControlOrigin(env = process.env) {
   return { origin: DEFAULT_CONTROL_ORIGIN, source: "default" };
 }
 function controlOriginNote(resolved) {
-  return resolved.source === "environment" ? `${resolved.origin} (from HALFCYCLE_SERVICE_URL)` : `${resolved.origin} (the Halfcycle plane)`;
+  return resolved.source === "environment" ? `${resolved.origin} (from HALFCYCLE_SERVICE_URL)` : `${resolved.origin} (the published one)`;
 }
 
 // dist/device-signin.js
@@ -1705,14 +1712,14 @@ async function bindLoopback(env = process.env) {
     else
       pending = callback;
   }));
-  const bindProblem = await new Promise((resolve3) => {
+  const bindProblem = await new Promise((resolve4) => {
     const onError = (err) => {
-      resolve3(`${err.code ?? "bind failed"} on ${LOOPBACK_REDIRECT_HOST}:${wanted.port}`);
+      resolve4(`${err.code ?? "bind failed"} on ${LOOPBACK_REDIRECT_HOST}:${wanted.port}`);
     };
     server.once("error", onError);
     server.listen({ host: LOOPBACK_REDIRECT_HOST, port: wanted.port }, () => {
       server.removeListener("error", onError);
-      resolve3(null);
+      resolve4(null);
     });
   });
   if (bindProblem !== null) {
@@ -1728,9 +1735,9 @@ async function bindLoopback(env = process.env) {
     bound: true,
     target: { port: address.port, state },
     boundAddress: address.address,
-    waitForCallback: ({ timeoutMs, onStillWaiting, stillWaitingMs = DEFAULT_STILL_WAITING_MS }) => new Promise((resolve3) => {
+    waitForCallback: ({ timeoutMs, onStillWaiting, stillWaitingMs = DEFAULT_STILL_WAITING_MS }) => new Promise((resolve4) => {
       if (pending !== null) {
-        resolve3(pending);
+        resolve4(pending);
         return;
       }
       const startedAt = Date.now();
@@ -1740,7 +1747,7 @@ async function bindLoopback(env = process.env) {
           clearInterval(ticker);
         clearTimeout(timer);
         deliver = null;
-        resolve3(value);
+        resolve4(value);
       };
       const timer = setTimeout(() => finish(null), Math.max(0, timeoutMs));
       deliver = finish;
@@ -1749,9 +1756,9 @@ async function bindLoopback(env = process.env) {
   };
 }
 function closeServer(server) {
-  return new Promise((resolve3) => {
+  return new Promise((resolve4) => {
     server.closeAllConnections();
-    server.close(() => resolve3());
+    server.close(() => resolve4());
   });
 }
 
@@ -1765,7 +1772,7 @@ var SignInRefused = class extends Error {
   }
 };
 var SIGN_IN_TIMED_OUT = "timed-out";
-var SIGN_IN_TIMEOUT_MESSAGE = "Sign-in timed out: the Halfcycle plane stopped answering while this terminal was waiting for the browser. Nothing was created. Check your connection and run the command again.";
+var SIGN_IN_TIMEOUT_MESSAGE = "Sign-in timed out: the Halfcycle service stopped answering while this terminal was waiting for the browser. Nothing was created. Check your connection and run the command again.";
 var SIGN_IN_NON_INTERACTIVE_MESSAGE = "Halfcycle needs a signed-in account and this looks like a non-interactive run (CI is set), so there is no browser to sign in with. Set HALFCYCLE_TOKEN in the environment to a Halfcycle credential and run this again. Nothing was created.";
 var DEADLINE_SLACK_INTERVALS = 1;
 var STILL_WAITING_MS = 15e3;
@@ -1773,7 +1780,7 @@ function defaultWrite(text) {
   process.stdout.write(text);
 }
 function defaultSleep(ms) {
-  return new Promise((resolve3) => setTimeout(resolve3, ms));
+  return new Promise((resolve4) => setTimeout(resolve4, ms));
 }
 function browserOpenCommand(os, url) {
   if (os === "darwin")
@@ -1799,12 +1806,12 @@ async function openBrowser(url, env = process.env) {
     return { opened: false, reason: "the sign-in address is not an http(s) URL this CLI will open" };
   }
   const { command, args: args2 } = browserOpenCommand(platform3(), url);
-  return new Promise((resolve3) => {
+  return new Promise((resolve4) => {
     let child;
     try {
       child = spawn(command, args2, { stdio: "ignore", env });
     } catch (err) {
-      resolve3({
+      resolve4({
         opened: false,
         reason: `${command} could not be run (${err instanceof Error ? err.message : String(err)})`
       });
@@ -1816,7 +1823,7 @@ async function openBrowser(url, env = process.env) {
         return;
       settled = true;
       clearTimeout(timer);
-      resolve3(attempt);
+      resolve4(attempt);
     };
     const timer = setTimeout(() => {
       child.unref();
@@ -1852,7 +1859,7 @@ async function startDeviceAuth(serviceUrl) {
       body: "{}"
     });
   } catch (err) {
-    throw new SignInRefused(SIGN_IN_TIMED_OUT, `Could not reach the Halfcycle plane at ${url} to start a sign-in: ${err instanceof Error ? err.message : String(err)}. Nothing was created.`);
+    throw new SignInRefused(SIGN_IN_TIMED_OUT, `Could not reach the Halfcycle service at ${url} to start a sign-in: ${err instanceof Error ? err.message : String(err)}. Nothing was created.`);
   }
   const body = await res.json().catch(() => null);
   if (res.status !== 201) {
@@ -1861,7 +1868,7 @@ async function startDeviceAuth(serviceUrl) {
   }
   const parsed = deviceAuthStartResponseSchema.safeParse(body);
   if (!parsed.success) {
-    throw new SignInRefused(SIGN_IN_TIMED_OUT, `The Halfcycle plane at ${url} answered a sign-in start this client cannot read. Either that plane is older than this installer, or the address is not a Halfcycle control plane. Nothing was created.`);
+    throw new SignInRefused(SIGN_IN_TIMED_OUT, `The Halfcycle service at ${url} answered a sign-in start this client cannot read. Either that service is older than this installer, or the address is not a Halfcycle service. Nothing was created.`);
   }
   return parsed.data;
 }
@@ -1936,7 +1943,7 @@ async function collectDecidedCredential(serviceUrl, started, deps) {
       });
       body = await res.json().catch(() => null);
     } catch (err) {
-      lastProblem = `The browser finished signing you in, but this terminal could not reach the Halfcycle plane to collect the credential: ${err instanceof Error ? err.message : String(err)}. Run the command again.`;
+      lastProblem = `The browser finished signing you in, but this terminal could not reach the Halfcycle service to collect the credential: ${err instanceof Error ? err.message : String(err)}. Run the command again.`;
       continue;
     }
     const parsed = devicePollResponseSchema.safeParse(body);
@@ -2125,7 +2132,7 @@ async function requestEngagementValues(url, requestBody, credential, shape) {
       body: JSON.stringify(requestBody)
     });
   } catch (err) {
-    throw new Error(`[bundle install] Could not reach the Halfcycle control plane at ${url}: ${err instanceof Error ? err.message : String(err)}. ${shape.nothingHappened}. ` + CONTROL_ORIGIN_HINT);
+    throw new Error(`[bundle install] Could not reach the Halfcycle service at ${url}: ${err instanceof Error ? err.message : String(err)}. ${shape.nothingHappened}. ` + CONTROL_ORIGIN_HINT);
   }
   if (!res.ok) {
     const detail = await res.text().catch(() => "");
@@ -2133,7 +2140,7 @@ async function requestEngagementValues(url, requestBody, credential, shape) {
     if (refusal) {
       throw new CreateEngagementRefused(res.status, refusal.message, refusal.error, `[bundle install] ${shape.action} failed: ${url} returned ${res.status}. ${refusal.message} ${shape.nothingHappened}.`);
     }
-    const wrongOrigin = res.status === 404 ? `That address answered, but it does not serve ${shape.route} \u2014 so it is not the control plane. ` : "";
+    const wrongOrigin = res.status === 404 ? `That address answered, but it does not serve ${shape.route} \u2014 so it is not the Halfcycle service. ` : "";
     throw new Error(`[bundle install] ${shape.action} failed: ${url} returned ${res.status}. ${wrongOrigin}${detail ? `Response: ${detail.slice(0, 300)}. ` : ""}${shape.nothingHappened}. ` + CONTROL_ORIGIN_HINT);
   }
   const body = await res.json().catch(() => null);
@@ -2145,14 +2152,14 @@ async function requestEngagementValues(url, requestBody, credential, shape) {
     ["sessionToken", body.sessionToken]
   ]) {
     if (value.trim() === "") {
-      throw new Error(`[bundle install] The Halfcycle plane at ${url} answered with a blank ${field} (the field is present but empty). An install cannot proceed on it: it would be written into this engagement's credential store, read back as a configured value, and every guard evaluation would fail against it for the life of the engagement. ${shape.nothingHappened} and nothing was written. ` + CONTROL_ORIGIN_HINT);
+      throw new Error(`[bundle install] The Halfcycle service at ${url} answered with a blank ${field} (the field is present but empty). An install cannot proceed on it: it would be written into this engagement's credential store, read back as a configured value, and every guard evaluation would fail against it for the life of the engagement. ${shape.nothingHappened} and nothing was written. ` + CONTROL_ORIGIN_HINT);
     }
   }
   if (typeof body.mcpUrl !== "string" || body.mcpUrl.trim() === "") {
-    throw new Error(`[bundle install] The Halfcycle plane at ${url} created an engagement but did not say where its MCP server lives (no mcpUrl on the response). Without that address the install would write an MCP registration pointing nowhere, so nothing was written. Either that plane is older than this installer, or ${url} is not a Halfcycle control plane.`);
+    throw new Error(`[bundle install] The Halfcycle service at ${url} created an engagement but did not say where its MCP server lives (no mcpUrl on the response). Without that address the install would write an MCP registration pointing nowhere, so nothing was written. Either that service is older than this installer, or ${url} is not a Halfcycle service.`);
   }
   if (typeof body.guardUrl !== "string" || body.guardUrl.trim() === "") {
-    throw new Error(`[bundle install] The Halfcycle plane at ${url} created an engagement but did not say where its guard service lives (no guardUrl on the response). Without that address the install would wire a guard hook that evaluates nothing, so nothing was written. Either that plane is older than this installer, or ${url} is not a Halfcycle control plane.`);
+    throw new Error(`[bundle install] The Halfcycle service at ${url} created an engagement but did not say where its guard service lives (no guardUrl on the response). Without that address the install would wire a guard hook that evaluates nothing, so nothing was written. Either that service is older than this installer, or ${url} is not a Halfcycle service.`);
   }
   const controlTelemetryUrl = typeof body.controlTelemetryUrl === "string" && body.controlTelemetryUrl.trim() !== "" ? body.controlTelemetryUrl.trim().replace(/\/+$/, "") : void 0;
   return {
@@ -2211,12 +2218,284 @@ function refusedCredentialRemedy(source) {
     case "stored":
       return "That was this machine's saved sign-in and it has been discarded. Run the command again to sign in through your browser.";
     case "browser-handoff":
-      return "That credential was issued by this sign-in moments ago, so signing in again would produce the same result. This is a problem on the Halfcycle plane rather than with your account.";
+      return "That credential was issued by this sign-in moments ago, so signing in again would produce the same result. This is a problem on the Halfcycle service rather than with your account.";
   }
 }
 
 // dist/confirm-identity.js
 import { createInterface } from "node:readline/promises";
+
+// dist/banner.js
+var MARK_FULL = {
+  width: 32,
+  discRows: 7,
+  lines: [
+    "          :+oshhhhso+:",
+    "       :sdMMMMMMMMMMMMds:",
+    "     :hMMMMMMMMMMMMMMMMMMh:",
+    "    oMMMMMMMMMMMMMMMMMMMMMMo",
+    "   oMMMMMMMMMMMMMMMMMMMMMMMMo",
+    "   NMMMMMMMMMMMMMMMMMMMMMMMMN",
+    "  :ssssssssssssssssssssssssss:",
+    "  +dddddddddddddddddddddddddd+",
+    "   Nd                      dN",
+    "   oMy                    yMo",
+    "    oMh:                :hMo",
+    "     :hMy-            -yMh:",
+    "       :sdNys++--++syNds:",
+    "          :+oshhhhso+:"
+  ]
+};
+var MARK_NARROW = {
+  width: 24,
+  discRows: 5,
+  lines: [
+    "      -ohdMMMMdho-",
+    "    +dMMMMMMMMMMMMd+",
+    "   yMMMMMMMMMMMMMMMMy",
+    "  sMMMMMMMMMMMMMMMMMMs",
+    "  yhhhhhhhhhhhhhhhhhhy",
+    "  NdhhhhhhhhhhhhhhhhdN",
+    "  sd                ds",
+    "   yd:            :dy",
+    "    +dy+        +yd+",
+    "      -ohhhhhhhho-"
+  ]
+};
+var UNICODE_GLYPHS = {
+  rule: "\u2500",
+  swatch: "\u2584",
+  dot: "\xB7",
+  dash: "\u2014"
+};
+var ASCII_GLYPHS = {
+  rule: "-",
+  swatch: "#",
+  dot: "|",
+  dash: "-"
+};
+function toAscii(text) {
+  let out = text;
+  for (const key of Object.keys(UNICODE_GLYPHS)) {
+    out = out.split(UNICODE_GLYPHS[key]).join(ASCII_GLYPHS[key]);
+  }
+  return out.replace(/[^ -~]/g, "?");
+}
+var INK = {
+  /** `--text` — the terminal's own foreground, never one we picked. */
+  plain: "",
+  /** `--muted` — dimmed default ink, so it is grey against whatever the background is. */
+  dim: "2",
+  /** `--faint` / `--faded` — bright black, the one ANSI grey that is a colour. */
+  faint: "90",
+  /** Not a colour: emphasis, used with whatever ink is already in force. */
+  bold: "1",
+  /** `--signal` — yellow, the nearest ANSI seat for the brand's gold. */
+  key: "33",
+  /** `--signal`, brighter: the one value on a screen that must be found first. */
+  keyBold: "33;1",
+  /** `--good` — the console's affirmative. */
+  good: "32",
+  /** `--bad` — the console's negative. */
+  bad: "31"
+};
+var SWATCH_SGR = [
+  INK.dim,
+  INK.faint,
+  INK.plain,
+  INK.key,
+  INK.keyBold,
+  INK.good,
+  INK.bad
+];
+var ESC = "\x1B";
+var RESET = `${ESC}[0m`;
+function paint(segments, colour) {
+  return segments.map((s) => colour && s.sgr !== "" ? `${ESC}[${s.sgr}m${s.text}${RESET}` : s.text).join("");
+}
+function ink(name, text, colour) {
+  const sgr = INK[name];
+  return colour && sgr !== "" ? `${ESC}[${sgr}m${text}${RESET}` : text;
+}
+var GAP = 4;
+var FULL_LAYOUT = { art: MARK_FULL, label: 13, rule: 28, palette: true, minColumns: 76 };
+var NARROW_LAYOUT = { art: MARK_NARROW, label: 10, rule: 20, palette: false, minColumns: 48 };
+var DEFAULT_COLUMNS = 80;
+function usableColumns(environment) {
+  const columns = environment.columns;
+  return columns !== void 0 && columns > 0 ? columns : DEFAULT_COLUMNS;
+}
+function isSet(value) {
+  return value !== void 0 && value !== "";
+}
+function plainTextRequested(env) {
+  return isSet(env["NO_COLOR"]) || env["TERM"] === "dumb";
+}
+function decideCut(environment = {}) {
+  const env = environment.env ?? {};
+  if (environment.quiet === true)
+    return "none";
+  if (environment.isTTY !== true)
+    return "line";
+  if (plainTextRequested(env))
+    return "line";
+  const columns = usableColumns(environment);
+  if (columns >= FULL_LAYOUT.minColumns)
+    return "full";
+  if (columns >= NARROW_LAYOUT.minColumns)
+    return "narrow";
+  return "line";
+}
+function decideColour(environment = {}) {
+  const env = environment.env ?? {};
+  const force = env["FORCE_COLOR"];
+  if (isSet(force))
+    return force !== "0";
+  if (plainTextRequested(env))
+    return false;
+  return environment.isTTY === true;
+}
+function decideUnicode(environment = {}) {
+  const env = environment.env ?? {};
+  if ((environment.platform ?? "") !== "win32") {
+    const locale = env["LC_ALL"] ?? env["LC_CTYPE"] ?? env["LANG"] ?? "";
+    return locale === "" || /utf-?8/i.test(locale);
+  }
+  return isSet(env["WT_SESSION"]) || isSet(env["TERMINUS_SUBLIME"]) || env["ConEmuTask"] === "{cmd::Cmder}" || env["TERM_PROGRAM"] === "vscode";
+}
+function padEnd(text, width) {
+  return text + " ".repeat(Math.max(0, width - text.length));
+}
+function clip(text, width) {
+  if (width < 8 || text.length <= width)
+    return text;
+  return `${text.slice(0, width - 3)}...`;
+}
+function paletteRow(swatch) {
+  const row = [];
+  SWATCH_SGR.forEach((sgr, i) => {
+    if (i > 0)
+      row.push({ text: " ", sgr: INK.plain });
+    row.push({ text: swatch.repeat(2), sgr });
+  });
+  return row;
+}
+function factColumn(content, layout, glyphs, text, valueWidth) {
+  const rows = [];
+  const head = text(content.head);
+  const at = head.indexOf("@");
+  rows.push(at < 0 ? [{ text: head, sgr: INK.keyBold }] : [
+    { text: head.slice(0, at), sgr: INK.keyBold },
+    { text: "@", sgr: INK.dim },
+    { text: head.slice(at + 1), sgr: INK.bold }
+  ]);
+  rows.push([{ text: glyphs.rule.repeat(layout.rule), sgr: INK.dim }]);
+  const narrow = layout.art === MARK_NARROW;
+  for (const fact2 of content.facts) {
+    const raw = narrow ? fact2.narrow : fact2.value;
+    if (raw === void 0)
+      continue;
+    rows.push([
+      { text: padEnd(`${text(fact2.label)}:`, layout.label), sgr: INK.key },
+      { text: clip(text(raw), valueWidth), sgr: INK.plain }
+    ]);
+  }
+  if (layout.palette) {
+    rows.push([]);
+    rows.push(paletteRow(glyphs.swatch));
+  }
+  return rows;
+}
+var MARGIN = 2;
+function lastSentenceStart(line) {
+  const at = line.lastIndexOf(". ");
+  return at < 0 ? 0 : at + 2;
+}
+function taglineRow(line, first, last) {
+  const indent = { text: "  ", sgr: INK.plain };
+  if (first)
+    return [indent, { text: line, sgr: INK.keyBold }];
+  if (!last)
+    return [indent, { text: line, sgr: INK.dim }];
+  const at = lastSentenceStart(line);
+  if (at === 0)
+    return [indent, { text: line, sgr: INK.key }];
+  return [
+    indent,
+    { text: line.slice(0, at), sgr: INK.dim },
+    { text: line.slice(at), sgr: INK.key }
+  ];
+}
+function renderBlock(content, layout, environment) {
+  const unicode = decideUnicode(environment);
+  const colour = decideColour(environment);
+  const glyphs = unicode ? UNICODE_GLYPHS : ASCII_GLYPHS;
+  const text = (raw) => unicode ? raw : toAscii(raw);
+  const art = layout.art;
+  const valueWidth = usableColumns(environment) - (art.width + GAP + layout.label);
+  const right = factColumn(content, layout, glyphs, text, valueWidth);
+  const top = Math.max(0, Math.floor((art.lines.length - right.length) / 2));
+  const height = Math.max(art.lines.length, right.length + top);
+  const lines = Array.from({ length: MARGIN }, () => []);
+  for (let i = 0; i < height; i++) {
+    const artLine = art.lines[i] ?? "";
+    const segments = [];
+    if (artLine.length > 0) {
+      segments.push({ text: artLine, sgr: i < art.discRows ? INK.plain : INK.dim });
+    }
+    const rightRow = right[i - top];
+    if (rightRow !== void 0 && rightRow.length > 0) {
+      segments.push({ text: " ".repeat(Math.max(0, art.width + GAP - artLine.length)), sgr: INK.plain });
+      segments.push(...rightRow);
+    }
+    lines.push(segments);
+  }
+  const tagline = layout.art === MARK_NARROW ? content.tagNarrow ?? content.tag : content.tag;
+  lines.push([]);
+  tagline.forEach((line, i) => {
+    lines.push(taglineRow(text(line), i === 0, i === tagline.length - 1));
+  });
+  for (let i = 0; i < MARGIN; i++)
+    lines.push([]);
+  return lines.map((segments) => paint(segments, colour)).join("\n");
+}
+function renderLine(content, environment) {
+  const unicode = decideUnicode(environment);
+  const dot = unicode ? UNICODE_GLYPHS.dot : ASCII_GLYPHS.dot;
+  const named = content.version === "" ? "Halfcycle" : `Halfcycle v${content.version}`;
+  const raw = `${named} ${dot} ${content.url}`;
+  return unicode ? raw : toAscii(raw);
+}
+function renderBanner(content, environment = {}) {
+  switch (decideCut(environment)) {
+    case "none":
+      return "";
+    case "line":
+      return renderLine(content, environment);
+    case "narrow":
+      return renderBlock(content, NARROW_LAYOUT, environment);
+    case "full":
+      return renderBlock(content, FULL_LAYOUT, environment);
+  }
+}
+function printBanner(sink, content, environment = {}) {
+  const text = renderBanner(content, environment);
+  if (text === "")
+    return;
+  sink.write(`${text}
+`);
+}
+function currentEnvironment(quiet2) {
+  return {
+    columns: process.stdout.columns,
+    isTTY: process.stdout.isTTY === true,
+    quiet: quiet2,
+    env: process.env,
+    platform: process.platform
+  };
+}
+
+// dist/confirm-identity.js
 var IDENTITY_TIMEOUT_MS = 5e3;
 var IDENTITY_DECLINED = "identity-declined";
 async function describeAccount(serviceUrl, credential, fetchImpl = fetch) {
@@ -2238,14 +2517,14 @@ async function describeAccount(serviceUrl, credential, fetchImpl = fetch) {
     clearTimeout(timer);
   }
 }
-function accountLabel(identity, storedAccountId) {
+function accountLabel(identity, storedAccountId, verbose2 = false) {
   const accountId = identity?.accountId ?? storedAccountId;
   if (identity?.email !== void 0 && identity.email.trim() !== "") {
-    return accountId !== void 0 ? `${identity.email} (account ${accountId})` : identity.email;
+    return verbose2 && accountId !== void 0 ? `${identity.email} (account ${accountId})` : identity.email;
   }
   if (accountId !== void 0)
     return `account ${accountId} (no email on record for it)`;
-  return "the account this credential belongs to, which this plane did not name";
+  return "the account this credential belongs to, which this service did not name";
 }
 function onlyDate(iso) {
   if (iso === void 0)
@@ -2256,10 +2535,10 @@ function onlyDate(iso) {
 function actClause(act) {
   return act.kind === "create" ? `create a NEW project for that account, and install into ${act.targetRepo}` : `join the project this repository is pinned to (${act.engagementId}) as that account, and install into ${act.targetRepo}`;
 }
-async function defaultAsk(question) {
+async function defaultAsk(question2) {
   const rl = createInterface({ input: process.stdin, output: process.stdout });
   try {
-    return await rl.question(question);
+    return await rl.question(question2);
   } finally {
     rl.close();
     process.stdin.pause();
@@ -2277,7 +2556,10 @@ function actingAs(credential, identity) {
   const accountId = identity?.accountId ?? credential.accountId;
   return accountId === void 0 ? credential : { ...credential, accountId };
 }
-function armScript(credential, act, label, home) {
+function question(colour) {
+  return `[halfcycle] Continue as that account?  ${ink("good", "[y]", colour)} yes   ${ink("key", "[s]", colour)} sign in as someone else   ${ink("faint", "[anything else]", colour)} stop: `;
+}
+function armScript(credential, act, label, plainLabel, home) {
   switch (credential.source) {
     case "browser-handoff":
       return {
@@ -2303,7 +2585,7 @@ function armScript(credential, act, label, home) {
         noTerminalNote: "",
         switchOpening: `[halfcycle] Signing you in through your browser \u2014 this install will use that account instead.
 `,
-        stopRemedy: `Stopped before anything was created \u2014 nothing was created and nothing was written. HALFCYCLE_TOKEN in this environment is the credential for ${label}, and it takes precedence over any saved sign-in \u2014 so unset it, or set it to your own account's credential, before running this again.`,
+        stopRemedy: `Stopped before anything was created \u2014 nothing was created and nothing was written. HALFCYCLE_TOKEN in this environment is the credential for ${plainLabel}, and it takes precedence over any saved sign-in \u2014 so unset it, or set it to your own account's credential, before running this again.`,
         // The switch is real for THIS run (the new credential is what gets used) and it
         // does not persist: `obtainCredential` reads the variable first, so the next run
         // is the same variable again. Said here rather than discovered tomorrow.
@@ -2329,7 +2611,7 @@ function armScript(credential, act, label, home) {
 `,
         switchOpening: `[halfcycle] Forgetting this machine's saved sign-in and signing you in through your browser.
 `,
-        stopRemedy: `Stopped before anything was created \u2014 nothing was created and nothing was written. This machine's saved sign-in is for ${label}. Run this again and answer "s" to sign in as a different account, or remove ${accountStorePath(home)} to be asked for a sign-in next time.`,
+        stopRemedy: `Stopped before anything was created \u2014 nothing was created and nothing was written. This machine's saved sign-in is for ${plainLabel}. Run this again and answer "s" to sign in as a different account, or remove ${accountStorePath(home)} to be asked for a sign-in next time.`,
         afterSwitch: ""
       };
     }
@@ -2337,10 +2619,12 @@ function armScript(credential, act, label, home) {
 }
 async function confirmActingIdentity(serviceUrl, credential, act, deps = {}) {
   const write = deps.write ?? ((text) => process.stdout.write(text));
+  const colour = deps.colour ?? decideColour({ isTTY: process.stdout.isTTY === true, env: deps.env ?? process.env });
   const identity = await describeAccount(serviceUrl, credential.credential, deps.fetchImpl);
-  const label = accountLabel(identity, credential.accountId);
+  const plainLabel = accountLabel(identity, credential.accountId, deps.verbose === true);
+  const label = ink("keyBold", plainLabel, colour);
   const acting = actingAs(credential, identity);
-  const script = armScript(credential, act, label, deps.home);
+  const script = armScript(credential, act, label, plainLabel, deps.home);
   write(script.preamble);
   if (!script.asks)
     return acting;
@@ -2356,14 +2640,15 @@ async function confirmActingIdentity(serviceUrl, credential, act, deps = {}) {
     return acting;
   }
   const ask = deps.ask ?? defaultAsk;
-  const decision = readDecision(await ask(`[halfcycle] Continue as that account?  [y] yes   [s] sign in as someone else   [anything else] stop: `));
+  write("\n");
+  const decision = readDecision(await ask(question(colour)));
   if (decision === "proceed")
     return acting;
   if (decision === "switch-account") {
     write(script.switchOpening);
     const replacement = await switchAccount(serviceUrl, deps);
     const replacementIdentity = await describeAccount(serviceUrl, replacement.credential, deps.fetchImpl);
-    write(`[halfcycle] Signed in as ${accountLabel(replacementIdentity, replacement.accountId)}. This install will ${actClause(act)}.
+    write(`[halfcycle] Signed in as ${ink("keyBold", accountLabel(replacementIdentity, replacement.accountId, deps.verbose === true), colour)}. This install will ${actClause(act)}.
 `);
     if (script.afterSwitch !== "")
       write(script.afterSwitch);
@@ -2875,7 +3160,7 @@ async function openPhase(credential, phase, entry) {
       body: JSON.stringify({ phase, entry })
     });
   } catch (err) {
-    throw new Error(`[halfcycle] Could not reach the Halfcycle control plane at ${url}: ${err instanceof Error ? err.message : String(err)}. No phase was opened.`);
+    throw new Error(`[halfcycle] Could not reach the Halfcycle service at ${url}: ${err instanceof Error ? err.message : String(err)}. No phase was opened.`);
   }
   if (!res.ok) {
     const body2 = await res.json().catch(() => null);
@@ -2928,7 +3213,7 @@ async function closePhase(credential, phase, outcome, close) {
       body: JSON.stringify({ phase, acceptanceOutcome: outcome, close })
     });
   } catch (err) {
-    throw new Error(`[halfcycle] Could not reach the Halfcycle control plane at ${url}: ${err instanceof Error ? err.message : String(err)}. The phase was not closed.`);
+    throw new Error(`[halfcycle] Could not reach the Halfcycle service at ${url}: ${err instanceof Error ? err.message : String(err)}. The phase was not closed.`);
   }
   if (!res.ok) {
     const body2 = await res.json().catch(() => null);
@@ -3059,11 +3344,127 @@ var PLACEHOLDERS = {
   "--evidence": '"\u2026"'
 };
 
+// dist/banner-facts.js
+import { execFileSync as execFileSync3 } from "node:child_process";
+import { readFileSync as readFileSync8 } from "node:fs";
+import { basename as basename2, join as join9, resolve as resolve3 } from "node:path";
+var BRAND_URL = "halfcycle.ai";
+var TAGLINE = [
+  "Fewer cycles.",
+  "The thinking moves earlier. So does the finish."
+];
+var TAGLINE_NARROW = [
+  "Fewer cycles.",
+  "The thinking moves earlier.",
+  "So does the finish."
+];
+function bundleVersion() {
+  try {
+    const pkg = JSON.parse(readFileSync8(join9(BUNDLE_ROOT, "package.json"), "utf-8"));
+    return typeof pkg.version === "string" ? pkg.version : void 0;
+  } catch {
+    return void 0;
+  }
+}
+function claudeCodeVersion() {
+  try {
+    const raw = execFileSync3("claude", ["--version"], {
+      encoding: "utf-8",
+      timeout: 3e3,
+      stdio: ["ignore", "pipe", "ignore"]
+    });
+    return /(\d+\.\d+\.\d+)/.exec(raw)?.[1];
+  } catch {
+    return void 0;
+  }
+}
+var REAL_PROBES = {
+  bundleVersion,
+  claudeCodeVersion,
+  projectName: (dir) => {
+    try {
+      return deriveProjectName(dir);
+    } catch {
+      return void 0;
+    }
+  },
+  commitCount: (dir) => {
+    try {
+      return readCommitCount(dir);
+    } catch {
+      return null;
+    }
+  },
+  installedVersion: (dir) => {
+    try {
+      return readBundlePin(dir)?.version;
+    } catch {
+      return void 0;
+    }
+  },
+  websiteHost: (env) => {
+    try {
+      const resolved = resolveControlOrigin(env);
+      return resolved.source === "default" ? BRAND_URL : new URL(resolved.origin).host;
+    } catch {
+      return void 0;
+    }
+  }
+};
+function fact(label, value, narrow) {
+  if (value === void 0 || value === "")
+    return void 0;
+  return narrow === void 0 ? { label, value } : { label, value, narrow };
+}
+function openingBannerContent(projectDir, env = process.env, probes = REAL_PROBES) {
+  const dot = UNICODE_GLYPHS.dot;
+  const dash = UNICODE_GLYPHS.dash;
+  const version = probes.bundleVersion();
+  const name = probes.projectName(projectDir) ?? safeBasename(projectDir);
+  const commits = probes.commitCount(projectDir);
+  const installed = probes.installedVersion(projectDir);
+  const project = commits === null ? name : `${name} ${dot} git ${dot} ${commits} ${commits === 1 ? "commit" : "commits"}`;
+  const status = installed === void 0 ? `new ${dash} nothing installed yet` : `installed ${dash} v${installed}`;
+  const facts = [
+    fact("Version", version, version),
+    fact("Claude Code", probes.claudeCodeVersion()),
+    fact("Project", project, name),
+    fact("Status", status, installed === void 0 ? "new" : "installed"),
+    // `Website`, NOT `Plane` (W-3, #868). "Plane" is our internal word for the control
+    // plane; the developer reading this has never heard it, and raw method vocabulary
+    // reaching a client surface is a recorded finding class in this product. The row
+    // answers *which Halfcycle is this*, and an address is the answer they recognise.
+    fact("Website", probes.websiteHost(env))
+  ].filter((f) => f !== void 0);
+  return {
+    head: `halfcycle@${name}`,
+    facts,
+    tag: TAGLINE,
+    tagNarrow: TAGLINE_NARROW,
+    url: BRAND_URL,
+    // `''` when even this package's own manifest could not be read. The one-line cut
+    // drops the whole `vX.Y.Z` clause in that case rather than printing a bare `v`.
+    version: version ?? ""
+  };
+}
+function safeBasename(dir) {
+  try {
+    const name = basename2(resolve3(dir)).trim();
+    return name === "" ? "project" : name;
+  } catch {
+    return "project";
+  }
+}
+
 // dist/bin.js
 var ASSUME_YES_FLAGS = /* @__PURE__ */ new Set(["--yes", "-y"]);
+var QUIET_FLAGS = /* @__PURE__ */ new Set(["--quiet", "-q"]);
+var VERBOSE_FLAGS = /* @__PURE__ */ new Set(["--verbose", "-v"]);
 var rawArgs = process.argv.slice(2);
 var assumeYes = rawArgs.some((a) => ASSUME_YES_FLAGS.has(a));
-var args = rawArgs.filter((a) => !ASSUME_YES_FLAGS.has(a));
+var quiet = rawArgs.some((a) => QUIET_FLAGS.has(a));
+var verbose = rawArgs.some((a) => VERBOSE_FLAGS.has(a));
+var args = rawArgs.filter((a) => !ASSUME_YES_FLAGS.has(a) && !QUIET_FLAGS.has(a) && !VERBOSE_FLAGS.has(a));
 var MIN_HEADERS_HELPER_VERSION = "2.1.118";
 var MIN_HEADER_ROTATION_VERSION = "2.1.193";
 function compareVersions(a, b) {
@@ -3077,10 +3478,10 @@ function compareVersions(a, b) {
   }
   return 0;
 }
-function reportClaudeCodeVersion() {
+function reportClaudeCodeVersion(verbose2) {
   let raw;
   try {
-    raw = execFileSync3("claude", ["--version"], {
+    raw = execFileSync4("claude", ["--version"], {
       encoding: "utf-8",
       timeout: 5e3,
       stdio: ["ignore", "pipe", "ignore"]
@@ -3093,13 +3494,18 @@ function reportClaudeCodeVersion() {
     return;
   const version = found[1];
   if (compareVersions(version, MIN_HEADERS_HELPER_VERSION) >= 0) {
-    process.stdout.write(`[halfcycle] Claude Code ${version} detected \u2014 new enough for the credential helper.
+    if (verbose2) {
+      process.stdout.write(`[halfcycle] Claude Code ${version} detected \u2014 new enough for the credential helper.
 `);
+    }
     return;
   }
   process.stdout.write(`[halfcycle] WARNING: Claude Code ${version} is older than ${MIN_HEADERS_HELPER_VERSION}, which ignores the credential helper this install wrote. The Halfcycle server will connect with no credential and every call will fail \u2014 upgrade Claude Code, then re-open this folder.
 `);
 }
+function shortId(id) {
+  return id.length > 10 ? `${id.slice(0, 8)}\u2026` : id;
+}
 var USAGE = `  halfcycle [install] [target-repo] [engagement-id] [self-build|client]
          install into target (default: the current directory)
          --yes / -y: use this machine's saved sign-in without being asked
@@ -3107,10 +3513,13 @@ var USAGE = `  halfcycle [install] [target-repo] [engagement-id] [self-build|cli
   halfcycle build-record <phase-id> [--repo <root>]
   halfcycle open-phase <phase|--none> --actor "\u2026" (--evidence "\u2026" | --override --reason "\u2026") [--repo <root>]
   halfcycle close-phase <phase> --verdict <clean|defects> --actor "\u2026" [--finding "\u2026"]\u2026 [--override --reason "\u2026"] [--repo <root>]
+
+  --quiet / -q: print no opening banner (any command)
+  --verbose / -v: print full run detail (paths written, merged, skipped) on install
 `;
 function isHalfcycleMonorepo(dir) {
   try {
-    const pkg = JSON.parse(readFileSync8(join9(dir, "package.json"), "utf-8"));
+    const pkg = JSON.parse(readFileSync9(join10(dir, "package.json"), "utf-8"));
     return pkg.name === "halfcycle-monorepo";
   } catch {
     return false;
@@ -3118,6 +3527,11 @@ function isHalfcycleMonorepo(dir) {
 }
 async function main() {
   const [cmd, ...rest] = args;
+  const bareTarget = cmd !== void 0 && !cmd.startsWith("-") && !/^(check-drift|build-record|open-phase|close-phase)$/.test(cmd);
+  const installArm = cmd === "install" || cmd === void 0 || bareTarget;
+  const positionals = cmd === "install" ? rest : args;
+  const targetRepo = installArm ? positionals[0] ?? process.cwd() : process.cwd();
+  printBanner(process.stdout, openingBannerContent(targetRepo), currentEnvironment(quiet));
   if (cmd === "--help" || cmd === "-h" || cmd === "help") {
     process.stdout.write(`halfcycle \u2014 install and drive the Halfcycle method in a repository.
 
@@ -3126,10 +3540,7 @@ ${USAGE}`);
     process.exit(0);
     return;
   }
-  const bareTarget = cmd !== void 0 && !cmd.startsWith("-") && !/^(check-drift|build-record|open-phase|close-phase)$/.test(cmd);
-  if (cmd === "install" || cmd === void 0 || bareTarget) {
-    const positionals = cmd === "install" ? rest : args;
-    const targetRepo = positionals[0] ?? process.cwd();
+  if (installArm) {
     const engagementIdArg = positionals[1];
     const engagementTypeRaw = positionals[2] ?? "client";
     if (isHalfcycleMonorepo(targetRepo)) {
@@ -3151,19 +3562,26 @@ ${USAGE}`);
     try {
       const controlOrigin = resolveControlOrigin(process.env);
       const serviceUrl = controlOrigin.origin;
-      process.stdout.write(`[halfcycle] Halfcycle plane: ${controlOriginNote(controlOrigin)}
+      if (verbose || controlOrigin.source !== "default") {
+        process.stdout.write(`[halfcycle] Halfcycle service: ${controlOriginNote(controlOrigin)}
 `);
+      }
       const pinned = readPinnedEngagement(targetRepo);
       const requestedId = engagementIdArg ?? pinned?.engagementId;
       const reusable = pinned !== null && pinned.engagementId === requestedId ? pinned.credential : void 0;
       let engagementId;
       let credential;
       let actingAccountId;
+      let foundLine = "";
       if (reusable !== void 0 && pinned !== null) {
         engagementId = pinned.engagementId;
         credential = reusable;
-        process.stdout.write(`[halfcycle] Re-using the engagement already pinned in this repo: ${pinned.engagementId}
+        actingAccountId = readBundlePin(targetRepo)?.accountId;
+        foundLine = `already set up here \u2014 reusing engagement ${shortId(pinned.engagementId)}`;
+        if (verbose) {
+          process.stdout.write(`[halfcycle] Re-using the engagement already pinned in this repo: ${pinned.engagementId}
 `);
+        }
         if (pinned.fromLegacyEnvLocal) {
           process.stdout.write(`[halfcycle] Its credential is in this repository's .env.local \u2014 an install from before
 [halfcycle] credentials moved out of the tree. It is being copied to
@@ -3172,7 +3590,7 @@ ${USAGE}`);
 `);
         }
       } else if (requestedId !== void 0) {
-        const joined = await joinPinnedEngagement(serviceUrl, requestedId, targetRepo, { assumeYes });
+        const joined = await joinPinnedEngagement(serviceUrl, requestedId, targetRepo, { assumeYes, verbose });
         engagementId = joined.engagementId;
         actingAccountId = joined.actingAccountId;
         credential = {
@@ -3185,10 +3603,13 @@ ${USAGE}`);
           // an absent value, never `undefined` verbatim.
           controlTelemetryUrl: joined.controlTelemetryUrl
         };
-        process.stdout.write(`[halfcycle] Joined engagement ${joined.engagementId} \u2014 this credential is yours. Everyone else's keeps working; nobody was signed out and nothing was pasted.
+        foundLine = `this repo is pinned to a shared project \u2014 joining it as you (${shortId(joined.engagementId)})`;
+        if (verbose) {
+          process.stdout.write(`[halfcycle] Joined engagement ${joined.engagementId} \u2014 this credential is yours. Everyone else's keeps working; nobody was signed out and nothing was pasted.
 `);
+        }
       } else {
-        const created = await createOwnedEngagement(serviceUrl, targetRepo, { assumeYes });
+        const created = await createOwnedEngagement(serviceUrl, targetRepo, { assumeYes, verbose });
         engagementId = created.engagementId;
         actingAccountId = created.actingAccountId;
         credential = {
@@ -3204,8 +3625,11 @@ ${USAGE}`);
           // emission is fail-open on that absence.
           controlTelemetryUrl: created.controlTelemetryUrl
         };
-        process.stdout.write(`[halfcycle] Created engagement ${created.engagementId}
+        foundLine = `no Halfcycle project here yet \u2014 creating one (${shortId(created.engagementId)})`;
+        if (verbose) {
+          process.stdout.write(`[halfcycle] Created engagement ${created.engagementId}
 `);
+        }
       }
       const result = await install({
         targetRepo,
@@ -3214,17 +3638,19 @@ ${USAGE}`);
         credential,
         accountId: actingAccountId
       });
-      process.stdout.write(`[halfcycle] Installed v${result.version} into ${targetRepo}
+      if (verbose) {
+        process.stdout.write(`[halfcycle] Installed v${result.version} into ${targetRepo}
 `);
-      process.stdout.write(`[halfcycle] Written: ${result.writtenPaths.length} paths
+        process.stdout.write(`[halfcycle] Written: ${result.writtenPaths.length} paths
 `);
-      if (result.mergedPaths.length > 0) {
-        process.stdout.write(`[halfcycle] Merged: ${result.mergedPaths.join(", ")}
+        if (result.mergedPaths.length > 0) {
+          process.stdout.write(`[halfcycle] Merged: ${result.mergedPaths.join(", ")}
 `);
-      }
-      if (result.skippedPaths.length > 0) {
-        process.stdout.write(`[halfcycle] Skipped (already present): ${result.skippedPaths.join(", ")}
+        }
+        if (result.skippedPaths.length > 0) {
+          process.stdout.write(`[halfcycle] Skipped (already present): ${result.skippedPaths.join(", ")}
 `);
+        }
       }
       if (result.collidedPaths.length > 0) {
         process.stdout.write(`[halfcycle] Collided (a name you already use \u2014 NOT overwritten): ${result.collidedPaths.join(", ")}
@@ -3242,22 +3668,37 @@ ${USAGE}`);
       }
       const probe = await probeMcpOrigin(credential.mcpUrl);
       if (probe.reached) {
-        process.stdout.write(`[halfcycle] Method delivery (MCP): ${credential.mcpUrl} \u2014 reachable (${probe.serverName})
+        if (verbose) {
+          process.stdout.write(`[halfcycle] Method delivery (MCP): ${credential.mcpUrl} \u2014 reachable (${probe.serverName})
 `);
+        }
       } else {
         process.stdout.write(`[halfcycle] Method delivery (MCP): ${credential.mcpUrl} \u2014 NOT reachable: ${probe.problem}.
 [halfcycle] The Halfcycle commands will have no method context until that address answers. This is the SECOND of two origins and the platform supplied it, so it is not the CONTROL origin (${credential.serviceUrl}) that is wrong \u2014 that one just worked. It is recorded as HALFCYCLE_MCP_URL in this engagement's credential store; re-run this installer once the service is up.
 `);
       }
-      process.stdout.write(`[halfcycle] Guard evaluation: ON \u2014 the hook evaluates against ${credential.guardUrl}. Credentials (${GUARD_COVERAGE_REQUIRED_KEYS.join(", ")}) are in ${engagementEnvPath(engagementId)}, outside this repository; the hook loads them itself, so you do not export anything and nothing here can be committed.
+      if (verbose) {
+        process.stdout.write(`[halfcycle] Guard evaluation: ON \u2014 the hook evaluates against ${credential.guardUrl}. Credentials (${GUARD_COVERAGE_REQUIRED_KEYS.join(", ")}) are in ${engagementEnvPath(engagementId)}, outside this repository; the hook loads them itself, so you do not export anything and nothing here can be committed.
+`);
+        process.stdout.write(`[halfcycle] Your credential is at ${engagementEnvPath(engagementId)} \u2014 outside this repository, readable only by you. .mcp.json reads it at connection time through .halfcycle/mcp-headers.sh, so there is no token in this tree to commit and nothing for you to export.
+`);
+        process.stdout.write(`[halfcycle] Expect a workspace trust prompt the first time you open this folder \u2014 the helper is a shell command, and Claude Code will not run it until you accept. Needs Claude Code ${MIN_HEADERS_HELPER_VERSION} or newer (${MIN_HEADER_ROTATION_VERSION}+ to re-authenticate a rotated token without restarting).
+`);
+        process.stdout.write(`[halfcycle] If Halfcycle tools appear but every call returns 401, the helper could not read HALFCYCLE_TOKEN from ${engagementEnvPath(engagementId)} \u2014 re-run this installer.
+`);
+      }
+      reportClaudeCodeVersion(verbose);
+      const identity = await describeAccount(credential.serviceUrl, credential.token);
+      const written = result.writtenPaths.length;
+      const merged = result.mergedPaths.length;
+      process.stdout.write(`[halfcycle] Signed in as ${accountLabel(identity, actingAccountId, verbose)}
 `);
-      process.stdout.write(`[halfcycle] Your credential is at ${engagementEnvPath(engagementId)} \u2014 outside this repository, readable only by you. .mcp.json reads it at connection time through .halfcycle/mcp-headers.sh, so there is no token in this tree to commit and nothing for you to export.
+      process.stdout.write(`[halfcycle] Found: ${foundLine}
 `);
-      process.stdout.write(`[halfcycle] Expect a workspace trust prompt the first time you open this folder \u2014 the helper is a shell command, and Claude Code will not run it until you accept. Needs Claude Code ${MIN_HEADERS_HELPER_VERSION} or newer (${MIN_HEADER_ROTATION_VERSION}+ to re-authenticate a rotated token without restarting).
+      process.stdout.write(`[halfcycle] Set up: ${written} file${written === 1 ? "" : "s"} written${merged > 0 ? ` (${merged} merged)` : ""}, guards armed on every edit
 `);
-      process.stdout.write(`[halfcycle] If Halfcycle tools appear but every call returns 401, the helper could not read HALFCYCLE_TOKEN from ${engagementEnvPath(engagementId)} \u2014 re-run this installer.
+      process.stdout.write(`[halfcycle] Next: open this folder in Claude Code \u2014 accept the workspace-trust prompt, it is expected \u2014 then run /halfcycle-setup and answer what it asks about your project
 `);
-      reportClaudeCodeVersion();
       try {
         const minted = await mintBoardEnterCode(credential.serviceUrl, credential.token);
         process.stdout.write(`[halfcycle] Your board (first visit): ${minted.boardUrl}
@@ -3282,17 +3723,17 @@ ${USAGE}`);
     return;
   }
   if (cmd === "check-drift") {
-    const targetRepo = rest[0];
-    if (!targetRepo) {
+    const targetRepo2 = rest[0];
+    if (!targetRepo2) {
       process.stderr.write("halfcycle-bundle: usage: halfcycle-bundle check-drift <target-repo>\n");
       process.exit(1);
       return;
     }
     try {
-      const { drifted, installed, current } = checkDrift(targetRepo);
+      const { drifted, installed, current } = checkDrift(targetRepo2);
       if (drifted) {
         process.stdout.write(`[halfcycle-bundle] DRIFT DETECTED: installed=${installed ?? "none"} current=${current}
-[halfcycle-bundle] Re-run "halfcycle-bundle install ${targetRepo}" to sync.
+[halfcycle-bundle] Re-run "halfcycle-bundle install ${targetRepo2}" to sync.
 `);
         process.exit(2);
       } else {
@@ -3317,12 +3758,12 @@ ${USAGE}`);
     }
     const phaseId = Number(phaseArg);
     try {
-      const inputPath = join9(repoRoot, ".workbench", "build-record", `phase-${phaseId}.input.json`);
-      const input = JSON.parse(readFileSync8(inputPath, "utf-8"));
+      const inputPath = join10(repoRoot, ".workbench", "build-record", `phase-${phaseId}.input.json`);
+      const input = JSON.parse(readFileSync9(inputPath, "utf-8"));
       const result = assemblePhaseBuildRecord({
         repoRoot,
-        phasesDir: join9(repoRoot, "docs", "phases"),
-        guardEvalLogDir: input.guardEvalLogDir ?? join9(repoRoot, ".workbench", "guard-eval-log"),
+        phasesDir: join10(repoRoot, "docs", "phases"),
+        guardEvalLogDir: input.guardEvalLogDir ?? join10(repoRoot, ".workbench", "guard-eval-log"),
         phaseId,
         narrated: input.narrated,
         touchedInvariants: input.touchedInvariants