@intentius/chant 0.124.52 → 0.124.54

package/dist/workspace/promote.js

@@ -13,30 +13,62 @@
  *
  * Rungs:
  *
- * - `terraform` to `choudoufu`: `choudoufu live-check` in the member's
+ * - `terraform` to `choudoufu`: `choudoufu init -backend=false` installs the
+ *   providers in the staging worktree, which has no `.terraform/` of its own
+ *   (#4461: `live-import` reads each resource through its provider), then
+ *   `choudoufu live-check` in the member's
  *   directory must pass, then `choudoufu live-import -state=<--state>
  *   -estate=<member>` prints its ratification report (read-only: it stamps
- *   nothing without `-approve`). The patch changes the member's kind.
+ *   nothing without `-approve`). The patch changes the member's kind. The
+ *   report, one entry per resource with its status, rides on `--json` as
+ *   `adoption` (INTENTIUS/behold#999, ./adoption-report.ts), so
+ *   `--dry-run --json` is the read-only way to ask what adopting would claim.
  * - `choudoufu` or `other` to `chant`: `chant import` writes TypeScript into
  *   the member's directory. The patch holds those files and the kind change.
  *
+ * The digest covers the member, the rung, what the staging changed outside
+ * the declaration, and (for `choudoufu`) the digest of the `live-import`
+ * report, so an approval is for the report the approver read. The kind change
+ * itself is written into the tree's declaration on apply rather than carried
+ * as a hunk, so promoting one member never conflicts with another member's
+ * uncommitted promotion (#4461: `--all` promotes a workspace in waves, see
+ * `./promote-waves.ts`).
+ *
+ * The stamp (`live-import -approve`) runs in the staging worktree's member
+ * directory, where `choudoufu init -backend=false` already installed the
+ * providers, so the member's own directory needs none (chant#4492).
+ *
+ * When `live-import -approve` fails after the kind change is written, the
+ * promote leaves a stamp record under `.chant/workspace-promote/` (#4485). A
+ * re-run finds the member already of kind `choudoufu` and the record, and
+ * retries the stamp ({@link retryPendingStamp}) rather than reporting it
+ * promoted or starting the next rung. The retry has no staging of its own to
+ * reuse, so it stages one first: a worktree at HEAD with the tree's changes to
+ * the member, and `choudoufu init -backend=false` in it. The record goes once
+ * a stamp passes.
+ *
  * Commands run through an injectable runner, so a test never starts a binary.
  */
 import { execFileSync, spawn } from "node:child_process";
-import { existsSync, mkdirSync, realpathSync, mkdtempSync, readFileSync, rmSync, writeFileSync } from "node:fs";
+import { copyFileSync, existsSync, mkdirSync, realpathSync, mkdtempSync, readFileSync, rmSync, writeFileSync } from "node:fs";
 import { tmpdir } from "node:os";
-import { join, relative, resolve, sep } from "node:path";
+import { dirname, join, relative, resolve, sep } from "node:path";
 import { formatError, formatInfo, formatSuccess, formatWarning } from "../cli/format.js";
+import { contentDigest } from "../content-digest.js";
 import { computePlanDigest } from "../lifecycle/plan-digest.js";
 import { LIFECYCLE_LOCAL_NOTE, isLifecycleLocalNote } from "../lifecycle/local-note.js";
 import { approveCommand, describeGateMismatch, evaluateGate, gateIsSealed, gitGateLedgerPort } from "../op/gate.js";
 import { WORKSPACE_PROMOTE_GATE_OP } from "../op/gate-name.js";
+import { parseLiveImportReport } from "./adoption-report.js";
 import { DECLARATION_FILES, readDeclaration } from "./declaration.js";
 import { setProperty } from "./json-edit.js";
 import { workingTree } from "./tree.js";
 export const PROMOTE_PLAN_KIND = "workspace-promote";
 export const PROMOTE_GATED_EXIT = 3;
-const USAGE = "chant workspace promote <member> [--state <terraform.tfstate>] [--lexicon <lexicon>] [--dry-run] [--output <patch file>] [--json]";
+const USAGE = [
+    "chant workspace promote <member> [--state <terraform.tfstate>] [--lexicon <lexicon>] [--dry-run] [--output <patch file>] [--json]",
+    "chant workspace promote --all [--state-dir <dir>] [--state <member>=<terraform.tfstate>]... [--canary <member>] [--wave-size <n>] [--dry-run] [--json]",
+].join("\n");
 export class PromoteError extends Error {
 }
 /** The ladder, lowest rung first. `other` and `terraform` share the bottom rung. */
@@ -58,14 +90,19 @@ export const spawnRunner = (argv, cwd) => new Promise((done) => {
     child.on("error", (e) => done({ exitCode: 127, output: String(e.message) }));
     child.on("close", (code) => done({ exitCode: code ?? 1, output: Buffer.concat(out).toString("utf-8") }));
 });
+/** `choudoufu init -backend=false` in the member's staging directory: the providers `live-import` reads each resource through (#4461). */
+function stagingInit(member) {
+    return { label: "choudoufu init", argv: ["choudoufu", "init", "-input=false", "-backend=false", "-no-color"], cwd: member.dir };
+}
 /** The commands the rung runs in the staging worktree. */
 export function stagingRuns(rung, member, opts) {
     if (rung.to === "choudoufu") {
         if (!opts.state)
             throw new PromoteError(`promoting ${member.name} to choudoufu reads its state for the adoption report: pass --state <terraform.tfstate>`);
         return [
+            stagingInit(member),
             { label: "choudoufu live-check", argv: ["choudoufu", "live-check"], cwd: member.dir },
-            { label: "choudoufu live-import (report)", argv: ["choudoufu", "live-import", `-state=${opts.state}`, `-estate=${member.name}`], cwd: member.dir },
+            { label: "choudoufu live-import (report)", argv: ["choudoufu", "live-import", `-state=${opts.state}`, `-estate=${member.name}`], cwd: member.dir, report: true },
         ];
     }
     const lexicon = opts.lexicon ?? (rung.from === "choudoufu" ? "terraform" : undefined);
@@ -79,9 +116,187 @@ export function followUpRuns(rung, member, opts) {
         return [];
     return [{ label: "choudoufu live-import -approve", argv: ["choudoufu", "live-import", `-state=${opts.state}`, `-estate=${member.name}`, "-approve"], cwd: member.dir }];
 }
+/** Where a promote keeps what a re-run needs, relative to the project root. */
+export const PROMOTE_RECORD_DIR = ".chant/workspace-promote";
+export const PENDING_STAMP_SCHEMA = "chant-workspace-promote-stamp/v1";
+function pendingStampPath(root, member) {
+    return join(root, PROMOTE_RECORD_DIR, `${member}.stamp.json`);
+}
+/** The stamp a promote of `member` left failed, or undefined when none is pending. */
+export function readPendingStamp(root, member) {
+    const file = pendingStampPath(root, member);
+    if (!existsSync(file))
+        return undefined;
+    try {
+        const record = JSON.parse(readFileSync(file, "utf-8"));
+        return record.schema === PENDING_STAMP_SCHEMA && record.member === member ? record : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+function writePendingStamp(root, record) {
+    mkdirSync(join(root, PROMOTE_RECORD_DIR), { recursive: true });
+    writeFileSync(pendingStampPath(root, record.member), `${JSON.stringify(record, null, 2)}\n`);
+}
+function clearPendingStamp(root, member) {
+    rmSync(pendingStampPath(root, member), { force: true });
+}
+/** The `live-import -approve` line to run by hand for a pending stamp. */
+export function stampCommand(member, state) {
+    return `\`choudoufu live-import -state=${state} -estate=${member.name} -approve\` in ${member.dir || "."}`;
+}
+/**
+ * Run the stamps of the `choudoufu` rung's follow-up in `cwd`, the member's
+ * directory in a staging worktree whose `choudoufu init` installed the
+ * providers (chant#4492). Keep a {@link PendingStamp} in the tree when one
+ * fails and drop it when they pass. The result is `applied`, exit 0 when
+ * every stamp passed, else exit 1 with the failed follow-up named.
+ */
+async function stampMember(input) {
+    const rung = { from: "terraform", to: "choudoufu" };
+    let followUpOutput;
+    for (const step of followUpRuns(rung, input.member, { state: input.state })) {
+        const result = await input.run(step.argv, input.cwd);
+        input.ran.push({ label: step.label, exitCode: result.exitCode });
+        followUpOutput = result.output;
+        if (result.exitCode !== 0) {
+            const tail = result.output.trimEnd().split("\n").slice(-20).join("\n");
+            input.say(formatError({ message: `${step.label} failed after the patch was applied`, hint: tail }));
+            writePendingStamp(input.root, {
+                schema: PENDING_STAMP_SCHEMA,
+                member: input.member.name,
+                dir: input.member.dir,
+                state: input.state ?? "",
+                failed: step.label,
+                at: new Date().toISOString(),
+            });
+            input.say(formatInfo(`the stamp is kept as pending in ${join(PROMOTE_RECORD_DIR, `${input.member.name}.stamp.json`)}: run the same promote again to retry it, or ${stampCommand(input.member, input.state ?? "<terraform.tfstate>")}`));
+            return { exitCode: 1, followUpFailed: step.label, failureOutput: tail, followUpOutput };
+        }
+    }
+    clearPendingStamp(input.root, input.member.name);
+    return { exitCode: 0, ...(followUpOutput !== undefined ? { followUpOutput } : {}) };
+}
+/**
+ * Retry the stamp an earlier promote of `member` left failed (#4485), or
+ * undefined when none is pending. The member is already of kind
+ * `choudoufu`: its kind change was written, so only the stamp runs, against
+ * `state` when given, else the state the record names. The result is
+ * `applied`: exit 0 once the stamp passed, exit 1 with the failed follow-up
+ * when it failed again.
+ */
+export async function retryPendingStamp(opts) {
+    const root = realpathSync(resolve(opts.root));
+    const pending = readPendingStamp(root, opts.member);
+    if (!pending)
+        return undefined;
+    const say = (m) => {
+        if (!opts.json)
+            console.error(m);
+    };
+    const state = opts.state ? resolve(opts.state) : pending.state || undefined;
+    if (!state)
+        throw new PromoteError(`${opts.member}'s stamp is pending and its record names no state: pass --state <terraform.tfstate>`);
+    say(formatInfo(`${opts.member}: kind choudoufu, but the stamp ${pending.at} failed (${pending.failed}); retrying it`));
+    const run = opts.runner ?? spawnRunner;
+    const member = { name: opts.member, dir: pending.dir };
+    const ran = [];
+    const done = { outcome: "applied", member: opts.member, from: "terraform", to: "choudoufu", ran, retriedStamp: true };
+    // No staging is left from the promote that wrote the record, so stage one (chant#4492): the stamp reads
+    // each resource through its provider, and the member's own directory need not have them installed.
+    const staging = openStaging(root);
+    try {
+        const cwd = join(staging.project, member.dir);
+        mirrorMember(staging, member.dir);
+        mkdirSync(cwd, { recursive: true });
+        const init = stagingInit(member);
+        const installed = await run(init.argv, cwd);
+        ran.push({ label: init.label, exitCode: installed.exitCode });
+        if (installed.exitCode !== 0) {
+            const tail = installed.output.trimEnd().split("\n").slice(-20).join("\n");
+            say(formatError({ message: `${init.label} failed in the staging worktree, so the stamp was not retried`, hint: tail }));
+            say(formatInfo(`the stamp stays pending in ${join(PROMOTE_RECORD_DIR, `${member.name}.stamp.json`)}: run the same promote again to retry it`));
+            return { ...done, exitCode: 1, followUpFailed: init.label, failureOutput: tail };
+        }
+        const stamped = await stampMember({ root, cwd, member, state, run, ran, say });
+        if (stamped.exitCode === 0)
+            say(formatSuccess(`stamped "${opts.member}"; its promotion to choudoufu is complete`));
+        return { ...done, ...stamped };
+    }
+    finally {
+        staging.dispose();
+    }
+}
+function openStaging(root) {
+    let repo;
+    let head;
+    try {
+        repo = git(root, ["rev-parse", "--show-toplevel"]).trim();
+        head = git(root, ["rev-parse", "HEAD"]).trim();
+    }
+    catch {
+        throw new PromoteError("chant workspace promote stages its change in a git worktree, so the project must be in a git repository with at least one commit");
+    }
+    const projectRel = relative(repo, root).split(sep).join("/");
+    const holder = mkdtempSync(join(tmpdir(), "chant-promote-"));
+    const worktree = join(holder, "wt");
+    const dispose = () => {
+        try {
+            git(repo, ["worktree", "remove", "--force", worktree]);
+        }
+        catch {
+            // Fall through to the directory removal and a prune.
+        }
+        rmSync(holder, { recursive: true, force: true });
+        try {
+            git(repo, ["worktree", "prune"]);
+        }
+        catch {
+            // Nothing to prune.
+        }
+    };
+    try {
+        git(repo, ["worktree", "add", "-q", "--detach", worktree, head]);
+    }
+    catch (err) {
+        dispose();
+        throw err;
+    }
+    return { repo, head, projectRel, worktree, project: projectRel ? join(worktree, projectRel) : worktree, dispose };
+}
+/**
+ * Bring the tree's uncommitted changes to the member's directory into the
+ * staging worktree: a promote applied but not yet committed (the lock file
+ * `init` wrote, say) is what the stamp should read. Ignored files stay out.
+ */
+function mirrorMember(staging, dir) {
+    const path = [staging.projectRel, dir].filter(Boolean).join("/") || ".";
+    const diff = git(staging.repo, ["diff", "--binary", "HEAD", "--", path]);
+    if (diff.trim()) {
+        const patchDir = mkdtempSync(join(tmpdir(), "chant-promote-patch-"));
+        try {
+            const file = join(patchDir, "member.patch");
+            writeFileSync(file, diff);
+            git(staging.worktree, ["apply", "--binary", "--whitespace=nowarn", file]);
+        }
+        finally {
+            rmSync(patchDir, { recursive: true, force: true });
+        }
+    }
+    for (const f of git(staging.repo, ["ls-files", "--others", "--exclude-standard", "-z", "--", path]).split("\0").filter(Boolean)) {
+        const to = join(staging.worktree, f);
+        mkdirSync(dirname(to), { recursive: true });
+        copyFileSync(join(staging.repo, f), to);
+    }
+}
 function git(cwd, args) {
     return execFileSync("git", args, { cwd, encoding: "utf-8", stdio: ["ignore", "pipe", "pipe"], maxBuffer: 256 * 1024 * 1024 });
 }
+/** What a staging writes that no patch carries: the providers and modules `init` installs (#4461). */
+const NOT_STAGED = [":(exclude,glob)**/.terraform/**"];
+/** The staging step whose output is the adoption report. */
+const REPORT_STEP = "choudoufu live-import (report)";
 function declarationFile(root) {
     const f = DECLARATION_FILES.find((n) => existsSync(join(root, n)));
     if (!f)
@@ -108,77 +323,110 @@ export async function promoteCommand(opts) {
         if (!opts.json)
             console.error(m);
     };
+    // #4485: the choudoufu rung is not done until its stamp passed; retry that before any next rung.
+    if (found.kind === "choudoufu" && !opts.dryRun) {
+        const retried = await retryPendingStamp({ root, member: found.name, ...(opts.state ? { state: opts.state } : {}), ...(opts.json !== undefined ? { json: opts.json } : {}), ...(opts.runner ? { runner: opts.runner } : {}) });
+        if (retried) {
+            if (opts.json && !opts.nested)
+                console.log(JSON.stringify(retried, null, 2));
+            return retried;
+        }
+    }
     const rung = nextRung(found.kind);
     if (!rung) {
         say(formatInfo(`${found.name} is kind ${found.kind}, which has no rung above it on the ladder (terraform or other, choudoufu, chant)`));
         return { outcome: "top-of-ladder", exitCode: 0, member: found.name, from: found.kind };
     }
     const member = { name: found.name, dir: found.dir === "." ? "" : found.dir };
-    const staging = stagingRuns(rung, member, opts);
+    // The staging runs in a worktree, so a relative --state would resolve there.
+    const state = opts.state ? resolve(opts.state) : undefined;
+    const steps = stagingRuns(rung, member, { ...opts, state });
+    const emitJson = opts.json && !opts.nested;
     let repo;
-    let head;
     try {
         repo = git(root, ["rev-parse", "--show-toplevel"]).trim();
-        head = git(root, ["rev-parse", "HEAD"]).trim();
+        git(root, ["rev-parse", "HEAD"]);
     }
     catch {
         throw new PromoteError("chant workspace promote stages its change in a git worktree, so the project must be in a git repository with at least one commit");
     }
     const projectRel = relative(repo, root).split(sep).join("/");
     const declFile = declarationFile(root);
-    const watched = [declFile, member.dir].filter(Boolean).map((p) => [projectRel, p].filter(Boolean).join("/"));
+    // The declaration is not watched: the kind change is written into the
+    // tree's declaration on apply, so another member's uncommitted promotion
+    // there does not block this one (#4461).
+    const inProject = (p) => [projectRel, p].filter(Boolean).join("/") || ".";
+    const watched = [inProject(member.dir), `:(exclude)${inProject(declFile)}`];
     const dirty = git(repo, ["status", "--porcelain", "--untracked-files=all", "--", ...watched]).split("\n").filter(Boolean);
     if (dirty.length > 0) {
         throw new PromoteError(`${found.name} has uncommitted changes (${dirty.slice(0, 5).map((l) => l.slice(3)).join(", ")}). Commit them: promote stages from HEAD and applies its patch to the tree.`);
     }
-    const holder = mkdtempSync(join(tmpdir(), "chant-promote-"));
-    const worktree = join(holder, "wt");
-    const dispose = () => {
-        try {
-            git(repo, ["worktree", "remove", "--force", worktree]);
-        }
-        catch {
-            // Fall through to the directory removal and a prune.
-        }
-        rmSync(holder, { recursive: true, force: true });
-        try {
-            git(repo, ["worktree", "prune"]);
-        }
-        catch {
-            // Nothing to prune.
-        }
-    };
+    const staging = openStaging(root);
+    const { worktree, project } = staging;
     try {
-        git(repo, ["worktree", "add", "-q", "--detach", worktree, head]);
-        const project = projectRel ? join(worktree, projectRel) : worktree;
         const ran = [];
-        for (const step of staging) {
+        let adoption;
+        let reportOutput;
+        for (const step of steps) {
             const cwd = join(project, step.cwd);
             mkdirSync(cwd, { recursive: true });
             const result = await run(step.argv, cwd);
             ran.push({ label: step.label, exitCode: result.exitCode });
             if (!opts.json)
                 say(formatInfo(`${step.label}: exit ${result.exitCode}`));
+            if (step.label === REPORT_STEP) {
+                adoption = parseLiveImportReport(result.output);
+                // The report is what the gate asks a person to review, so it is shown, not only counted.
+                if (result.exitCode === 0 && result.output.trim())
+                    say(result.output.trimEnd());
+            }
             if (result.exitCode !== 0) {
-                say(formatError({ message: `${step.label} failed in the staging worktree`, hint: result.output.trimEnd().split("\n").slice(-20).join("\n") }));
+                const tail = result.output.trimEnd().split("\n").slice(-20).join("\n");
+                say(formatError({ message: `${step.label} failed in the staging worktree`, hint: tail }));
                 say(formatError({ message: "the promotion was not gated: its checks must pass first. The tree is unchanged." }));
-                if (opts.json)
-                    console.log(JSON.stringify({ outcome: "checks-failed", member: found.name, ran }, null, 2));
-                return { outcome: "checks-failed", exitCode: 1, member: found.name, from: rung.from, to: rung.to, ran };
+                if (emitJson)
+                    console.log(JSON.stringify({ outcome: "checks-failed", member: found.name, from: rung.from, to: rung.to, ran, ...(adoption ? { adoption } : {}), failed: { label: step.label, output: tail } }, null, 2));
+                return { outcome: "checks-failed", exitCode: 1, member: found.name, from: rung.from, to: rung.to, ran, ...(adoption ? { adoption } : {}), failureOutput: tail };
             }
+            if (step.report)
+                reportOutput = result.output;
         }
+        const reportDigest = reportOutput === undefined ? undefined : contentDigest(reportOutput.trimEnd());
+        const declRel = inProject(declFile);
+        // What the staging wrote outside the declaration: the hunks the apply
+        // carries. The kind change is described by from and to. The providers
+        // `choudoufu init` installed under `.terraform/` are never part of it.
+        git(worktree, ["add", "-A", "--", ".", ...NOT_STAGED]);
+        const memberPatch = git(worktree, ["diff", "--cached", "--binary", "HEAD", "--", ".", `:(exclude)${declRel}`]);
         const declPath = join(project, declFile);
         writeFileSync(declPath, setMemberKind(readFileSync(declPath, "utf-8"), declFile, found.name, rung.to));
-        git(worktree, ["add", "-A"]);
+        git(worktree, ["add", "-A", "--", ".", ...NOT_STAGED]);
         const patch = git(worktree, ["diff", "--cached", "--binary", "HEAD"]);
-        const digest = computePlanDigest(PROMOTE_PLAN_KIND, { member: found.name, from: rung.from, to: rung.to, patch });
-        const base = { outcome: "dry-run", exitCode: 0, member: found.name, from: rung.from, to: rung.to, digest, patch, ran };
+        const digest = computePlanDigest(PROMOTE_PLAN_KIND, {
+            member: found.name,
+            from: rung.from,
+            to: rung.to,
+            patch: memberPatch,
+            ...(reportDigest ? { report: reportDigest } : {}),
+        });
+        const base = {
+            outcome: "dry-run",
+            exitCode: 0,
+            member: found.name,
+            from: rung.from,
+            to: rung.to,
+            digest,
+            patch,
+            ran,
+            ...(reportDigest ? { reportDigest } : {}),
+            ...(adoption ? { adoption } : {}),
+        };
         const report = (outcome, exitCode, extra = {}) => {
-            if (opts.json)
-                console.log(JSON.stringify({ outcome, member: found.name, from: rung.from, to: rung.to, digest, ran, ...extra }, null, 2));
-            return { ...base, outcome, exitCode };
+            if (emitJson)
+                console.log(JSON.stringify({ outcome, member: found.name, from: rung.from, to: rung.to, digest, ...(reportDigest ? { reportDigest } : {}), ran, ...(adoption ? { adoption } : {}), ...extra }, null, 2));
+            return { ...base, outcome, exitCode, ...extra };
         };
-        say(formatInfo(`${found.name}: ${rung.from} to ${rung.to}, patch ${digest}`));
+        say(formatInfo(`${found.name}: ${rung.from} to ${rung.to}, patch ${digest}${reportDigest ? `, live-import report ${reportDigest}` : ""}`));
         if (opts.output)
             writeFileSync(resolve(opts.output), patch);
         if (opts.dryRun) {
@@ -188,7 +436,7 @@ export async function promoteCommand(opts) {
         const check = await evaluateGate(opts.ledger ?? gitGateLedgerPort({ cwd: repo }), {
             op: WORKSPACE_PROMOTE_GATE_OP,
             gate: found.name,
-            description: `promote ${found.name} from ${rung.from} to ${rung.to}`,
+            description: `promote ${found.name} from ${rung.from} to ${rung.to}${reportDigest ? ` (live-import report ${reportDigest})` : ""}`,
             planDigest: digest,
             ...(opts.now ? { now: opts.now } : {}),
         });
@@ -205,38 +453,76 @@ export async function promoteCommand(opts) {
             }
             return report("gated", PROMOTE_GATED_EXIT, { pending: check.pending });
         }
-        const patchDir = mkdtempSync(join(tmpdir(), "chant-promote-patch-"));
-        try {
-            const file = join(patchDir, "promote.patch");
-            writeFileSync(file, patch);
+        if (memberPatch.trim()) {
+            const patchDir = mkdtempSync(join(tmpdir(), "chant-promote-patch-"));
             try {
-                git(repo, ["apply", "--binary", "--whitespace=nowarn", file]);
+                const file = join(patchDir, "promote.patch");
+                writeFileSync(file, memberPatch);
+                try {
+                    git(repo, ["apply", "--binary", "--whitespace=nowarn", file]);
+                }
+                catch (err) {
+                    const stderr = err.stderr?.toString().trim();
+                    throw new PromoteError(`the approved patch no longer applies to the tree${stderr ? `: ${stderr}` : ""}`);
+                }
             }
-            catch (err) {
-                const stderr = err.stderr?.toString().trim();
-                throw new PromoteError(`the approved patch no longer applies to the tree${stderr ? `: ${stderr}` : ""}`);
+            finally {
+                rmSync(patchDir, { recursive: true, force: true });
             }
         }
-        finally {
-            rmSync(patchDir, { recursive: true, force: true });
-        }
-        for (const step of followUpRuns(rung, member, opts)) {
-            const result = await run(step.argv, join(root, step.cwd));
-            ran.push({ label: step.label, exitCode: result.exitCode });
-            if (result.exitCode !== 0) {
-                say(formatError({ message: `${step.label} failed after the patch was applied`, hint: result.output.trimEnd().split("\n").slice(-20).join("\n") }));
-                return report("applied", 1, { followUpFailed: step.label });
+        const treeDecl = join(root, declFile);
+        writeFileSync(treeDecl, setMemberKind(readFileSync(treeDecl, "utf-8"), declFile, found.name, rung.to));
+        let followUpOutput;
+        if (rung.to === "choudoufu") {
+            // In the staging's member directory, where `choudoufu init` installed the providers (chant#4492).
+            const stamped = await stampMember({ root, cwd: join(project, member.dir), member, state, run, ran, say });
+            if (stamped.exitCode !== 0) {
+                return report("applied", 1, { followUpFailed: stamped.followUpFailed, failureOutput: stamped.failureOutput, followUpOutput: stamped.followUpOutput });
             }
+            followUpOutput = stamped.followUpOutput;
         }
         say(formatSuccess(`applied the approved promotion of "${found.name}" to ${rung.to} (${digest}). Review and commit it.`));
-        return report("applied", 0);
+        return report("applied", 0, followUpOutput === undefined ? {} : { followUpOutput });
     }
     finally {
-        dispose();
+        staging.dispose();
     }
 }
 export async function runWorkspacePromote(ctx) {
     const { args } = ctx;
+    const mapped = (args.statePaths ?? []).some((s) => s.includes("="));
+    if (args.all || args.stateDir || args.waveSize !== undefined || mapped) {
+        // #4461: a workspace of roots, in waves.
+        if (args.extraPositional) {
+            console.error(formatError({ message: "promote --all takes no member: name roots with --state <member>=<path>, the canary with --canary <member>", hint: USAGE }));
+            return 1;
+        }
+        if (args.output || args.lexicon) {
+            console.error(formatError({ message: "--output and --lexicon promote one member; promote --all adopts terraform roots into choudoufu and writes no patch file", hint: USAGE }));
+            return 1;
+        }
+        try {
+            const { parseStateMappings, promoteWavesCommand } = await import("./promote-waves.js");
+            const result = await promoteWavesCommand({
+                root: process.cwd(),
+                all: args.all,
+                states: parseStateMappings(args.statePaths ?? []),
+                stateDir: args.stateDir,
+                canary: args.canary,
+                waveSize: args.waveSize,
+                dryRun: args.dryRun,
+                json: args.json,
+            });
+            return result.exitCode;
+        }
+        catch (err) {
+            if (err instanceof PromoteError) {
+                console.error(formatError({ message: err.message, hint: USAGE }));
+                return 1;
+            }
+            throw err;
+        }
+    }
     if (!args.extraPositional || args.extraPositional2) {
         console.error(formatError({ message: "promote takes exactly one member", hint: USAGE }));
         return 1;

package/dist/workspace/reason-codes.d.ts

@@ -48,11 +48,18 @@ export declare const REASONS: {
     readonly "environment-unknown": "--env names an environment the project's chant config does not declare.";
     readonly "snapshot-unavailable": "--snapshot names a snapshot chant can't replay: none is recorded for the environment, or the ref is one replay does not take.";
     readonly "build-failed": "The project's build, or one of its build roots, failed, so the graph search would answer over is incomplete.";
+    readonly "index-unavailable": "--index names an index version chant can't read: none is recorded under the scope key in the store, or its stamp is not the scope or version asked for.";
     readonly "snapshot-at-revision": "workspace search was given --snapshot and --at: a snapshot replays the estate as recorded over the source in the working tree, not at a revision.";
     readonly "member-chant-too-old": "The member's chant predates the document asked for: it has no such command, or prints it without the read contract.";
     readonly "lexicon-has-no-mapping": "The lexicon ships no capability mapping, so no capability rule can read its resources.";
     readonly "capability-not-derivable": "The lexicon's capability mapping labels none of the kinds the capability's rule needs.";
     readonly "lexicon-not-loaded": "The lexicon isn't installed where the chant that wrote the catalog runs, so its mapping wasn't read.";
+    readonly "instances-each-value": "The block's count or for_each reads each.value or each.key, which only a plan can count.";
+    readonly "instances-merge": "The block's count or for_each calls merge(), which the declared graph does not evaluate.";
+    readonly "instances-value-unknown": "The block's count or for_each is a form the graph reads, and the files a plan reads give it no value, or one that keys no instances.";
+    readonly "instances-form-unread": "The block's count or for_each is an expression the graph does not read: another function, a for expression, another conditional, arithmetic, or a resource, data or module attribute.";
+    readonly "instances-over-limit": "The block would have more than 256 instance nodes, so it is drawn alone.";
+    readonly "instances-module-uncounted": "The block is under an expanded module call whose count or for_each the graph cannot count, so none of its instance ids is known.";
     readonly "ledger-unreadable": "Reading the ledger failed, so nothing from it is listed.";
     readonly "ledger-malformed": "Some lines of the ledger aren't release records; the rest are listed.";
     readonly "filter-invalid": "A --where or --since names a field the read doesn't have, an operator its type doesn't take, or a value not of its type; nothing was read.";
@@ -324,6 +331,11 @@ export declare const REASONS: {
     readonly "chant-dependency": "The member's package.json still has a chant dependency, or a script that calls chant.";
     readonly "chant-in-ci": "A CI file of the exited member still calls chant.";
     readonly "declaration-not-other": "The declaration still gives the exited member a kind other than other.";
+    readonly "member-required": "workspace drift was given no --member, or more than one: it reads one member.";
+    readonly "no-drift-read": "The member's kind has no drift read, such as other, app or a nested workspace.";
+    readonly "read-unsupported": "--read names a read the member's engine does not answer, such as state on a chant member.";
+    readonly "resource-unsupported": "--resource was given for an engine that cannot read one resource on its own.";
+    readonly "env-required": "A chant member's live drift read needs an environment, and --env was not given.";
 };
 export type ReasonCode = keyof typeof REASONS;
 /** Every code, in the order of {@link REASONS}. */

package/dist/workspace/reason-codes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reason-codes.d.ts","sourceRoot":"","sources":["../../src/workspace/reason-codes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,sHAAsH;AACtH,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,uHAAuH;AACvH,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAE5C,qFAAqF;AACrF,eAAO,MAAM,OAAO;aAElB,qBAAqB,EAAE,2EAA2E;aAClG,uBAAuB,EAAE,4DAA4D;aACrF,yBAAyB,EAAE,mEAAmE;aAC9F,qBAAqB,EAAE,wFAAwF;aAC/G,mBAAmB,EAAE,kDAAkD;aACvE,gBAAgB,EAAE,iEAAiE;aACnF,qBAAqB,EAAE,sHAAsH;aAE7I,sBAAsB,EAAE,mEAAmE;aAC3F,kBAAkB,EAAE,uBAAuB;aAC3C,kBAAkB,EAAE,wFAAwF;aAE5G,qBAAqB,EAAE,yDAAyD;aAEhF,aAAa,EAAE,wCAAwC;aACvD,cAAc,EAAE,gEAAgE;aAChF,mBAAmB,EAAE,oDAAoD;aACzE,YAAY,EAAE,gEAAgE;aAE9E,cAAc,EAAE,4EAA4E;aAC5F,gBAAgB,EAAE,2KAA2K;aAC7L,mBAAmB,EAAE,2EAA2E;aAChG,wBAAwB,EAAE,sDAAsD;aAEhF,eAAe,EAAE,oGAAoG;aACrH,eAAe,EAAE,kIAAkI;aACnJ,qBAAqB,EAAE,yEAAyE;aAChG,sBAAsB,EAAE,+HAA+H;aACvJ,cAAc,EAAE,8GAA8G;aAC9H,sBAAsB,EAAE,mJAAmJ;aAC3K,sBAAsB,EAAE,qHAAqH;aAE7I,wBAAwB,EAAE,wFAAwF;aAClH,0BAA0B,EAAE,wFAAwF;aACpH,oBAAoB,EAAE,sGAAsG;aAE5H,mBAAmB,EAAE,0DAA0D;aAC/E,kBAAkB,EAAE,uEAAuE;aAE3F,gBAAgB,EAAE,4IAA4I;aAC9J,eAAe,EAAE,iHAAiH;aAElI,iBAAiB,EAAE,iFAAiF;aACpG,sBAAsB,EAAE,gFAAgF;aACxG,yBAAyB,EAAE,gEAAgE;aAE3F,qBAAqB,EAAE,iFAAiF;aACxG,mBAAmB,EAAE,iFAAiF;aACtG,yBAAyB,EAAE,8GAA8G;aAEzI,oBAAoB,EAAE,sJAAsJ;aAC5K,uBAAuB,EAAE,kFAAkF;aAC3G,qBAAqB,EAAE,uDAAuD;aAC9E,2BAA2B,EAAE,8CAA8C;aAC3E,4BAA4B,EAAE,4EAA4E;aAC1G,2BAA2B,EAAE,8CAA8C;aAC3E,8BAA8B,EAAE,6FAA6F;aAC7H,sBAAsB,EAAE,wGAAwG;aAEhI,uBAAuB,EAAE,kJAAkJ;aAC3K,gCAAgC,EAAE,yFAAyF;aAE3H,aAAa,EAAE,4FAA4F;aAC3G,eAAe,EAAE,iEAAiE;aAClF,aAAa,EAAE,sIAAsI;aACrJ,2BAA2B,EAAE,gHAAgH;aAC7I,oBAAoB,EAAE,qHAAqH;aAC3I,mBAAmB,EAAE,+GAA+G;aACpI,yBAAyB,EAAE,2KAA2K;aAEtM,oBAAoB,EAAE,sFAAsF;aAC5G,yBAAyB,EAAE,sEAAsE;aACjG,kBAAkB,EAAE,+EAA+E;aACnG,2BAA2B,EAAE,oFAAoF;aACjH,oBAAoB,EAAE,wFAAwF;aAC9G,0BAA0B,EAAE,2DAA2D;aACvF,oBAAoB,EAAE,mJAAmJ;aACzK,uBAAuB,EAAE,+IAA+I;aACxK,+BAA+B,EAAE,uJAAuJ;aACxL,uBAAuB,EAAE,gFAAgF;aACzG,yBAAyB,EAAE,8EAA8E;aACzG,mBAAmB,EAAE,mFAAmF;aAExG,mBAAmB,EAAE,6EAA6E;aAClG,YAAY,EAAE,uHAAuH;aAErI,0BAA0B,EAAE,uEAAuE;aACnG,sBAAsB,EAAE,8EAA8E;aACtG,sBAAsB,EAAE,qHAAqH;aAE7I,gBAAgB,EAAE,yFAAyF;aAC3G,cAAc,EAAE,gEAAgE;aAChF,kBAAkB,EAAE,oHAAoH;aACxI,qBAAqB,EAAE,oGAAoG;aAC3H,mBAAmB,EAAE,0GAA0G;aAE/H,cAAc,EAAE,8CAA8C;aAC9D,sBAAsB,EAAE,wGAAwG;aAChI,wBAAwB,EAAE,uIAAuI;aACjK,mBAAmB,EAAE,sLAAsL;aAE3M,mBAAmB,EAAE,sKAAsK;aAC3L,8BAA8B,EAAE,6MAA6M;aAE7O,iBAAiB,EAAE,2DAA2D;aAC9E,cAAc,EAAE,oEAAoE;aACpF,mBAAmB,EAAE,kEAAkE;aACvF,oBAAoB,EAAE,6DAA6D;aACnF,gBAAgB,EAAE,4CAA4C;aAC9D,kBAAkB,EAAE,uEAAuE;aAE3F,qBAAqB,EAAE,gFAAgF;aACvG,qBAAqB,EAAE,8FAA8F;aACrH,kBAAkB,EAAE,yCAAyC;aAC7D,iBAAiB,EAAE,4EAA4E;aAC/F,yBAAyB,EAAE,wGAAwG;aACnI,uBAAuB,EAAE,uFAAuF;aAChH,eAAe,EAAE,gGAAgG;aACjH,oBAAoB,EAAE,qEAAqE;aAC3F,yBAAyB,EAAE,+IAA+I;aAC1K,oBAAoB,EAAE,wEAAwE;aAC9F,sBAAsB,EAAE,6DAA6D;aACrF,oBAAoB,EAAE,0IAA0I;aAChK,0BAA0B,EAAE,4IAA4I;aACxK,6BAA6B,EAAE,uIAAuI;aACtK,uBAAuB,EAAE,+IAA+I;aACxK,oBAAoB,EAAE,6KAA6K;aAEnM,iBAAiB,EAAE,mLAAmL;aACtM,oBAAoB,EAAE,iKAAiK;aACvL,qBAAqB,EAAE,kKAAkK;aAEzL,oBAAoB,EAAE,qMAAqM;aAC3N,kBAAkB,EAAE,yIAAyI;aAC7J,uBAAuB,EAAE,qLAAqL;aAC9M,2BAA2B,EAAE,8PAA8P;aAC3R,eAAe,EAAE,kHAAkH;aACnI,wBAAwB,EAAE,0VAA0V;aAEpX,iBAAiB,EAAE,oFAAoF;aACvG,kBAAkB,EAAE,4EAA4E;aAEhG,mBAAmB,EAAE,4GAA4G;aACjI,gBAAgB,EAAE,kIAAkI;aACpJ,eAAe,EAAE,sEAAsE;aACvF,sBAAsB,EAAE,kFAAkF;aAC1G,sBAAsB,EAAE,mGAAmG;aAC3H,sBAAsB,EAAE,8DAA8D;aACtF,gBAAgB,EAAE,oOAAoO;aACtP,wBAAwB,EAAE,wKAAwK;aAClM,uBAAuB,EAAE,oNAAoN;aAC7O,qBAAqB,EAAE,mIAAmI;aAC1J,0BAA0B,EAAE,kOAAkO;aAC9P,0BAA0B,EAAE,6KAA6K;aAEzM,mBAAmB,EAAE,6FAA6F;aAClH,uBAAuB,EAAE,0HAA0H;aACnJ,oBAAoB,EAAE,yFAAyF;aAE/G,uBAAuB,EAAE,wEAAwE;aACjG,uBAAuB,EAAE,iFAAiF;aAC1G,2BAA2B,EAAE,uGAAuG;aACpI,uBAAuB,EAAE,uEAAuE;aAChG,yBAAyB,EAAE,6GAA6G;aAExI,wBAAwB,EAAE,2FAA2F;aACrH,sBAAsB,EAAE,uGAAuG;aAC/H,mBAAmB,EAAE,qMAAqM;aAE1N,yBAAyB,EAAE,kFAAkF;aAC7G,oBAAoB,EAAE,qKAAqK;aAC3L,oBAAoB,EAAE,2DAA2D;aACjF,oBAAoB,EAAE,+DAA+D;aACrF,kBAAkB,EAAE,wKAAwK;aAC5L,0BAA0B,EAAE,4EAA4E;aACxG,iCAAiC,EAAE,uDAAuD;aAC1F,6BAA6B,EAAE,6GAA6G;aAC5I,2BAA2B,EAAE,4GAA4G;aACzI,0BAA0B,EAAE,iEAAiE;aAC7F,wBAAwB,EAAE,iFAAiF;aAC3G,0BAA0B,EAAE,qEAAqE;aACjG,2BAA2B,EAAE,6FAA6F;aAC1H,6BAA6B,EAAE,uDAAuD;aACtF,+BAA+B,EAAE,8HAA8H;aAC/J,qBAAqB,EAAE,uGAAuG;aAC9H,+BAA+B,EAAE,+GAA+G;aAChJ,6BAA6B,EAAE,6KAA6K;aAE5M,wBAAwB,EAAE,wIAAwI;aAClK,mBAAmB,EAAE,oFAAoF;aACzG,wBAAwB,EAAE,mDAAmD;aAC7E,0BAA0B,EAAE,0GAA0G;aAEtI,kBAAkB,EAAE,kHAAkH;aACtI,qBAAqB,EAAE,yJAAyJ;aAEhL,iBAAiB,EAAE,2HAA2H;aAC9I,uBAAuB,EAAE,sPAAsP;aAE/Q,oBAAoB,EAAE,oFAAoF;aAE1G,4BAA4B,EAAE,4FAA4F;aAC1H,0BAA0B,EAAE,iDAAiD;aAC7E,yBAAyB,EAAE,0EAA0E;aAErG,4BAA4B,EAAE,mIAAmI;aACjK,6BAA6B,EAAE,4FAA4F;aAE3H,4BAA4B,EAAE,qHAAqH;aACnJ,gCAAgC,EAAE,oJAAoJ;aACtL,gCAAgC,EAAE,6FAA6F;aAC/H,mCAAmC,EAAE,6JAA6J;aAElM,wBAAwB,EAAE,6HAA6H;aACvJ,4BAA4B,EAAE,iHAAiH;aAE/I,wBAAwB,EAAE,mEAAmE;aAC7F,wBAAwB,EAAE,mEAAmE;aAC7F,sBAAsB,EAAE,iIAAiI;aAEzJ,0BAA0B,EAAE,4HAA4H;aACxJ,+BAA+B,EAAE,iIAAiI;aAClK,kCAAkC,EAAE,sFAAsF;aAC1H,wBAAwB,EAAE,sFAAsF;aAChH,yBAAyB,EAAE,mIAAmI;aAC9J,gCAAgC,EAAE,wFAAwF;aAC1H,4BAA4B,EAAE,uEAAuE;aACrG,8BAA8B,EAAE,gEAAgE;aAChG,6BAA6B,EAAE,gFAAgF;aAC/G,2BAA2B,EAAE,0DAA0D;aACvF,sBAAsB,EAAE,oEAAoE;aAC5F,8BAA8B,EAAE,yFAAyF;aACzH,0BAA0B,EAAE,6DAA6D;aACzF,wBAAwB,EAAE,2GAA2G;aACrI,8BAA8B,EAAE,8HAA8H;aAC9J,+BAA+B,EAAE,gGAAgG;aACjI,2BAA2B,EAAE,uGAAuG;aAEpI,8BAA8B,EAAE,kHAAkH;aAClJ,0BAA0B,EAAE,gHAAgH;aAC5I,4BAA4B,EAAE,2GAA2G;aACzI,2BAA2B,EAAE,6FAA6F;aAC1H,6BAA6B,EAAE,qHAAqH;aACpJ,yBAAyB,EAAE,wGAAwG;aACnI,8BAA8B,EAAE,wFAAwF;aACxH,8BAA8B,EAAE,qNAAqN;aACrP,6BAA6B,EAAE,iEAAiE;aAChG,uBAAuB,EAAE,mJAAmJ;aAC5K,yBAAyB,EAAE,kHAAkH;aAE7I,yBAAyB,EAAE,6KAA6K;aACxM,2BAA2B,EAAE,6FAA6F;aAE1H,kCAAkC,EAAE,4NAA4N;aAEhQ,oBAAoB,EAAE,2FAA2F;aACjH,0BAA0B,EAAE,8LAA8L;aAE1N,UAAU,EAAE,2FAA2F;aACvG,aAAa,EAAE,2FAA2F;aAE1G,mBAAmB,EAAE,kHAAkH;aACvI,qBAAqB,EAAE,qFAAqF;aAC5G,mBAAmB,EAAE,0DAA0D;aAC/E,kBAAkB,EAAE,oGAAoG;aAExH,wBAAwB,EAAE,uHAAuH;aAEjJ,YAAY,EAAE,6FAA6F;aAC3G,gBAAgB,EAAE,4FAA4F;aAC9G,sBAAsB,EAAE,mFAAmF;aAE3G,2BAA2B,EAAE,gHAAgH;aAC7I,4BAA4B,EAAE,wIAAwI;aACtK,8BAA8B,EAAE,yFAAyF;aACzH,YAAY,EAAE,6EAA6E;aAC3F,qBAAqB,EAAE,8GAA8G;aAErI,YAAY,EAAE,sEAAsE;aACpF,aAAa,EAAE,mDAAmD;aAClE,WAAW,EAAE,qDAAqD;aAClE,gBAAgB,EAAE,iFAAiF;aACnG,uBAAuB,EAAE,0EAA0E;aAEnG,eAAe,EAAE,kHAAkH;aACnI,uBAAuB,EAAE,uIAAuI;aAChK,+BAA+B,EAAE,yEAAyE;aAC1G,wBAAwB,EAAE,0LAA0L;aAEpN,wBAAwB,EAAE,kEAAkE;aAC5F,qBAAqB,EAAE,yFAAyF;aAChH,uBAAuB,EAAE,2KAA2K;aAEpM,eAAe,EAAE,gGAAgG;aACjH,gBAAgB,EAAE,gEAAgE;aAElF,sBAAsB,EAAE,gHAAgH;aACxI,gBAAgB,EAAE,sJAAsJ;aACxK,eAAe,EAAE,8IAA8I;aAC/J,gBAAgB,EAAE,8EAA8E;aAEhG,wBAAwB,EAAE,kEAAkE;aAC5F,qBAAqB,EAAE,yFAAyF;aAEhH,wBAAwB,EAAE,8DAA8D;aACxF,cAAc,EAAE,gGAAgG;aAChH,iBAAiB,EAAE,6FAA6F;aAChH,gBAAgB,EAAE,mIAAmI;aACrJ,wBAAwB,EAAE,yGAAyG;aACnI,oBAAoB,EAAE,6OAA6O;aAEnQ,eAAe,EAAE,6GAA6G;aAC9H,UAAU,EAAE,2FAA2F;aACvG,sBAAsB,EAAE,iFAAiF;aACzG,kBAAkB,EAAE,gFAAgF;aACpG,UAAU,EAAE,yFAAyF;aACrG,iBAAiB,EAAE,4FAA4F;aAC/G,oBAAoB,EAAE,iIAAiI;aAEvJ,qBAAqB,EAAE,qGAAqG;aAC5H,mBAAmB,EAAE,4GAA4G;aAEjI,yBAAyB,EAAE,qHAAqH;aAChJ,uBAAuB,EAAE,8IAA8I;aAEvK,sBAAsB,EAAE,uFAAuF;aAC/G,iBAAiB,EAAE,8HAA8H;aACjJ,sBAAsB,EAAE,wDAAwD;aAChF,kBAAkB,EAAE,yHAAyH;aAC7I,wBAAwB,EAAE,0FAA0F;aACpH,kBAAkB,EAAE,gHAAgH;aACpI,uBAAuB,EAAE,oHAAoH;aAC7I,4BAA4B,EAAE,0GAA0G;aACxI,kCAAkC,EAAE,mHAAmH;aACvJ,4BAA4B,EAAE,0HAA0H;aAExJ,yBAAyB,EAAE,uGAAuG;aAClI,qBAAqB,EAAE,oDAAoD;aAC3E,kBAAkB,EAAE,+GAA+G;aACnI,oBAAoB,EAAE,sFAAsF;aAC5G,uBAAuB,EAAE,kEAAkE;aAC3F,4BAA4B,EAAE,kIAAkI;aAChK,0BAA0B,EAAE,sEAAsE;aAClG,oBAAoB,EAAE,mLAAmL;aACzM,sBAAsB,EAAE,8MAA8M;aACtO,qBAAqB,EAAE,sFAAsF;aAE7G,cAAc,EAAE,iCAAiC;aACjD,kBAAkB,EAAE,sDAAsD;aAE1E,aAAa,EAAE,4EAA4E;aAC3F,YAAY,EAAE,mGAAmG;aACjH,qBAAqB,EAAE,mEAAmE;aAC1F,aAAa,EAAE,wEAAwE;aACvF,yBAAyB,EAAE,sDAAsD;aACjF,gBAAgB,EAAE,mDAAmD;aACrE,mBAAmB,EAAE,oEAAoE;aACzF,mBAAmB,EAAE,iEAAiE;aACtF,mBAAmB,EAAE,sDAAsD;aAC3E,kBAAkB,EAAE,uFAAuF;aAC3G,aAAa,EAAE,mDAAmD;aAClE,uBAAuB,EAAE,wEAAwE;CACzF,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,MAAM,OAAO,OAAO,CAAC;AAE9C,mDAAmD;AACnD,eAAO,MAAM,YAAY,EAA2B,UAAU,EAAE,CAAC;AAEjE,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAEhE;AAED;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG,UAAU,MAAM,IAAI,MAAM,EAAE,CAAC;AAEtD,eAAO,MAAM,WAAW,QAAkD,CAAC;AAE3E,2HAA2H;AAC3H,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,KAAK,IAAI,UAAU,CAI/E"}
+{"version":3,"file":"reason-codes.d.ts","sourceRoot":"","sources":["../../src/workspace/reason-codes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,sHAAsH;AACtH,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,uHAAuH;AACvH,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAE5C,qFAAqF;AACrF,eAAO,MAAM,OAAO;aAElB,qBAAqB,EAAE,2EAA2E;aAClG,uBAAuB,EAAE,4DAA4D;aACrF,yBAAyB,EAAE,mEAAmE;aAC9F,qBAAqB,EAAE,wFAAwF;aAC/G,mBAAmB,EAAE,kDAAkD;aACvE,gBAAgB,EAAE,iEAAiE;aACnF,qBAAqB,EAAE,sHAAsH;aAE7I,sBAAsB,EAAE,mEAAmE;aAC3F,kBAAkB,EAAE,uBAAuB;aAC3C,kBAAkB,EAAE,wFAAwF;aAE5G,qBAAqB,EAAE,yDAAyD;aAEhF,aAAa,EAAE,wCAAwC;aACvD,cAAc,EAAE,gEAAgE;aAChF,mBAAmB,EAAE,oDAAoD;aACzE,YAAY,EAAE,gEAAgE;aAE9E,cAAc,EAAE,4EAA4E;aAC5F,gBAAgB,EAAE,2KAA2K;aAC7L,mBAAmB,EAAE,2EAA2E;aAChG,wBAAwB,EAAE,sDAAsD;aAEhF,eAAe,EAAE,oGAAoG;aACrH,eAAe,EAAE,kIAAkI;aACnJ,qBAAqB,EAAE,yEAAyE;aAChG,sBAAsB,EAAE,+HAA+H;aACvJ,cAAc,EAAE,8GAA8G;aAC9H,mBAAmB,EAAE,yJAAyJ;aAC9K,sBAAsB,EAAE,mJAAmJ;aAC3K,sBAAsB,EAAE,qHAAqH;aAE7I,wBAAwB,EAAE,wFAAwF;aAClH,0BAA0B,EAAE,wFAAwF;aACpH,oBAAoB,EAAE,sGAAsG;aAE5H,sBAAsB,EAAE,0FAA0F;aAClH,iBAAiB,EAAE,0FAA0F;aAC7G,yBAAyB,EAAE,sIAAsI;aACjK,uBAAuB,EAAE,uLAAuL;aAChN,sBAAsB,EAAE,0EAA0E;aAClG,4BAA4B,EAAE,kIAAkI;aAEhK,mBAAmB,EAAE,0DAA0D;aAC/E,kBAAkB,EAAE,uEAAuE;aAE3F,gBAAgB,EAAE,4IAA4I;aAC9J,eAAe,EAAE,iHAAiH;aAElI,iBAAiB,EAAE,iFAAiF;aACpG,sBAAsB,EAAE,gFAAgF;aACxG,yBAAyB,EAAE,gEAAgE;aAE3F,qBAAqB,EAAE,iFAAiF;aACxG,mBAAmB,EAAE,iFAAiF;aACtG,yBAAyB,EAAE,8GAA8G;aAEzI,oBAAoB,EAAE,sJAAsJ;aAC5K,uBAAuB,EAAE,kFAAkF;aAC3G,qBAAqB,EAAE,uDAAuD;aAC9E,2BAA2B,EAAE,8CAA8C;aAC3E,4BAA4B,EAAE,4EAA4E;aAC1G,2BAA2B,EAAE,8CAA8C;aAC3E,8BAA8B,EAAE,6FAA6F;aAC7H,sBAAsB,EAAE,wGAAwG;aAEhI,uBAAuB,EAAE,kJAAkJ;aAC3K,gCAAgC,EAAE,yFAAyF;aAE3H,aAAa,EAAE,4FAA4F;aAC3G,eAAe,EAAE,iEAAiE;aAClF,aAAa,EAAE,sIAAsI;aACrJ,2BAA2B,EAAE,gHAAgH;aAC7I,oBAAoB,EAAE,qHAAqH;aAC3I,mBAAmB,EAAE,+GAA+G;aACpI,yBAAyB,EAAE,2KAA2K;aAEtM,oBAAoB,EAAE,sFAAsF;aAC5G,yBAAyB,EAAE,sEAAsE;aACjG,kBAAkB,EAAE,+EAA+E;aACnG,2BAA2B,EAAE,oFAAoF;aACjH,oBAAoB,EAAE,wFAAwF;aAC9G,0BAA0B,EAAE,2DAA2D;aACvF,oBAAoB,EAAE,mJAAmJ;aACzK,uBAAuB,EAAE,+IAA+I;aACxK,+BAA+B,EAAE,uJAAuJ;aACxL,uBAAuB,EAAE,gFAAgF;aACzG,yBAAyB,EAAE,8EAA8E;aACzG,mBAAmB,EAAE,mFAAmF;aAExG,mBAAmB,EAAE,6EAA6E;aAClG,YAAY,EAAE,uHAAuH;aAErI,0BAA0B,EAAE,uEAAuE;aACnG,sBAAsB,EAAE,8EAA8E;aACtG,sBAAsB,EAAE,qHAAqH;aAE7I,gBAAgB,EAAE,yFAAyF;aAC3G,cAAc,EAAE,gEAAgE;aAChF,kBAAkB,EAAE,oHAAoH;aACxI,qBAAqB,EAAE,oGAAoG;aAC3H,mBAAmB,EAAE,0GAA0G;aAE/H,cAAc,EAAE,8CAA8C;aAC9D,sBAAsB,EAAE,wGAAwG;aAChI,wBAAwB,EAAE,uIAAuI;aACjK,mBAAmB,EAAE,sLAAsL;aAE3M,mBAAmB,EAAE,sKAAsK;aAC3L,8BAA8B,EAAE,6MAA6M;aAE7O,iBAAiB,EAAE,2DAA2D;aAC9E,cAAc,EAAE,oEAAoE;aACpF,mBAAmB,EAAE,kEAAkE;aACvF,oBAAoB,EAAE,6DAA6D;aACnF,gBAAgB,EAAE,4CAA4C;aAC9D,kBAAkB,EAAE,uEAAuE;aAE3F,qBAAqB,EAAE,gFAAgF;aACvG,qBAAqB,EAAE,8FAA8F;aACrH,kBAAkB,EAAE,yCAAyC;aAC7D,iBAAiB,EAAE,4EAA4E;aAC/F,yBAAyB,EAAE,wGAAwG;aACnI,uBAAuB,EAAE,uFAAuF;aAChH,eAAe,EAAE,gGAAgG;aACjH,oBAAoB,EAAE,qEAAqE;aAC3F,yBAAyB,EAAE,+IAA+I;aAC1K,oBAAoB,EAAE,wEAAwE;aAC9F,sBAAsB,EAAE,6DAA6D;aACrF,oBAAoB,EAAE,0IAA0I;aAChK,0BAA0B,EAAE,4IAA4I;aACxK,6BAA6B,EAAE,uIAAuI;aACtK,uBAAuB,EAAE,+IAA+I;aACxK,oBAAoB,EAAE,6KAA6K;aAEnM,iBAAiB,EAAE,mLAAmL;aACtM,oBAAoB,EAAE,iKAAiK;aACvL,qBAAqB,EAAE,kKAAkK;aAEzL,oBAAoB,EAAE,qMAAqM;aAC3N,kBAAkB,EAAE,yIAAyI;aAC7J,uBAAuB,EAAE,qLAAqL;aAC9M,2BAA2B,EAAE,8PAA8P;aAC3R,eAAe,EAAE,kHAAkH;aACnI,wBAAwB,EAAE,0VAA0V;aAEpX,iBAAiB,EAAE,oFAAoF;aACvG,kBAAkB,EAAE,4EAA4E;aAEhG,mBAAmB,EAAE,4GAA4G;aACjI,gBAAgB,EAAE,kIAAkI;aACpJ,eAAe,EAAE,sEAAsE;aACvF,sBAAsB,EAAE,kFAAkF;aAC1G,sBAAsB,EAAE,mGAAmG;aAC3H,sBAAsB,EAAE,8DAA8D;aACtF,gBAAgB,EAAE,oOAAoO;aACtP,wBAAwB,EAAE,wKAAwK;aAClM,uBAAuB,EAAE,oNAAoN;aAC7O,qBAAqB,EAAE,mIAAmI;aAC1J,0BAA0B,EAAE,kOAAkO;aAC9P,0BAA0B,EAAE,6KAA6K;aAEzM,mBAAmB,EAAE,6FAA6F;aAClH,uBAAuB,EAAE,0HAA0H;aACnJ,oBAAoB,EAAE,yFAAyF;aAE/G,uBAAuB,EAAE,wEAAwE;aACjG,uBAAuB,EAAE,iFAAiF;aAC1G,2BAA2B,EAAE,uGAAuG;aACpI,uBAAuB,EAAE,uEAAuE;aAChG,yBAAyB,EAAE,6GAA6G;aAExI,wBAAwB,EAAE,2FAA2F;aACrH,sBAAsB,EAAE,uGAAuG;aAC/H,mBAAmB,EAAE,qMAAqM;aAE1N,yBAAyB,EAAE,kFAAkF;aAC7G,oBAAoB,EAAE,qKAAqK;aAC3L,oBAAoB,EAAE,2DAA2D;aACjF,oBAAoB,EAAE,+DAA+D;aACrF,kBAAkB,EAAE,wKAAwK;aAC5L,0BAA0B,EAAE,4EAA4E;aACxG,iCAAiC,EAAE,uDAAuD;aAC1F,6BAA6B,EAAE,6GAA6G;aAC5I,2BAA2B,EAAE,4GAA4G;aACzI,0BAA0B,EAAE,iEAAiE;aAC7F,wBAAwB,EAAE,iFAAiF;aAC3G,0BAA0B,EAAE,qEAAqE;aACjG,2BAA2B,EAAE,6FAA6F;aAC1H,6BAA6B,EAAE,uDAAuD;aACtF,+BAA+B,EAAE,8HAA8H;aAC/J,qBAAqB,EAAE,uGAAuG;aAC9H,+BAA+B,EAAE,+GAA+G;aAChJ,6BAA6B,EAAE,6KAA6K;aAE5M,wBAAwB,EAAE,wIAAwI;aAClK,mBAAmB,EAAE,oFAAoF;aACzG,wBAAwB,EAAE,mDAAmD;aAC7E,0BAA0B,EAAE,0GAA0G;aAEtI,kBAAkB,EAAE,kHAAkH;aACtI,qBAAqB,EAAE,yJAAyJ;aAEhL,iBAAiB,EAAE,2HAA2H;aAC9I,uBAAuB,EAAE,sPAAsP;aAE/Q,oBAAoB,EAAE,oFAAoF;aAE1G,4BAA4B,EAAE,4FAA4F;aAC1H,0BAA0B,EAAE,iDAAiD;aAC7E,yBAAyB,EAAE,0EAA0E;aAErG,4BAA4B,EAAE,mIAAmI;aACjK,6BAA6B,EAAE,4FAA4F;aAE3H,4BAA4B,EAAE,qHAAqH;aACnJ,gCAAgC,EAAE,oJAAoJ;aACtL,gCAAgC,EAAE,6FAA6F;aAC/H,mCAAmC,EAAE,6JAA6J;aAElM,wBAAwB,EAAE,6HAA6H;aACvJ,4BAA4B,EAAE,iHAAiH;aAE/I,wBAAwB,EAAE,mEAAmE;aAC7F,wBAAwB,EAAE,mEAAmE;aAC7F,sBAAsB,EAAE,iIAAiI;aAEzJ,0BAA0B,EAAE,4HAA4H;aACxJ,+BAA+B,EAAE,iIAAiI;aAClK,kCAAkC,EAAE,sFAAsF;aAC1H,wBAAwB,EAAE,sFAAsF;aAChH,yBAAyB,EAAE,mIAAmI;aAC9J,gCAAgC,EAAE,wFAAwF;aAC1H,4BAA4B,EAAE,uEAAuE;aACrG,8BAA8B,EAAE,gEAAgE;aAChG,6BAA6B,EAAE,gFAAgF;aAC/G,2BAA2B,EAAE,0DAA0D;aACvF,sBAAsB,EAAE,oEAAoE;aAC5F,8BAA8B,EAAE,yFAAyF;aACzH,0BAA0B,EAAE,6DAA6D;aACzF,wBAAwB,EAAE,2GAA2G;aACrI,8BAA8B,EAAE,8HAA8H;aAC9J,+BAA+B,EAAE,gGAAgG;aACjI,2BAA2B,EAAE,uGAAuG;aAEpI,8BAA8B,EAAE,kHAAkH;aAClJ,0BAA0B,EAAE,gHAAgH;aAC5I,4BAA4B,EAAE,2GAA2G;aACzI,2BAA2B,EAAE,6FAA6F;aAC1H,6BAA6B,EAAE,qHAAqH;aACpJ,yBAAyB,EAAE,wGAAwG;aACnI,8BAA8B,EAAE,wFAAwF;aACxH,8BAA8B,EAAE,qNAAqN;aACrP,6BAA6B,EAAE,iEAAiE;aAChG,uBAAuB,EAAE,mJAAmJ;aAC5K,yBAAyB,EAAE,kHAAkH;aAE7I,yBAAyB,EAAE,6KAA6K;aACxM,2BAA2B,EAAE,6FAA6F;aAE1H,kCAAkC,EAAE,4NAA4N;aAEhQ,oBAAoB,EAAE,2FAA2F;aACjH,0BAA0B,EAAE,8LAA8L;aAE1N,UAAU,EAAE,2FAA2F;aACvG,aAAa,EAAE,2FAA2F;aAE1G,mBAAmB,EAAE,kHAAkH;aACvI,qBAAqB,EAAE,qFAAqF;aAC5G,mBAAmB,EAAE,0DAA0D;aAC/E,kBAAkB,EAAE,oGAAoG;aAExH,wBAAwB,EAAE,uHAAuH;aAEjJ,YAAY,EAAE,6FAA6F;aAC3G,gBAAgB,EAAE,4FAA4F;aAC9G,sBAAsB,EAAE,mFAAmF;aAE3G,2BAA2B,EAAE,gHAAgH;aAC7I,4BAA4B,EAAE,wIAAwI;aACtK,8BAA8B,EAAE,yFAAyF;aACzH,YAAY,EAAE,6EAA6E;aAC3F,qBAAqB,EAAE,8GAA8G;aAErI,YAAY,EAAE,sEAAsE;aACpF,aAAa,EAAE,mDAAmD;aAClE,WAAW,EAAE,qDAAqD;aAClE,gBAAgB,EAAE,iFAAiF;aACnG,uBAAuB,EAAE,0EAA0E;aAEnG,eAAe,EAAE,kHAAkH;aACnI,uBAAuB,EAAE,uIAAuI;aAChK,+BAA+B,EAAE,yEAAyE;aAC1G,wBAAwB,EAAE,0LAA0L;aAEpN,wBAAwB,EAAE,kEAAkE;aAC5F,qBAAqB,EAAE,yFAAyF;aAChH,uBAAuB,EAAE,2KAA2K;aAEpM,eAAe,EAAE,gGAAgG;aACjH,gBAAgB,EAAE,gEAAgE;aAElF,sBAAsB,EAAE,gHAAgH;aACxI,gBAAgB,EAAE,sJAAsJ;aACxK,eAAe,EAAE,8IAA8I;aAC/J,gBAAgB,EAAE,8EAA8E;aAEhG,wBAAwB,EAAE,kEAAkE;aAC5F,qBAAqB,EAAE,yFAAyF;aAEhH,wBAAwB,EAAE,8DAA8D;aACxF,cAAc,EAAE,gGAAgG;aAChH,iBAAiB,EAAE,6FAA6F;aAChH,gBAAgB,EAAE,mIAAmI;aACrJ,wBAAwB,EAAE,yGAAyG;aACnI,oBAAoB,EAAE,6OAA6O;aAEnQ,eAAe,EAAE,6GAA6G;aAC9H,UAAU,EAAE,2FAA2F;aACvG,sBAAsB,EAAE,iFAAiF;aACzG,kBAAkB,EAAE,gFAAgF;aACpG,UAAU,EAAE,yFAAyF;aACrG,iBAAiB,EAAE,4FAA4F;aAC/G,oBAAoB,EAAE,iIAAiI;aAEvJ,qBAAqB,EAAE,qGAAqG;aAC5H,mBAAmB,EAAE,4GAA4G;aAEjI,yBAAyB,EAAE,qHAAqH;aAChJ,uBAAuB,EAAE,8IAA8I;aAEvK,sBAAsB,EAAE,uFAAuF;aAC/G,iBAAiB,EAAE,8HAA8H;aACjJ,sBAAsB,EAAE,wDAAwD;aAChF,kBAAkB,EAAE,yHAAyH;aAC7I,wBAAwB,EAAE,0FAA0F;aACpH,kBAAkB,EAAE,gHAAgH;aACpI,uBAAuB,EAAE,oHAAoH;aAC7I,4BAA4B,EAAE,0GAA0G;aACxI,kCAAkC,EAAE,mHAAmH;aACvJ,4BAA4B,EAAE,0HAA0H;aAExJ,yBAAyB,EAAE,uGAAuG;aAClI,qBAAqB,EAAE,oDAAoD;aAC3E,kBAAkB,EAAE,+GAA+G;aACnI,oBAAoB,EAAE,sFAAsF;aAC5G,uBAAuB,EAAE,kEAAkE;aAC3F,4BAA4B,EAAE,kIAAkI;aAChK,0BAA0B,EAAE,sEAAsE;aAClG,oBAAoB,EAAE,mLAAmL;aACzM,sBAAsB,EAAE,8MAA8M;aACtO,qBAAqB,EAAE,sFAAsF;aAE7G,cAAc,EAAE,iCAAiC;aACjD,kBAAkB,EAAE,sDAAsD;aAE1E,aAAa,EAAE,4EAA4E;aAC3F,YAAY,EAAE,mGAAmG;aACjH,qBAAqB,EAAE,mEAAmE;aAC1F,aAAa,EAAE,wEAAwE;aACvF,yBAAyB,EAAE,sDAAsD;aACjF,gBAAgB,EAAE,mDAAmD;aACrE,mBAAmB,EAAE,oEAAoE;aACzF,mBAAmB,EAAE,iEAAiE;aACtF,mBAAmB,EAAE,sDAAsD;aAC3E,kBAAkB,EAAE,uFAAuF;aAC3G,aAAa,EAAE,mDAAmD;aAClE,uBAAuB,EAAE,wEAAwE;aAEjG,iBAAiB,EAAE,+EAA+E;aAClG,eAAe,EAAE,gFAAgF;aACjG,kBAAkB,EAAE,2FAA2F;aAC/G,sBAAsB,EAAE,8EAA8E;aACtG,cAAc,EAAE,iFAAiF;CACzF,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,MAAM,OAAO,OAAO,CAAC;AAE9C,mDAAmD;AACnD,eAAO,MAAM,YAAY,EAA2B,UAAU,EAAE,CAAC;AAEjE,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAEhE;AAED;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG,UAAU,MAAM,IAAI,MAAM,EAAE,CAAC;AAEtD,eAAO,MAAM,WAAW,QAAkD,CAAC;AAE3E,2HAA2H;AAC3H,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,KAAK,IAAI,UAAU,CAI/E"}

package/dist/workspace/reason-codes.js

@@ -54,12 +54,20 @@ export const REASONS = {
     "environment-unknown": "--env names an environment the project's chant config does not declare.",
     "snapshot-unavailable": "--snapshot names a snapshot chant can't replay: none is recorded for the environment, or the ref is one replay does not take.",
     "build-failed": "The project's build, or one of its build roots, failed, so the graph search would answer over is incomplete.",
+    "index-unavailable": "--index names an index version chant can't read: none is recorded under the scope key in the store, or its stamp is not the scope or version asked for.",
     "snapshot-at-revision": "workspace search was given --snapshot and --at: a snapshot replays the estate as recorded over the source in the working tree, not at a revision.",
     "member-chant-too-old": "The member's chant predates the document asked for: it has no such command, or prints it without the read contract.",
     // the capabilities catalog (#4375): why a lexicon can't supply a capability.
     "lexicon-has-no-mapping": "The lexicon ships no capability mapping, so no capability rule can read its resources.",
     "capability-not-derivable": "The lexicon's capability mapping labels none of the kinds the capability's rule needs.",
     "lexicon-not-loaded": "The lexicon isn't installed where the chant that wrote the catalog runs, so its mapping wasn't read.",
+    // Why the graph leaves an expanded terraform block as one node (graph, #4489): nodes[].instanceRollup.code.
+    "instances-each-value": "The block's count or for_each reads each.value or each.key, which only a plan can count.",
+    "instances-merge": "The block's count or for_each calls merge(), which the declared graph does not evaluate.",
+    "instances-value-unknown": "The block's count or for_each is a form the graph reads, and the files a plan reads give it no value, or one that keys no instances.",
+    "instances-form-unread": "The block's count or for_each is an expression the graph does not read: another function, a for expression, another conditional, arithmetic, or a resource, data or module attribute.",
+    "instances-over-limit": "The block would have more than 256 instance nodes, so it is drawn alone.",
+    "instances-module-uncounted": "The block is under an expanded module call whose count or for_each the graph cannot count, so none of its instance ids is known.",
     // A ledger status can't fully read.
     "ledger-unreadable": "Reading the ledger failed, so nothing from it is listed.",
     "ledger-malformed": "Some lines of the ledger aren't release records; the rest are listed.",
@@ -387,6 +395,12 @@ export const REASONS = {
     "chant-dependency": "The member's package.json still has a chant dependency, or a script that calls chant.",
     "chant-in-ci": "A CI file of the exited member still calls chant.",
     "declaration-not-other": "The declaration still gives the exited member a kind other than other.",
+    // workspace drift (behold#995): why a member's drift read could not run. records is then empty.
+    "member-required": "workspace drift was given no --member, or more than one: it reads one member.",
+    "no-drift-read": "The member's kind has no drift read, such as other, app or a nested workspace.",
+    "read-unsupported": "--read names a read the member's engine does not answer, such as state on a chant member.",
+    "resource-unsupported": "--resource was given for an engine that cannot read one resource on its own.",
+    "env-required": "A chant member's live drift read needs an environment, and --env was not given.",
 };
 /** Every code, in the order of {@link REASONS}. */
 export const REASON_CODES = Object.keys(REASONS);