halfcycle 0.4.9 → 0.4.10

package/dist/cli.js

@@ -420,18 +420,6 @@ function hasDuplicates(items) {
 }
 
 // ../core/dist/phase-reference.js
-var TYPED_NUMBER = /^(?:0|[1-9][0-9]*)$/;
-function resolvePhaseReference(typed, phases) {
-  if (typeof typed !== "string" || typed === "")
-    return null;
-  const byIdentity = phases.filter((entry) => entry.phase === typed);
-  if (byIdentity.length > 0)
-    return byIdentity.length === 1 ? byIdentity[0] : null;
-  if (!TYPED_NUMBER.test(typed))
-    return null;
-  const byNumber = phases.filter((entry) => Number.isInteger(entry.number) && String(entry.number) === typed);
-  return byNumber.length === 1 ? byNumber[0] : null;
-}
 function typedPhaseReference(phase, number) {
   return phase.includes(":") && number !== null ? String(number) : phase;
 }
@@ -1162,10 +1150,10 @@ var openPhaseResponseSchema = z6.object({
 
 // ../events/dist/crew.js
 import { z as z7 } from "zod";
-var crewGroupSchema = z7.enum(["builder", "reviewer", "always-on"]);
+var crewGroupSchema = z7.enum(["analyst-architect", "builder", "reviewer", "lead"]);
 var crewTierSchema = z7.enum(["deep", "standard", "fast"]);
 var CREW_DISCIPLINE_MAX = 64;
-var crewFaceHeadSchema = z7.enum(["sq", "sqr", "rnd", "dome", "hex"]);
+var crewFaceHeadSchema = z7.enum(["sq", "sqr", "rnd", "dome", "hex", "gable"]);
 var crewFaceAntennaSchema = z7.enum(["none", "stalk", "twin", "dish"]);
 var crewFaceEyesSchema = z7.enum(["dots", "bars", "visor", "cyclops"]);
 var crewFaceMouthSchema = z7.enum(["line", "grid", "dots", "wave"]);
@@ -1182,12 +1170,25 @@ var crewFaceSchema = z7.object({
   // Whether this member is drawn with ears.
   ears: z7.boolean()
 }).strict();
+var crewRoleSchema = z7.enum([
+  "business-analyst",
+  "architect",
+  "spec-writer",
+  "builder",
+  "context-docs",
+  "spec-reviewer",
+  "code-test-reviewer",
+  "delivery-lead",
+  "quality-lead"
+]);
 var crewMemberSchema = z7.object({
-  // The agent's name. The same twenty-one on every project, so a name is a
+  // The agent's name. The same names on every project, so a name is a
   // vocabulary a returning client already knows.
   callsign: z7.string().min(1).max(32),
-  // Which of the three headings this member reads under.
+  // Which of the four teams this member belongs to.
   group: crewGroupSchema,
+  // The part this member plays, which decides the stages it leads and helps with.
+  role: crewRoleSchema,
   // The kind of work this member takes. A task names a discipline, and only
   // agents holding it can be dispatched to it.
   discipline: z7.string().min(1).max(CREW_DISCIPLINE_MAX),
@@ -1199,10 +1200,44 @@ var crewMemberSchema = z7.object({
   face: crewFaceSchema
 }).strict();
 var CREW_ROSTER = [
+  // ── analysts and architects ─────────────────────────────────────────────────
+  {
+    callsign: "SOFIA",
+    group: "analyst-architect",
+    role: "business-analyst",
+    discipline: "business analyst",
+    tier: "deep",
+    face: { head: "gable", antenna: "stalk", eyes: "dots", mouth: "wave", ears: false }
+  },
+  {
+    callsign: "BEA",
+    group: "analyst-architect",
+    role: "business-analyst",
+    discipline: "business analyst",
+    tier: "standard",
+    face: { head: "gable", antenna: "none", eyes: "visor", mouth: "line", ears: false }
+  },
+  {
+    callsign: "WREN",
+    group: "analyst-architect",
+    role: "architect",
+    discipline: "solution architect",
+    tier: "deep",
+    face: { head: "gable", antenna: "dish", eyes: "bars", mouth: "line", ears: true }
+  },
+  {
+    callsign: "PEI",
+    group: "analyst-architect",
+    role: "architect",
+    discipline: "technical architect",
+    tier: "standard",
+    face: { head: "gable", antenna: "twin", eyes: "cyclops", mouth: "dots", ears: false }
+  },
   // ── builders: code ──────────────────────────────────────────────────────────
   {
     callsign: "ADA",
     group: "builder",
+    role: "builder",
     discipline: "implementation",
     tier: "deep",
     face: { head: "sq", antenna: "stalk", eyes: "dots", mouth: "line", ears: false }
@@ -1210,6 +1245,7 @@ var CREW_ROSTER = [
   {
     callsign: "OTTO",
     group: "builder",
+    role: "builder",
     discipline: "implementation",
     tier: "deep",
     face: { head: "sq", antenna: "twin", eyes: "bars", mouth: "grid", ears: true }
@@ -1217,6 +1253,7 @@ var CREW_ROSTER = [
   {
     callsign: "MILO",
     group: "builder",
+    role: "builder",
     discipline: "implementation",
     tier: "standard",
     face: { head: "sqr", antenna: "stalk", eyes: "dots", mouth: "dots", ears: false }
@@ -1224,42 +1261,24 @@ var CREW_ROSTER = [
   {
     callsign: "NOVA",
     group: "builder",
+    role: "builder",
     discipline: "implementation",
     tier: "standard",
     face: { head: "sq", antenna: "dish", eyes: "cyclops", mouth: "line", ears: false }
   },
-  {
-    callsign: "KAI",
-    group: "builder",
-    discipline: "implementation",
-    tier: "standard",
-    face: { head: "sqr", antenna: "none", eyes: "bars", mouth: "line", ears: true }
-  },
   {
     callsign: "HUGO",
     group: "builder",
+    role: "builder",
     discipline: "infrastructure",
     tier: "standard",
     face: { head: "sq", antenna: "twin", eyes: "dots", mouth: "grid", ears: true }
   },
-  {
-    callsign: "WREN",
-    group: "builder",
-    discipline: "refactor",
-    tier: "fast",
-    face: { head: "sqr", antenna: "stalk", eyes: "bars", mouth: "wave", ears: false }
-  },
-  {
-    callsign: "PIP",
-    group: "builder",
-    discipline: "refactor",
-    tier: "fast",
-    face: { head: "sqr", antenna: "none", eyes: "dots", mouth: "dots", ears: false }
-  },
   // ── builders: specs and docs ────────────────────────────────────────────────
   {
     callsign: "IRIS",
     group: "builder",
+    role: "spec-writer",
     discipline: "feature spec",
     tier: "deep",
     face: { head: "dome", antenna: "stalk", eyes: "visor", mouth: "line", ears: false }
@@ -1267,6 +1286,7 @@ var CREW_ROSTER = [
   {
     callsign: "JUNO",
     group: "builder",
+    role: "spec-writer",
     discipline: "feature spec",
     tier: "standard",
     face: { head: "dome", antenna: "none", eyes: "dots", mouth: "wave", ears: false }
@@ -1274,6 +1294,7 @@ var CREW_ROSTER = [
   {
     callsign: "LEX",
     group: "builder",
+    role: "context-docs",
     discipline: "context & docs",
     tier: "fast",
     face: { head: "dome", antenna: "twin", eyes: "bars", mouth: "dots", ears: false }
@@ -1282,6 +1303,7 @@ var CREW_ROSTER = [
   {
     callsign: "VERA",
     group: "reviewer",
+    role: "spec-reviewer",
     discipline: "spec consistency",
     tier: "deep",
     face: { head: "rnd", antenna: "stalk", eyes: "visor", mouth: "line", ears: false }
@@ -1289,6 +1311,7 @@ var CREW_ROSTER = [
   {
     callsign: "ODIN",
     group: "reviewer",
+    role: "spec-reviewer",
     discipline: "cross-spec audit",
     tier: "deep",
     face: { head: "rnd", antenna: "dish", eyes: "cyclops", mouth: "line", ears: false }
@@ -1296,6 +1319,7 @@ var CREW_ROSTER = [
   {
     callsign: "CASS",
     group: "reviewer",
+    role: "code-test-reviewer",
     discipline: "code review",
     tier: "deep",
     face: { head: "rnd", antenna: "none", eyes: "visor", mouth: "grid", ears: true }
@@ -1303,13 +1327,23 @@ var CREW_ROSTER = [
   {
     callsign: "THEO",
     group: "reviewer",
+    role: "code-test-reviewer",
     discipline: "code review",
     tier: "standard",
     face: { head: "rnd", antenna: "twin", eyes: "bars", mouth: "line", ears: false }
   },
+  {
+    callsign: "KAI",
+    group: "reviewer",
+    role: "code-test-reviewer",
+    discipline: "code review",
+    tier: "standard",
+    face: { head: "rnd", antenna: "none", eyes: "bars", mouth: "line", ears: true }
+  },
   {
     callsign: "ECHO",
     group: "reviewer",
+    role: "code-test-reviewer",
     discipline: "test quality",
     tier: "standard",
     face: { head: "rnd", antenna: "stalk", eyes: "dots", mouth: "wave", ears: false }
@@ -1317,6 +1351,7 @@ var CREW_ROSTER = [
   {
     callsign: "MAVIS",
     group: "reviewer",
+    role: "code-test-reviewer",
     discipline: "suites & coverage",
     tier: "standard",
     face: { head: "rnd", antenna: "none", eyes: "visor", mouth: "dots", ears: false }
@@ -1324,6 +1359,7 @@ var CREW_ROSTER = [
   {
     callsign: "ZARA",
     group: "reviewer",
+    role: "code-test-reviewer",
     discipline: "smoke & walk aid",
     tier: "standard",
     face: { head: "rnd", antenna: "dish", eyes: "bars", mouth: "wave", ears: false }
@@ -1331,39 +1367,31 @@ var CREW_ROSTER = [
   {
     callsign: "NORA",
     group: "reviewer",
+    role: "code-test-reviewer",
     discipline: "evidence & provenance",
     tier: "fast",
     face: { head: "rnd", antenna: "twin", eyes: "dots", mouth: "line", ears: false }
   },
-  // ── always on: continuous, takes no task ────────────────────────────────────
+  // ── leads ───────────────────────────────────────────────────────────────────
   {
     callsign: "ARGUS",
-    group: "always-on",
-    discipline: "guard \xB7 every diff",
+    group: "lead",
+    role: "quality-lead",
+    discipline: "quality lead \xB7 every diff",
     tier: "standard",
     face: { head: "hex", antenna: "dish", eyes: "visor", mouth: "grid", ears: true }
   },
   {
     callsign: "ATLAS",
-    group: "always-on",
-    discipline: "coordinator",
+    group: "lead",
+    role: "delivery-lead",
+    discipline: "delivery lead",
     tier: "deep",
     face: { head: "hex", antenna: "twin", eyes: "cyclops", mouth: "line", ears: true }
   }
 ];
 var CREW_ROSTER_SIZE = CREW_ROSTER.length;
 var CREW_CALLSIGNS = CREW_ROSTER.map((member) => member.callsign);
-var crewRoleSchema = z7.enum([
-  "business-analyst",
-  "architect",
-  "spec-writer",
-  "builder",
-  "context-docs",
-  "spec-reviewer",
-  "code-test-reviewer",
-  "delivery-lead",
-  "quality-lead"
-]);
 var crewLayerSchema = methodLayerSchema.extract(["l0", "l1", "l2", "l3", "l4", "l5"]);
 var crewRoleLayersSchema = z7.object({
   leads: z7.array(crewLayerSchema),
@@ -1722,7 +1750,8 @@ var systemDrawDrawnSchema = /* @__PURE__ */ z8.object({
   mermaid: z8.string().min(1).refine((v) => utf8ByteLength2(v) <= SYSTEM_DRAW_MERMAID_MAX_BYTES, {
     message: "the diagram text is larger than 256 KB"
   }),
-  pictures: systemPicturesSchema
+  pictures: systemPicturesSchema,
+  closedAt: utcIso8601.optional()
 }).strict();
 var systemDrawRefusedSchema = z8.object({
   outcome: z8.literal("refused"),
@@ -1967,14 +1996,13 @@ var SCOPE_STATE_NAMES = [
   "waiting",
   "sent-back",
   "approved",
-  "partly-stale",
-  "withdrawn"
+  "partly-stale"
 ];
 var scopeStateNameSchema = z10.enum(SCOPE_STATE_NAMES);
 var plannedScopeStateSchema = scopeStateNameSchema.exclude(["not-planned"]);
 var SCOPE_PART_STATUSES = ["approved", "waiting"];
 var scopePartStatusSchema = z10.enum(SCOPE_PART_STATUSES);
-var SCOPE_ACTS = ["approve", "send-back", "withdraw"];
+var SCOPE_ACTS = ["approve", "send-back"];
 var scopeActSchema = z10.enum(SCOPE_ACTS);
 var SCOPE_GIVEN_IN = ["console", "chat"];
 var scopeGivenInSchema = z10.enum(SCOPE_GIVEN_IN);
@@ -2045,14 +2073,9 @@ var scopeSendBackRequestSchema = z10.object({
   parts: z10.array(scopeDecisionPartSchema).max(PHASE_PLAN_CHANGES_MAX),
   note: scopeNoteWireSchema.optional()
 }).strict();
-var scopeWithdrawRequestSchema = z10.object({
-  act: z10.literal("withdraw"),
-  planVersion: planVersionSchema
-}).strict();
 var scopeDecisionRequestSchema = z10.discriminatedUnion("act", [
   scopeApproveRequestSchema,
-  scopeSendBackRequestSchema,
-  scopeWithdrawRequestSchema
+  scopeSendBackRequestSchema
 ]);
 var scopeDecisionRecordedSchema = z10.object({
   outcome: z10.literal("recorded"),
@@ -2085,7 +2108,6 @@ var scopeDecisionResultSchema = z10.discriminatedUnion("outcome", [
   reasonOutcome("not-owner"),
   reasonOutcome("no-owner"),
   reasonOutcome("plan-changed"),
-  reasonOutcome("nothing-to-withdraw"),
   reasonOutcome("build-started")
 ]);
 var scopeReadPartSchema = z10.object({
@@ -2387,6 +2409,15 @@ var observedChangesSchema = z13.object({
     ctx.addIssue({ code: "custom", path: ["descriptionVersion"], message: "must name the version the counts used" });
   }
 });
+function partChangedUnderPaths(observed, partId, description) {
+  if (observed === null || observed.counting.state !== "counted")
+    return "unknown";
+  const part = description.parts.find((candidate) => candidate.id === partId);
+  if (part === void 0 || part.outside)
+    return "unknown";
+  const entry = observed.parts.find((candidate) => candidate.part === partId);
+  return entry !== void 0 && entry.files !== null && filesChanged(entry.files) >= 1 ? "changed" : "unchanged";
+}
 var partOutsideThePlanSchema = z13.object({
   part: systemPartIdSchema,
   name: systemPartSchema.shape.name,
@@ -2404,14 +2435,78 @@ function agentSaid(task) {
     return `The agent on "${title}" said: "${whyOutsidePlan}"`;
   return `${agent} said, on "${title}": "${whyOutsidePlan}"`;
 }
+var NOTHING_COUNTED_DESPITE_FINISHED_LINE = "Halfcycle only counts committed changes. Work not yet committed, saved in a folder this project ignores, or committed outside this part's own folders, shows as nothing here even when every task that builds this part has finished.";
+function hasWildcard(segment) {
+  return segment.includes("*");
+}
+function leadingLiteralPrefix(segments) {
+  const firstWildcard = segments.findIndex(hasWildcard);
+  return segments.slice(0, firstWildcard === -1 ? segments.length : firstWildcard).join("/");
+}
+function isWholeWildcard(segment) {
+  return segment === "*" || segment === "**";
+}
+function ownsEverythingUnderPrefix(segments) {
+  const firstWildcard = segments.findIndex(hasWildcard);
+  if (firstWildcard === -1)
+    return false;
+  const tail = segments.slice(firstWildcard);
+  if (!tail.every(isWholeWildcard))
+    return false;
+  return tail.filter((segment) => segment === "*").length <= 1;
+}
+var EXTENSION_GLOB_SEGMENT = /^\*\.([^*]+)$/;
+var EXTENSIONLESS_FILE_NAMES = /* @__PURE__ */ new Set([
+  "Makefile",
+  "Dockerfile",
+  "Gemfile",
+  "Rakefile",
+  "Procfile",
+  "Vagrantfile",
+  "LICENSE",
+  "CHANGELOG",
+  "README",
+  "NOTICE",
+  "Jenkinsfile",
+  "Justfile",
+  "CODEOWNERS"
+]);
+var DOT_PREFIXED_FOLDER_NAMES = /* @__PURE__ */ new Set([".github", ".vscode", ".circleci", ".husky", ".changeset", ".devcontainer", ".idea", ".claude", ".config"]);
+function isBareFileName(name) {
+  if (EXTENSIONLESS_FILE_NAMES.has(name))
+    return true;
+  if (DOT_PREFIXED_FOLDER_NAMES.has(name))
+    return false;
+  return name.includes(".");
+}
 function whereOf(owns) {
   if (owns.length !== 1)
-    return "its paths";
+    return "under its paths";
   const pattern = owns[0];
-  if (pattern.endsWith("/**"))
-    return pattern.slice(0, -2);
-  const last = pattern.slice(pattern.lastIndexOf("/") + 1);
-  return last.includes(".") ? pattern : `${pattern}/`;
+  const segments = pattern.split("/");
+  const lastSegment = segments[segments.length - 1];
+  const extensionGlob = EXTENSION_GLOB_SEGMENT.exec(lastSegment);
+  if (extensionGlob !== null) {
+    const ext = extensionGlob[1];
+    const before = segments.slice(0, -1);
+    if (before.length === 0 || before.some(hasWildcard)) {
+      const prefix2 = leadingLiteralPrefix(before);
+      return prefix2 === "" ? `in its .${ext} files` : `in .${ext} files under ${prefix2}`;
+    }
+    return `in the .${ext} files directly in ${before.join("/")}`;
+  }
+  if (!hasWildcard(pattern)) {
+    return isBareFileName(lastSegment) ? `in ${pattern}` : `under ${pattern}/`;
+  }
+  if (lastSegment === "*") {
+    const folder = segments.slice(0, -1).join("/");
+    if (folder !== "" && !hasWildcard(folder))
+      return `in the ${folder} folder`;
+  }
+  const prefix = leadingLiteralPrefix(segments);
+  if (ownsEverythingUnderPrefix(segments))
+    return prefix === "" ? "anywhere in the project" : `under ${prefix}/`;
+  return prefix === "" ? "in some paths in the project" : `in some paths under ${prefix}/`;
 }
 function howMany(n, one, many) {
   return `${n} ${n === 1 ? one : many}`;
@@ -2440,7 +2535,7 @@ function observedLines(observed, part, description) {
   const t = files === null ? 0 : files.testFilesAdded;
   const where = whereOf(held.owns);
   return [
-    n === 0 ? `Nothing changed under ${where}` : `${howMany(n, "file", "files")} changed under ${where}`,
+    n === 0 ? `Nothing changed ${where}` : `${howMany(n, "file", "files")} changed ${where}`,
     t === 0 ? "No test files added" : `${howMany(t, "test file", "test files")} added`,
     checks
   ];
@@ -3021,6 +3116,21 @@ function loopbackVerificationUrl(verificationUrl, target) {
   return url.toString();
 }
 
+// ../events/dist/project-page.js
+function projectPageUrl(engagementId) {
+  return isEngagementId(engagementId) ? `${DASHBOARD_URL}/${encodeURIComponent(engagementId)}` : void 0;
+}
+function systemViewUrl(engagementId, phase) {
+  const page = projectPageUrl(engagementId);
+  if (page === void 0)
+    return void 0;
+  return `${page}/console/system-view?${new URLSearchParams({ phase }).toString()}`;
+}
+function requestAccessSentence(engagementId) {
+  const page = projectPageUrl(engagementId) ?? "this project's page on Halfcycle";
+  return `To ask for access, open ${page} signed in as this account and choose "Request access". Then let the project's owner know, so they can approve it.`;
+}
+
 // ../events/dist/join-refusal.js
 import { z as z17 } from "zod";
 var NOT_THIS_ACCOUNT_REASON = "not-this-account";
@@ -3036,15 +3146,6 @@ function isNotThisAccountRefusal(body) {
   return typeof body === "object" && body !== null && body.reason === NOT_THIS_ACCOUNT_REASON;
 }
 
-// ../events/dist/project-page.js
-function projectPageUrl(engagementId) {
-  return isEngagementId(engagementId) ? `${DASHBOARD_URL}/${encodeURIComponent(engagementId)}` : void 0;
-}
-function requestAccessSentence(engagementId) {
-  const page = projectPageUrl(engagementId) ?? "this project's page on Halfcycle";
-  return `To ask for access, open ${page} signed in as this account and choose "Request access". Then let the project's owner know, so they can approve it.`;
-}
-
 // ../events/dist/account-identity.js
 import { z as z18 } from "zod";
 var accountIdentitySchema = z18.object({
@@ -7110,7 +7211,7 @@ function decisionText(part, p) {
     case "accepted":
       return "Accepted";
     case "carried":
-      return part.carriedTo === null || part.carriedTo === void 0 ? `Carried to the next phase planned: ${p.text(part.reason ?? "")}` : `Carried to phase ${String(part.carriedTo.number)}: ${p.text(part.reason ?? "")}`;
+      return part.carriedTo === null || part.carriedTo === void 0 ? `Carried to the next phase planned: ${p.text(part.reason ?? "")}` : `Carried to phase "${part.carriedTo.phase}": ${p.text(part.reason ?? "")}`;
     case "dropped":
       return `Dropped: ${p.text(part.reason ?? "")}`;
   }
@@ -7516,6 +7617,12 @@ var COULD_NOT_COUNT_LINE = "[halfcycle] Halfcycle could not count what this phas
 function typedReviewHintLine(offered) {
   return offered ? '[halfcycle] The owner reviews each part in their own Claude Code session: they say "review what was built" to see the list, then type one decision per line.' : `[halfcycle] ${TYPED_REVIEW_OFF_SENTENCE}`;
 }
+function systemViewReviewLine(offered, engagementId, phase) {
+  const address = systemViewUrl(engagementId, phase);
+  if (address === void 0)
+    return void 0;
+  return offered ? `[halfcycle] Or the owner reviews it in the System view: ${address}` : `[halfcycle] The owner reviews it in the System view: ${address}`;
+}
 function tasksOpenLine(phase, open, more) {
   const total = open.length + more;
   const shown2 = open.slice(0, TASK_TITLES_SHOWN);
@@ -7540,7 +7647,7 @@ function unfinishedStepsLines(phase, steps) {
 function cleanOverFindingsLine(phase, findings) {
   return findings === 1 ? `${REFUSED} the walk's verdict is clean, but 1 defect is recorded against phase "${phase}". Run this again with --verdict defects and a --finding for it. Nothing was sent to the owner.` : `${REFUSED} the walk's verdict is clean, but ${String(findings)} defects are recorded against phase "${phase}". Run this again with --verdict defects and a --finding for each. Nothing was sent to the owner.`;
 }
-function closeStepReport(phase, attempt) {
+function closeStepReport(phase, attempt, engagementId) {
   const stdout = [];
   const stderr = [];
   let exitCode = 1;
@@ -7568,6 +7675,11 @@ function closeStepReport(phase, attempt) {
           if (!answer.counted)
             stdout.push(COULD_NOT_COUNT_LINE);
           stdout.push(typedReviewHintLine(answer.typedReviewOffered));
+          {
+            const viewLine = systemViewReviewLine(answer.typedReviewOffered, engagementId, phase);
+            if (viewLine !== void 0)
+              stdout.push(viewLine);
+          }
           if (!attempt.closeCommit.read) {
             stderr.push(`${REFUSED} the commit this review starts from could not be read (${attempt.closeCommit.reason}), so the phase's Build Record will show the commit as not stated.`);
           }
@@ -8663,7 +8775,7 @@ function notAPhaseNameLine(verb, phase) {
 `;
 }
 function removalOwedLines(verb, parts) {
-  return parts.map((part) => `halfcycle ${verb}: docs/system.json still holds "${part.name}", which phase ${part.number}'s review ${part.act}. Take it out, run ${HALFCYCLE_COMMAND} system, then run this again.
+  return parts.map((part) => `halfcycle ${verb}: docs/system.json still holds "${part.name}", which phase "${part.phase}"'s review ${part.act}. Take it out, run ${HALFCYCLE_COMMAND} system, then run this again.
 `).join("");
 }
 function redrawLine(repoRoot, phase) {
@@ -8688,28 +8800,27 @@ function planStateSentence(state) {
       return "The owner approved an earlier plan; the parts marked as changed wait for the owner's approval.";
     case "sent-back":
       return "The owner sent this plan back. Change it to answer the owner's notes, then run this again.";
-    case "withdrawn":
-      return "The owner withdrew their approval of this plan. It waits for the owner's approval again.";
   }
 }
-function approvalLine2(phase, number, typedApprovalOffered, pinnedVersion, shown2) {
-  if (!typedApprovalOffered)
-    return TYPED_APPROVAL_OFF_SENTENCE;
-  if (!clientMeetsChatApprovalFloor(pinnedVersion))
-    return CLIENT_UPDATE_SENTENCE;
-  const byNumber = String(number);
-  const numberReachesThis = byNumber !== phase && resolvePhaseReference(byNumber, shown2)?.phase === phase;
-  const typed = numberReachesThis ? `\`approve ${phase}\` (or \`approve ${byNumber}\`)` : `\`approve ${phase}\``;
-  return `To approve it, the project's owner types ${typed} in their own Claude Code session. Only the owner can.`;
+function approvalLine2(phase, number, typedApprovalOffered, pinnedVersion, shown2, engagementId) {
+  const address = systemViewUrl(engagementId, phase);
+  const then = (sentence, viewSentence) => address === void 0 ? sentence : `${sentence} ${viewSentence} ${address}`;
+  if (!typedApprovalOffered) {
+    return then(TYPED_APPROVAL_OFF_SENTENCE, "The project's owner approves it in the System view:");
+  }
+  if (!clientMeetsChatApprovalFloor(pinnedVersion)) {
+    return then(CLIENT_UPDATE_SENTENCE, "Or the project's owner approves it in the System view now:");
+  }
+  return then(`To approve it, the project's owner types \`approve ${phase}\` in their own Claude Code session. Only the owner can.`, "They can also approve it in the System view:");
 }
 function changeLines(plan, description, changed, carriedFrom = []) {
   const names = new Map(description.parts.map((part) => [part.id, part.name]));
   const marked = new Set(changed);
-  const carried = new Map(carriedFrom.map((entry) => [entry.part, entry.number]));
+  const carried = new Map(carriedFrom.map((entry) => [entry.part, entry.phase]));
   return plan.changes.map((c) => {
     const mark = marked.has(c.part) ? " (changed since the owner last decided)" : "";
-    const carriedNumber = carried.get(c.part);
-    const carriedMark = carriedNumber === void 0 ? "" : ` (carried over from phase ${carriedNumber})`;
+    const carriedPhase = carried.get(c.part);
+    const carriedMark = carriedPhase === void 0 ? "" : ` (carried over from phase "${carriedPhase}")`;
     return `  - ${names.get(c.part) ?? c.part}${carriedMark} \xB7 ${PLAN_CHANGE_LABELS[c.change]} \xB7 ${c.summary}${mark}
 `;
   }).join("");
@@ -8756,7 +8867,7 @@ async function runPlan(repoRoot, phase, show, deps) {
       break;
   }
   const shownPhase = String(plan.phase);
-  const recorded = `[halfcycle] Plan for ${shownPhase} recorded: plan version ${outcome.version} (phase ${outcome.phaseNumber}).`;
+  const recorded = `[halfcycle] Plan for "${shownPhase}" recorded: plan version ${outcome.version}.`;
   const stateSentence = planStateSentence(outcome.state);
   const redraw = redrawLine(repoRoot, phase) ?? "";
   if (!show)
@@ -8780,7 +8891,7 @@ ${redraw}`;
       exitCode: 1
     };
   }
-  const stdout = listed + `${approvalLine2(shownPhase, outcome.phaseNumber, outcome.typedApprovalOffered, deps.pinnedClientVersion(repoRoot), written.entries)}
+  const stdout = listed + `${approvalLine2(shownPhase, outcome.phaseNumber, outcome.typedApprovalOffered, deps.pinnedClientVersion(repoRoot), written.entries, stage.credential.engagementId)}
 `;
   return { stdout, stderr: warnings, exitCode: 0 };
 }
@@ -8888,9 +8999,16 @@ var CANNOT_DRAW_PHASE_YET = `${P} this Halfcycle service cannot draw phase pictu
 function markdownAltText(text) {
   return text.replace(/[[\]\\]/g, (ch) => `\\${ch}`);
 }
+function closedAtWords(closedAt) {
+  const m = /^(\d{4}-\d{2}-\d{2})T(\d{2}:\d{2}:\d{2})(?:\.\d+)?Z$/.exec(closedAt);
+  return m === null ? closedAt : `${m[1]} ${m[2]} UTC`;
+}
+function closedPhraseFor(phase, closedAt) {
+  return `phase "${phase}", as it closed on ${closedAtWords(closedAt)}`;
+}
 var ARCHITECTURE_PASTE = { doc: "docs", alt: "Architecture", base: ARCHITECTURE_BASE };
 function phasePaste(phase) {
-  return { doc: "docs/phases", alt: `Phase ${phase}`, base: phaseDiagramBase(phase) };
+  return { doc: "docs/phases", alt: `Phase "${phase}"`, base: phaseDiagramBase(phase) };
 }
 function pasteLines(mermaid, target) {
   const block = mermaid.endsWith("\n") ? mermaid : `${mermaid}
@@ -8945,7 +9063,7 @@ async function runDraw(repoRoot, picture, deps) {
     return { stdout: "", stderr: credentialRead.line, exitCode: 1 };
   const closed = await deps.draw(credentialRead.credential, { picture: "closed-phase", phase });
   if (closed.kind === "drawn" || closed.kind === "refused") {
-    return writeDrawOutcome(repoRoot, deps, closed, phasePaste(phase), "", CANNOT_DRAW_PHASE_YET);
+    return writeDrawOutcome(repoRoot, deps, closed, phasePaste(phase), "", CANNOT_DRAW_PHASE_YET, phase);
   }
   let checkedPlan = null;
   const beforeSend = (description) => {
@@ -8983,14 +9101,14 @@ async function runDraw(repoRoot, picture, deps) {
     case "recorded":
       break;
   }
-  return drawAndWrite(repoRoot, deps, stage.credential, { picture: "phase", phase: plan.phase, planVersion: reported.version }, phasePaste(phase), warnings, CANNOT_DRAW_PHASE_YET);
+  return drawAndWrite(repoRoot, deps, stage.credential, { picture: "phase", phase: plan.phase, planVersion: reported.version }, phasePaste(phase), warnings, CANNOT_DRAW_PHASE_YET, phase);
 }
-async function drawAndWrite(repoRoot, deps, credential, request, target, warnings, cannotDrawYet) {
+async function drawAndWrite(repoRoot, deps, credential, request, target, warnings, cannotDrawYet, phaseName) {
   const outcome = await deps.draw(credential, request);
   const usable = outcome.kind === "not-closed" ? { kind: "unavailable", why: "Halfcycle sent an answer this command could not use. Nothing was written; try again later." } : outcome;
-  return writeDrawOutcome(repoRoot, deps, usable, target, warnings, cannotDrawYet);
+  return writeDrawOutcome(repoRoot, deps, usable, target, warnings, cannotDrawYet, phaseName);
 }
-async function writeDrawOutcome(repoRoot, deps, outcome, target, warnings, cannotDrawYet) {
+async function writeDrawOutcome(repoRoot, deps, outcome, target, warnings, cannotDrawYet, phaseName) {
   const base = target.base;
   if (outcome.kind === "no-route")
     return { stdout: "", stderr: warnings + cannotDrawYet, exitCode: 1 };
@@ -9014,20 +9132,25 @@ async function writeDrawOutcome(repoRoot, deps, outcome, target, warnings, canno
       exitCode: 1
     };
   }
+  const closedAt = outcome.drawn.closedAt;
+  const closedLead = closedAt !== void 0 && phaseName !== void 0 ? `This is ${closedPhraseFor(phaseName, closedAt)}.
+
+` : "";
+  const pasteTarget = closedAt !== void 0 && phaseName !== void 0 ? { ...target, alt: closedPhraseFor(phaseName, closedAt) } : target;
   const rel = (which) => diagramRel(base, which);
   const result = deps.write(repoRoot, base, checked.set);
   switch (result.kind) {
     case "up-to-date":
       return {
-        stdout: `[halfcycle] The pictures in ${DIAGRAM_DIR_REL}/ are up to date.
-` + pasteLines(outcome.drawn.mermaid, target),
+        stdout: closedLead + `[halfcycle] The pictures in ${DIAGRAM_DIR_REL}/ are up to date.
+` + pasteLines(outcome.drawn.mermaid, pasteTarget),
         stderr: warnings,
         exitCode: 0
       };
     case "written":
       return {
-        stdout: `[halfcycle] Wrote ${spokenList(DIAGRAM_FILES_AS_LISTED.map(rel))}.
-` + pasteLines(outcome.drawn.mermaid, target),
+        stdout: closedLead + `[halfcycle] Wrote ${spokenList(DIAGRAM_FILES_AS_LISTED.map(rel))}.
+` + pasteLines(outcome.drawn.mermaid, pasteTarget),
         stderr: warnings,
         exitCode: 0
       };
@@ -9094,8 +9217,7 @@ function parseReviewArgs(argv) {
 }
 function rv1Line(view) {
   const waiting = view.parts.filter((p) => p.decidable).length;
-  const lead = view.number === null ? `Phase "${view.phase}"` : `Phase ${view.number}, "${view.phase}"`;
-  return `${lead}, review round ${view.round}. Parts waiting for your decision: ${waiting} of ${view.parts.length}.`;
+  return `Phase "${view.phase}", review round ${view.round}. Parts waiting for your decision: ${waiting} of ${view.parts.length}.`;
 }
 var RV1A_LINE = "Halfcycle could not count what this phase changed, so judge each part on what the agents reported alone.";
 var CHANGE_WORDS = {
@@ -9115,7 +9237,7 @@ function partStatus(part, round) {
     case "accepted":
       return "Accepted";
     case "carried":
-      return part.carriedTo === void 0 || part.carriedTo === null ? "Carried to the next phase planned" : `Carried to phase ${part.carriedTo.number}`;
+      return part.carriedTo === void 0 || part.carriedTo === null ? "Carried to the next phase planned" : `Carried to phase "${part.carriedTo.phase}"`;
     case "dropped":
       return "Dropped";
     case void 0:
@@ -9162,6 +9284,9 @@ function partLines(part, view) {
   }
   const observed = view.observed ?? nothingCounted(view.phase);
   lines.push(`  What Halfcycle saw: ${observedLines(observed, part.part, view.description).join("; ")}`);
+  if (!part.built && part.tasks.length > 0 && part.tasks.every((t) => t.state === "completed") && partChangedUnderPaths(observed, part.part, view.description) === "unchanged") {
+    lines.push(`  ${NOTHING_COUNTED_DESPITE_FINISHED_LINE}`);
+  }
   const code = codeLinkLine(part.codeLink);
   if (code !== void 0)
     lines.push(`  ${code}`);
@@ -11102,7 +11227,7 @@ halfcycle open-phase: until ${opened.stampFailure.path} can be written, guard ev
         acceptanceOutcome: { verdict, findings: findingsDetail.length, findingsDetail },
         stated
       }, () => runObserveChild(runner, credential, repoRoot), repoRoot);
-      const report = closeStepReport(phaseArg, attempt);
+      const report = closeStepReport(phaseArg, attempt, credential.engagementId);
       for (const line of report.stdout)
         process.stdout.write(`${line}
 `);