@intentius/chant 0.124.51 → 0.124.54

package/dist/op/local-executor.js

@@ -32,6 +32,7 @@ import { contentDigest } from "../content-digest.js";
 import { parseDuration } from "./duration.js";
 import { stepLabel, withRunConsole, withStepConsole } from "./step-console.js";
 import { stepTimeoutProblem } from "./activity-profiles.js";
+import { knownOutputsOf } from "./activity-failure.js";
 import { describeGateMismatch, evaluateGate, gateIsSealed, gitGateLedgerPort } from "./gate.js";
 import { resolveWorkspaceRun } from "./workspace-run-env.js";
 import { gateName } from "./gate-name.js";
@@ -330,13 +331,7 @@ async function runStep(step, phaseName, activities, profiles, resultsById, signa
                 if (step.id)
                     resultsById.set(step.id, result);
                 const record = { ...base, status: "ok", durationMs: Date.now() - start };
-                const attrs = outcomeAttributesOf(step);
-                // An attribute whose path the result does not hold is left off, rather than recorded as undefined.
-                const outcomes = attrs.map((a) => ({ name: a.name, value: resolvePath(result, a.from) })).filter((o) => o.value !== undefined);
-                if (outcomes.length > 0) {
-                    record.outcomes = outcomes;
-                    record.outcome = outcomes[0];
-                }
+                captureOutcomes(step, record, result);
                 return { record, result };
             }
             catch (err) {
@@ -363,7 +358,26 @@ async function runStep(step, phaseName, activities, profiles, resultsById, signa
                 break;
             }
         }
-        return { record: { ...base, status: "fail", durationMs: Date.now() - start, error: errMessage(lastErr) } };
+        const failed = { ...base, status: "fail", durationMs: Date.now() - start, error: errMessage(lastErr) };
+        // #4512: a failed step still records the outcomes its activity knew before it
+        // failed, read off the last attempt's error, as terraformInit's root path.
+        const known = knownOutputsOf(lastErr);
+        if (known)
+            captureOutcomes(step, failed, known);
+        return { record: failed };
+    }
+}
+/**
+ * Set `record`'s outcomes from the step's `outcomeAttribute` paths over
+ * `source`: the activity's result, or for a failed step the outputs it knew
+ * before it failed (#4512). An attribute whose path `source` does not hold is
+ * left off, rather than recorded as undefined.
+ */
+function captureOutcomes(step, record, source) {
+    const outcomes = outcomeAttributesOf(step).map((a) => ({ name: a.name, value: resolvePath(source, a.from) })).filter((o) => o.value !== undefined);
+    if (outcomes.length > 0) {
+        record.outcomes = outcomes;
+        record.outcome = outcomes[0];
     }
 }
 // ── Effect steps (#1834) ──────────────────────────────────────────────────────

package/dist/pr-loop.d.ts

@@ -75,6 +75,12 @@ export declare const PR_REPORT_POLICY_FLOOR = "0.124.41";
 export declare const PR_REPORT_BEFORE_MERGE_FLOOR = "0.124.42";
 /** The first chant whose plan report can carry `migrations` (#4407). */
 export declare const PR_REPORT_MIGRATIONS_FLOOR = "0.124.49";
+/** The first chant whose report can carry a member's `reads`, known at plan or not. */
+export declare const PR_REPORT_READS_FLOOR = "0.124.52";
+/** The first chant whose report can carry the `not-started` member status (ws-107, #4440). */
+export declare const PR_REPORT_NOT_STARTED_FLOOR = "0.124.54";
+/** The first chant whose report can carry `groups`, `fallbacks`, and a member's `group` and `groupOutcome` (ws-107, #4446). */
+export declare const PR_REPORT_GROUPS_FLOOR = "0.124.54";
 /** The gate a pull request's apply waits on, unless the pipeline names another. */
 export declare const PR_APPLY_GATE = "pr-apply";
 /**
@@ -127,7 +133,54 @@ export type PrMemberStatus =
  * that applied as another value, or was known only after apply. It waits
  * on an approval of the plan the apply made for it afterwards (`rounds`).
  */
- | "waiting";
+ | "waiting"
+/**
+ * Apply stage (ws-107, #4440): a member of a group whose apply stopped
+ * before its part began. Written by chant {@link PR_REPORT_NOT_STARTED_FLOOR}
+ * and newer.
+ */
+ | "not-started";
+/** One upstream a member reads outputs of (`PrMember.reads`). */
+export interface PrMemberRead {
+    /** The component (or stack) whose outputs it reads. */
+    upstream: string;
+    /** The output names it reads, sorted. `publish.<field>` for a published artifact. */
+    outputs: string[];
+    /** The ones its plan had no value for, sorted: known only after the upstream applies. Absent when every one was known. */
+    unknown?: string[];
+}
+/** How a member's part of a group apply ended, as its capability said (ws-107): `PrMember.groupOutcome`. */
+export type PrGroupOutcome = "applied" | "partial" | "failed" | "not-started" | "no-changes";
+/** Components one capability planned and applied as one (ws-107, #4446): the report's `groups`. */
+export interface PrGroup {
+    /** The kind of the capability every member's one step names. */
+    capability: string;
+    /** The members, by component, in apply order: upstreams first. */
+    components: string[];
+    /** The 1-based wave of `selection.waves` it ran in. */
+    wave: number;
+    /** The group digest folded into each member's `planDigest`. `null` when the group failed to plan. */
+    digest: string | null;
+    /** Why the group failed to plan. Every member is then `plan-failed`. */
+    error?: string;
+    /** Each read of another member its plan did not know, which the group's apply computes, sorted. Absent when none. */
+    reads?: Array<{
+        component: string;
+        ref: string;
+    }>;
+}
+/**
+ * A component that could have joined a group and did not (ws-107, ruling 1,
+ * #4446): the report's `fallbacks`. `kind` is core's `steps`, `split` or
+ * `cycle`, or the capability's own; `off` means the capability's setting
+ * turns grouping off, and the note does not print it.
+ */
+export interface PrGroupFallback {
+    component: string;
+    capability: string;
+    kind: string;
+    reason: string;
+}
 export interface PrMember {
     /** The member's name in the change set: a root, for a terraform-family step. */
     member: string;
@@ -148,8 +201,10 @@ export interface PrMember {
     /**
      * The upstream outputs its plan read that the change's plans could not
      * say (#3999), as `<component>.<output>`, sorted: known only after that
-     * upstream applies. The approval does not cover what this member does
-     * with them; the apply plans it again once they are known.
+     * upstream applies. The apply plans the member again once they are known;
+     * the first approval covers that round when it does only what the preview
+     * showed with only these inputs filled in, and anything else waits for an
+     * approval of its own (`PrRound.covered`, `PrRound.notCovered`).
      */
     unknownInputs?: string[];
     /**
@@ -160,12 +215,25 @@ export interface PrMember {
      * applies without a later round.
      */
     buildInputs?: string[];
+    /**
+     * Every other component's output its steps read, one entry per upstream,
+     * by upstream: the output names, sorted, and under `unknown` the ones its
+     * plan had no value for. A read whose value the plan knew is here too, so
+     * a reader of the report sees each read between components from the plan
+     * on, not only the ones `unknownInputs` names. Added within contract 1 by
+     * chant {@link PR_REPORT_READS_FLOOR}.
+     */
+    reads?: PrMemberRead[];
     /** Apply stage (#3999): the round whose plan it applied or waits on, when not the first. */
     round?: number;
     /** Apply stage (#3999): why the first round's plan did not apply. */
     held?: string;
     /** A blocked member's (#4291): the component whose failure held it, past any component blocked in between. */
     blockedBy?: string;
+    /** The index in the report's `groups` of the group it planned and applied with (#4446). Added within contract 1 by chant {@link PR_REPORT_GROUPS_FLOOR}. */
+    group?: number;
+    /** Apply stage (#4446): how its part of the group's apply ended. Absent when the group did not run. */
+    groupOutcome?: PrGroupOutcome;
 }
 /** A round of plans an apply made after an upstream applied (#3999), the report's `rounds`. */
 export interface PrRound {
@@ -182,6 +250,18 @@ export interface PrRound {
     status: "applied" | "failed" | "waiting" | "plan-failed";
     /** With `waiting`: why an approval that stands does not count (`--require-review`). */
     message?: string;
+    /**
+     * The first approval covered this round's plan (#4419): no gate of its own was
+     * decided. `digest` is the first approval's, which the coverage is bound
+     * to; `filledInputs` are the inputs it previewed as unknown and this plan
+     * had a value for, as `<component>.<output>`.
+     */
+    covered?: {
+        digest: string;
+        filledInputs: string[];
+    };
+    /** Why the first approval did not cover this round, so it asked for its own (#4419). */
+    notCovered?: string;
     /** The change-set document the round planned. */
     changeSet: ChangeSetDocument;
 }
@@ -423,6 +503,15 @@ export interface PrReport {
      * {@link PR_REPORT_MIGRATIONS_FLOOR}.
      */
     migrations?: PrMigrationFile[];
+    /**
+     * The groups a capability planned and applied as one (ws-107, #4446), in
+     * plan order of their first member. On a resume, what is left of a group,
+     * grouped again. Absent when none formed. Added within contract 1 by chant
+     * {@link PR_REPORT_GROUPS_FLOOR}.
+     */
+    groups?: PrGroup[];
+    /** The components that could have grouped and did not, with why (#4446), sorted. Absent when none. Since {@link PR_REPORT_GROUPS_FLOOR}. */
+    fallbacks?: PrGroupFallback[];
     /** Component names: which changed, which run because they depend on one, and what the change touched that no component deploys. */
     selection: {
         changed: string[];

package/dist/pr-loop.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pr-loop.d.ts","sourceRoot":"","sources":["../src/pr-loop.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAmB,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAG7E,2DAA2D;AAC3D,eAAO,MAAM,mBAAmB,oFAAoF,CAAC;AAErH,oDAAoD;AACpD,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC,wEAAwE;AACxE,eAAO,MAAM,gCAAgC,aAAa,CAAC;AAE3D,6EAA6E;AAC7E,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAChD;;;;GAIG;AACH,eAAO,MAAM,+BAA+B,aAAa,CAAC;AAE1D,yFAAyF;AACzF,eAAO,MAAM,sBAAsB,aAAa,CAAC;AAEjD,8DAA8D;AAC9D,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAEhD,qEAAqE;AACrE,eAAO,MAAM,uBAAuB,aAAa,CAAC;AAElD,mHAAmH;AACnH,eAAO,MAAM,sBAAsB,aAAa,CAAC;AAEjD,2IAA2I;AAC3I,eAAO,MAAM,4BAA4B,aAAa,CAAC;AAEvD,wEAAwE;AACxE,eAAO,MAAM,0BAA0B,aAAa,CAAC;AAErD,mFAAmF;AACnF,eAAO,MAAM,aAAa,aAAa,CAAC;AAExC;;;GAGG;AACH,wBAAgB,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAExD;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED,8HAA8H;AAC9H,eAAO,MAAM,UAAU,QAAqC,CAAC;AAE7D,+GAA+G;AAC/G,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAEjE;AAED,wDAAwD;AACxD,eAAO,MAAM,kBAAkB;aAAK,IAAI,EAAE,YAAY;aAAE,KAAK,EAAE,aAAa;aAAE,MAAM,EAAE,cAAc;CAAW,CAAC;AAEhH,6GAA6G;AAC7G,MAAM,MAAM,OAAO,GAAG,MAAM,OAAO,kBAAkB,CAAC;AAEtD,0GAA0G;AAC1G,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAEvE;AAED,yEAAyE;AACzE,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,+BAA+B;AAC/B,MAAM,MAAM,cAAc;AACxB,2EAA2E;AACzE,SAAS;AACX,uBAAuB;GACrB,aAAa;AACf,iCAAiC;GAC/B,SAAS;AACX,wBAAwB;GACtB,QAAQ;AACV,yDAAyD;GACvD,SAAS;AACX;;;;GAIG;GACD,SAAS,CAAC;AAEd,MAAM,WAAW,QAAQ;IACvB,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,SAAS,EAAE,MAAM,CAAC;IAClB,6EAA6E;IAC7E,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,4FAA4F;IAC5F,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,8GAA8G;IAC9G,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,+FAA+F;AAC/F,MAAM,WAAW,OAAO;IACtB,mEAAmE;IACnE,KAAK,EAAE,MAAM,CAAC;IACd,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAC;IACb,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,EAAE,UAAU,CAAC;IACrB,sHAAsH;IACtH,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,SAAS,GAAG,aAAa,CAAC;IACzD,uFAAuF;IACvF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,SAAS,EAAE,iBAAiB,CAAC;CAC9B;AAED,wDAAwD;AACxD,MAAM,WAAW,UAAU;IACzB;;;;OAIG;IACH,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3C,gCAAgC;IAChC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,yBAAyB;AACzB,MAAM,MAAM,QAAQ;AAClB,wCAAwC;AACtC,SAAS;AACX;;;;GAIG;GACD,UAAU;AACZ,sFAAsF;GACpF,aAAa;AACf,6DAA6D;GAC3D,SAAS;AACX,yCAAyC;GACvC,SAAS;AACX,yEAAyE;GACvE,QAAQ;AACV;;;GAGG;GACD,cAAc;AAChB,mDAAmD;GACjD,SAAS;AACX;;;;GAIG;GACD,SAAS,CAAC;AAEd,4BAA4B;AAC5B,MAAM,MAAM,SAAS;AACnB,4DAA4D;AAC1D,cAAc;AAChB,6EAA6E;GAC3E,cAAc;AAChB,qFAAqF;GACnF,gBAAgB;AAClB,6GAA6G;GAC3G,iBAAiB;AACnB,2EAA2E;GACzE,iBAAiB;AACnB,sHAAsH;GACpH,mBAAmB;AACrB,wGAAwG;GACtG,mBAAmB;AACrB,oGAAoG;GAClG,cAAc;AAChB,uGAAuG;GACrG,QAAQ;AACV,iFAAiF;GAC/E,eAAe;AACjB,sFAAsF;GACpF,cAAc;AAChB,qIAAqI;GACnI,gBAAgB;AAClB,4HAA4H;GAC1H,kBAAkB,CAAC;AAEvB,+FAA+F;AAC/F,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,gBAAgB,EAAE,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,MAAM;IACrB,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,sEAAsE;IACtE,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,aAAa,GAAG,SAAS,CAAC;IACzD;;;;OAIG;IACH,QAAQ,EAAE,cAAc,GAAG,MAAM,CAAC;IAClC,yFAAyF;IACzF,IAAI,EAAE,MAAM,CAAC;IACb,yFAAyF;IACzF,MAAM,EAAE,MAAM,CAAC;IACf,gCAAgC;IAChC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,4EAA4E;IAC5E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uFAAuF;IACvF,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,gGAAgG;AAChG,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,0FAA0F;IAC1F,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,6FAA6F;IAC7F,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,CAAC;IAC/C,kDAAkD;IAClD,MAAM,EAAE,UAAU,GAAG,KAAK,CAAC;IAC3B,2DAA2D;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAClD,wEAAwE;IACxE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sDAAsD;IACtD,QAAQ,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACtE,2DAA2D;IAC3D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,sFAAsF;IACtF,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,0CAA0C;IAC1C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,0FAA0F;IAC1F,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,OAAO,mBAAmB,CAAC;IACpC,QAAQ,EAAE,OAAO,kBAAkB,CAAC;IACpC,KAAK,EAAE,OAAO,CAAC;IACf,oDAAoD;IACpD,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ,oGAAoG;IACpG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,2FAA2F;IAC3F,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,6EAA6E;IAC7E,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,CAAC,EAAE,SAAS,CAAC;IACpB,0CAA0C;IAC1C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAChC;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3C;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1C;;;OAGG;IACH,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;IACnB,QAAQ,EAAE,UAAU,CAAC;IACrB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2DAA2D;IAC3D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC;IACtB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,eAAe,EAAE,CAAC;IAC/B,mIAAmI;IACnI,SAAS,EAAE;QACT,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,UAAU,EAAE,MAAM,EAAE,CAAC;QACrB,SAAS,EAAE,MAAM,EAAE,CAAC;QACpB,aAAa,EAAE,MAAM,EAAE,CAAC;QACxB,4DAA4D;QAC5D,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;KACnB,CAAC;IACF,OAAO,EAAE,QAAQ,EAAE,CAAC;IACpB,SAAS,EAAE,iBAAiB,CAAC;IAC7B;;;OAGG;IACH,KAAK,CAAC,EAAE,aAAa,EAAE,CAAC;IACxB;;;;OAIG;IACH,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB;;;;OAIG;IACH,WAAW,CAAC,EAAE,aAAa,CAAC;CAC7B;AAED,+CAA+C;AAC/C,wBAAgB,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,iBAAiB,EAAE,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,CAIpG;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAG/F;AAED,oEAAoE;AACpE,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,GAAG,MAAM,GAAG,QAAQ,CAAC,EAAE,QAAQ,SAAU,GAAG,MAAM,CAE7G;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,GAAG,MAAM,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,MAAM,CAMzG;AA8ID;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,MAAM,CA8F1G;AAED,8EAA8E;AAC9E,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,CA6D5D;AAED,qGAAqG;AACrG,wBAAgB,aAAa,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CASjF"}
+{"version":3,"file":"pr-loop.d.ts","sourceRoot":"","sources":["../src/pr-loop.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAmB,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAI7E,2DAA2D;AAC3D,eAAO,MAAM,mBAAmB,oFAAoF,CAAC;AAErH,oDAAoD;AACpD,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC,wEAAwE;AACxE,eAAO,MAAM,gCAAgC,aAAa,CAAC;AAE3D,6EAA6E;AAC7E,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAChD;;;;GAIG;AACH,eAAO,MAAM,+BAA+B,aAAa,CAAC;AAE1D,yFAAyF;AACzF,eAAO,MAAM,sBAAsB,aAAa,CAAC;AAEjD,8DAA8D;AAC9D,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAEhD,qEAAqE;AACrE,eAAO,MAAM,uBAAuB,aAAa,CAAC;AAElD,mHAAmH;AACnH,eAAO,MAAM,sBAAsB,aAAa,CAAC;AAEjD,2IAA2I;AAC3I,eAAO,MAAM,4BAA4B,aAAa,CAAC;AAEvD,wEAAwE;AACxE,eAAO,MAAM,0BAA0B,aAAa,CAAC;AAErD,uFAAuF;AACvF,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAEhD,8FAA8F;AAC9F,eAAO,MAAM,2BAA2B,aAAe,CAAC;AAExD,+HAA+H;AAC/H,eAAO,MAAM,sBAAsB,aAAe,CAAC;AAEnD,mFAAmF;AACnF,eAAO,MAAM,aAAa,aAAa,CAAC;AAExC;;;GAGG;AACH,wBAAgB,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAExD;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED,8HAA8H;AAC9H,eAAO,MAAM,UAAU,QAAqC,CAAC;AAE7D,+GAA+G;AAC/G,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAEjE;AAED,wDAAwD;AACxD,eAAO,MAAM,kBAAkB;aAAK,IAAI,EAAE,YAAY;aAAE,KAAK,EAAE,aAAa;aAAE,MAAM,EAAE,cAAc;CAAW,CAAC;AAEhH,6GAA6G;AAC7G,MAAM,MAAM,OAAO,GAAG,MAAM,OAAO,kBAAkB,CAAC;AAEtD,0GAA0G;AAC1G,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAEvE;AAED,yEAAyE;AACzE,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,+BAA+B;AAC/B,MAAM,MAAM,cAAc;AACxB,2EAA2E;AACzE,SAAS;AACX,uBAAuB;GACrB,aAAa;AACf,iCAAiC;GAC/B,SAAS;AACX,wBAAwB;GACtB,QAAQ;AACV,yDAAyD;GACvD,SAAS;AACX;;;;GAIG;GACD,SAAS;AACX;;;;GAIG;GACD,aAAa,CAAC;AAElB,iEAAiE;AACjE,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,QAAQ,EAAE,MAAM,CAAC;IACjB,qFAAqF;IACrF,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,0HAA0H;IAC1H,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,4GAA4G;AAC5G,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,aAAa,GAAG,YAAY,CAAC;AAE7F,mGAAmG;AACnG,MAAM,WAAW,OAAO;IACtB,gEAAgE;IAChE,UAAU,EAAE,MAAM,CAAC;IACnB,kEAAkE;IAClE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb,qGAAqG;IACrG,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,wEAAwE;IACxE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,qHAAqH;IACrH,KAAK,CAAC,EAAE,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACnD;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,QAAQ;IACvB,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,SAAS,EAAE,MAAM,CAAC;IAClB,6EAA6E;IAC7E,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;;OAOG;IACH,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;;OAOG;IACH,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC;IACvB,4FAA4F;IAC5F,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,8GAA8G;IAC9G,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,4JAA4J;IAC5J,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,uGAAuG;IACvG,YAAY,CAAC,EAAE,cAAc,CAAC;CAC/B;AAED,+FAA+F;AAC/F,MAAM,WAAW,OAAO;IACtB,mEAAmE;IACnE,KAAK,EAAE,MAAM,CAAC;IACd,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAC;IACb,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,EAAE,UAAU,CAAC;IACrB,sHAAsH;IACtH,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,SAAS,GAAG,aAAa,CAAC;IACzD,uFAAuF;IACvF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;OAKG;IACH,OAAO,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACrD,wFAAwF;IACxF,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iDAAiD;IACjD,SAAS,EAAE,iBAAiB,CAAC;CAC9B;AAED,wDAAwD;AACxD,MAAM,WAAW,UAAU;IACzB;;;;OAIG;IACH,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3C,gCAAgC;IAChC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,yBAAyB;AACzB,MAAM,MAAM,QAAQ;AAClB,wCAAwC;AACtC,SAAS;AACX;;;;GAIG;GACD,UAAU;AACZ,sFAAsF;GACpF,aAAa;AACf,6DAA6D;GAC3D,SAAS;AACX,yCAAyC;GACvC,SAAS;AACX,yEAAyE;GACvE,QAAQ;AACV;;;GAGG;GACD,cAAc;AAChB,mDAAmD;GACjD,SAAS;AACX;;;;GAIG;GACD,SAAS,CAAC;AAEd,4BAA4B;AAC5B,MAAM,MAAM,SAAS;AACnB,4DAA4D;AAC1D,cAAc;AAChB,6EAA6E;GAC3E,cAAc;AAChB,qFAAqF;GACnF,gBAAgB;AAClB,6GAA6G;GAC3G,iBAAiB;AACnB,2EAA2E;GACzE,iBAAiB;AACnB,sHAAsH;GACpH,mBAAmB;AACrB,wGAAwG;GACtG,mBAAmB;AACrB,oGAAoG;GAClG,cAAc;AAChB,uGAAuG;GACrG,QAAQ;AACV,iFAAiF;GAC/E,eAAe;AACjB,sFAAsF;GACpF,cAAc;AAChB,qIAAqI;GACnI,gBAAgB;AAClB,4HAA4H;GAC1H,kBAAkB,CAAC;AAEvB,+FAA+F;AAC/F,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,gBAAgB,EAAE,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,MAAM;IACrB,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,sEAAsE;IACtE,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,aAAa,GAAG,SAAS,CAAC;IACzD;;;;OAIG;IACH,QAAQ,EAAE,cAAc,GAAG,MAAM,CAAC;IAClC,yFAAyF;IACzF,IAAI,EAAE,MAAM,CAAC;IACb,yFAAyF;IACzF,MAAM,EAAE,MAAM,CAAC;IACf,gCAAgC;IAChC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,4EAA4E;IAC5E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uFAAuF;IACvF,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,gGAAgG;AAChG,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,0FAA0F;IAC1F,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,6FAA6F;IAC7F,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,CAAC;IAC/C,kDAAkD;IAClD,MAAM,EAAE,UAAU,GAAG,KAAK,CAAC;IAC3B,2DAA2D;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAClD,wEAAwE;IACxE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sDAAsD;IACtD,QAAQ,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACtE,2DAA2D;IAC3D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,sFAAsF;IACtF,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,0CAA0C;IAC1C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,0FAA0F;IAC1F,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,OAAO,mBAAmB,CAAC;IACpC,QAAQ,EAAE,OAAO,kBAAkB,CAAC;IACpC,KAAK,EAAE,OAAO,CAAC;IACf,oDAAoD;IACpD,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ,oGAAoG;IACpG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,2FAA2F;IAC3F,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,6EAA6E;IAC7E,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,CAAC,EAAE,SAAS,CAAC;IACpB,0CAA0C;IAC1C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAChC;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3C;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1C;;;OAGG;IACH,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;IACnB,QAAQ,EAAE,UAAU,CAAC;IACrB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2DAA2D;IAC3D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC;IACtB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,eAAe,EAAE,CAAC;IAC/B;;;;;OAKG;IACH,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;IACnB,4IAA4I;IAC5I,SAAS,CAAC,EAAE,eAAe,EAAE,CAAC;IAC9B,mIAAmI;IACnI,SAAS,EAAE;QACT,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,UAAU,EAAE,MAAM,EAAE,CAAC;QACrB,SAAS,EAAE,MAAM,EAAE,CAAC;QACpB,aAAa,EAAE,MAAM,EAAE,CAAC;QACxB,4DAA4D;QAC5D,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;KACnB,CAAC;IACF,OAAO,EAAE,QAAQ,EAAE,CAAC;IACpB,SAAS,EAAE,iBAAiB,CAAC;IAC7B;;;OAGG;IACH,KAAK,CAAC,EAAE,aAAa,EAAE,CAAC;IACxB;;;;OAIG;IACH,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB;;;;OAIG;IACH,WAAW,CAAC,EAAE,aAAa,CAAC;CAC7B;AAED,+CAA+C;AAC/C,wBAAgB,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,iBAAiB,EAAE,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,CAIpG;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAG/F;AAED,oEAAoE;AACpE,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,GAAG,MAAM,GAAG,QAAQ,CAAC,EAAE,QAAQ,SAAU,GAAG,MAAM,CAE7G;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,GAAG,MAAM,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,MAAM,CAMzG;AA4LD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,MAAM,CAyG1G;AAED,8EAA8E;AAC9E,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,CA6D5D;AAED,qGAAqG;AACrG,wBAAgB,aAAa,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CASjF"}

package/dist/pr-loop.js

@@ -48,6 +48,7 @@
  */
 import { renderMigrationLines } from "./pr-migrations.js";
 import { GITHUB_COMMENT_LIMIT, groupChangeSet, renderPlanSummaryMarkdown } from "./plan-summary.js";
+import { NEXT_RELEASE } from "./release-floors.js";
 /** The schema a pull-request report names in `$schema`. */
 export const PR_REPORT_SCHEMA_ID = "https://intentius.io/chant/schemas/workspace/pr-report/v1/pr-report.schema.json";
 /** The read-contract version the report follows. */
@@ -74,6 +75,12 @@ export const PR_REPORT_POLICY_FLOOR = "0.124.41";
 export const PR_REPORT_BEFORE_MERGE_FLOOR = "0.124.42";
 /** The first chant whose plan report can carry `migrations` (#4407). */
 export const PR_REPORT_MIGRATIONS_FLOOR = "0.124.49";
+/** The first chant whose report can carry a member's `reads`, known at plan or not. */
+export const PR_REPORT_READS_FLOOR = "0.124.52";
+/** The first chant whose report can carry the `not-started` member status (ws-107, #4440). */
+export const PR_REPORT_NOT_STARTED_FLOOR = NEXT_RELEASE;
+/** The first chant whose report can carry `groups`, `fallbacks`, and a member's `group` and `groupOutcome` (ws-107, #4446). */
+export const PR_REPORT_GROUPS_FLOOR = NEXT_RELEASE;
 /** The gate a pull request's apply waits on, unless the pipeline names another. */
 export const PR_APPLY_GATE = "pr-apply";
 /**
@@ -142,6 +149,7 @@ const STATUS_WORDS = {
     failed: "apply failed",
     blocked: "blocked",
     waiting: "waiting on its new plan",
+    "not-started": "not started",
 };
 function headline(report) {
     const n = report.members.length;
@@ -161,7 +169,8 @@ function headline(report) {
             return `Applied ${members}.`;
         case "failed": {
             const blocked = report.members.filter((m) => m.status === "blocked").length;
-            return `The apply failed: ${report.members.filter((m) => m.status === "failed").length} failed, ${blocked > 0 ? `${blocked} blocked, ` : ""}${report.members.filter((m) => m.status === "applied").length} applied.`;
+            const notStarted = report.members.filter((m) => m.status === "not-started").length;
+            return `The apply failed: ${report.members.filter((m) => m.status === "failed").length} failed, ${blocked > 0 ? `${blocked} blocked, ` : ""}${notStarted > 0 ? `${notStarted} not started, ` : ""}${report.members.filter((m) => m.status === "applied").length} applied.`;
         }
         case "wave-applied": {
             const applied = (report.waves ?? []).filter((w) => w.status === "applied").map((w) => w.wave);
@@ -196,6 +205,44 @@ function blockedLine(members) {
         .map(([by, names]) => `${[...names].sort().map(code).join(", ")} (blocked by ${by === "a dependency" ? by : code(by)})`);
     return `Blocked, so not applied: ${groups.join("; ")}. A failure blocks only the members that depend on it, so the rest went on.`;
 }
+/** `a`, `b` and `c`. */
+const listed = (items) => (items.length > 1 ? `${items.slice(0, -1).join(", ")} and ${items.at(-1)}` : (items[0] ?? ""));
+const GROUP_OUTCOME_WORDS = {
+    applied: "applied and stays applied",
+    "no-changes": "had no changes",
+    partial: "applied in part, and what applied stays",
+    failed: "failed",
+    "not-started": "did not start",
+};
+/**
+ * The groups and fallbacks (#4446): a line per group naming its members and
+ * the reads its apply computes, how a group that stopped part way left each
+ * member, and why the components that could have grouped did not.
+ */
+function groupLines(report) {
+    const out = [];
+    for (const g of report.groups ?? []) {
+        const reads = (g.reads ?? []).map((r) => `${code(r.component)} reads ${code(r.ref)}`);
+        out.push("", `${listed(g.components.map(code))} plan and apply as one (${code(g.capability)}, wave ${g.wave})` +
+            (g.error ? `; the group failed to plan, so nothing applies: ${g.error}.` : reads.length > 0 ? `; ${listed(reads)}, known when the group applies.` : "."));
+        const outcome = new Map(report.members.filter((m) => m.groupOutcome && g.components.includes(m.component)).map((m) => [m.component, m.groupOutcome]));
+        const left = g.components.filter((c) => outcome.has(c) && outcome.get(c) !== "applied" && outcome.get(c) !== "no-changes");
+        if (left.length === 0)
+            continue;
+        out.push("", `The group's apply stopped part way: ${g.components.filter((c) => outcome.has(c)).map((c) => `${code(c)} ${GROUP_OUTCOME_WORDS[outcome.get(c)]}`).join("; ")}. ` +
+            `Nothing that applied is undone. \`pr-apply --resume\` plans ${listed(left.map(code))} again, as one group where they still join, and applies them under this approval when the new plans are covered.`);
+    }
+    const byWhy = new Map();
+    for (const f of report.fallbacks ?? []) {
+        if (f.kind === "off")
+            continue;
+        const why = `(${code(f.kind)}): ${f.reason}`;
+        byWhy.set(why, [...(byWhy.get(why) ?? []), code(f.component)]);
+    }
+    if (byWhy.size > 0)
+        out.push("", `Planned one by one, not as a group: ${[...byWhy].map(([why, names]) => `${names.join(", ")} ${why}`).join("; ")}.`);
+    return out;
+}
 /** The policy's lines in the note (#4294): what denied or held the plan, and how a denial is overridden. */
 function policyLines(report) {
     const p = report.policy;
@@ -286,9 +333,13 @@ export function renderPrNote(report, options = {}) {
         out.push("", "| Member | Component | Status | Create | Update | Replace | Delete |", "|---|---|---|---:|---:|---:|---:|");
         for (const m of report.members) {
             const holes = memberHoleReasons(report, m.member);
+            // #4463: a member planned with stand-in values says so, naming them.
+            const placeholders = report.changeSet.members.find((x) => x.member === m.member)?.placeholders ?? [];
             const status = STATUS_WORDS[m.status] +
                 (m.status === "blocked" && m.blockedBy ? ` by ${code(m.blockedBy)}` : "") +
+                (m.groupOutcome === "partial" ? ", applied in part" : m.groupOutcome === "no-changes" ? ", no changes" : "") +
                 (m.inputsMoved?.length ? `, inputs from ${m.inputsMoved.join(", ")} moved` : "") +
+                (placeholders.length > 0 ? `, previewed with placeholders for ${placeholders.map(code).join(", ")}` : "") +
                 (holes.length > 0 ? `; ${holes.length > 2 ? `${holes[0]}; and ${holes.length - 1} more, listed under Holes` : holes.join("; ")}` : "");
             // A member whose plan has holes and no entries says nothing about what
             // it changes, so its counts are unknown, not zero (#4084).
@@ -303,6 +354,7 @@ export function renderPrNote(report, options = {}) {
     const blocked = blockedLine(report.members);
     if (blocked)
         out.push("", blocked);
+    out.push(...groupLines(report));
     out.push(...waveLines(report, options.approver ?? "<you>"));
     // #4288: the hooks that did not pass, by name; a passed hook is a count.
     const hooks = report.hooks ?? [];
@@ -328,8 +380,8 @@ export function renderPrNote(report, options = {}) {
     }
     const unknown = [...new Set(report.members.flatMap((m) => (m.unknownInputs ?? []).map((ref) => `${code(m.component)} reads ${code(ref)}`)))];
     if (unknown.length > 0) {
-        out.push("", `Known only after apply: ${unknown.join("; ")}. This approval does not cover what those members do with them. ` +
-            "The apply plans them again once their upstream applied and asks for an approval of that plan.");
+        out.push("", `Known only after apply: ${unknown.join("; ")}. ` +
+            "The apply plans those members again once their upstream applied. When that plan does only what this one shows, with only those inputs filled in, this approval covers it; anything else asks for an approval of its own.");
     }
     const fromBuild = [...new Set(report.members.flatMap((m) => (m.buildInputs ?? []).map((ref) => `${code(m.component)} reads ${code(ref)}`)))];
     if (fromBuild.length > 0) {
@@ -338,6 +390,13 @@ export function renderPrNote(report, options = {}) {
     }
     for (const r of report.rounds ?? []) {
         const what = `Round ${r.round} planned ${r.components.map(code).join(", ")} again after their upstream applied, digest ${code(r.digest)}`;
+        if (r.covered) {
+            const filled = r.covered.filledInputs.length > 0 ? `, with ${r.covered.filledInputs.map(code).join(", ")} filled in` : "";
+            out.push("", `${what}: covered by the approval of ${code(r.covered.digest)}${filled}, so it ${r.status === "applied" ? "applied" : "did not apply"} without a new approval${r.status === "failed" ? " (the apply failed)" : ""}.`);
+            continue;
+        }
+        if (r.notCovered)
+            out.push("", `Round ${r.round}'s plan is not covered by the approval of ${code(report.digest)}: ${r.notCovered}.`);
         if (r.status === "waiting") {
             if (r.message)
                 out.push("", `> ${r.message}`);

package/dist/pulumi-urn.d.ts

@@ -0,0 +1,101 @@
+/**
+ * Pulumi URN to graph node (#4456): the one rule every Pulumi reader uses.
+ *
+ * A Pulumi resource is named by its URN,
+ * `urn:pulumi:<stack>::<project>::<qualified type>::<name>`, where the
+ * qualified type is the parent type chain joined with `$` and the resource's
+ * own type last (`my:mod:Web$aws:lambda/function:Function`). The stack export
+ * the pulumi member kind renders, the steps of `pulumi preview --json` (the
+ * change set) and of `pulumi refresh --preview-only --json` (drift records)
+ * all carry that URN, and nothing else they all carry names the resource. So
+ * the node is a function of the URN alone:
+ *
+ * - The node key is the URN after its stack and project,
+ *   `<qualified type>::<name>`: `aws:s3/bucket:Bucket::assets`,
+ *   `my:mod:Web$aws:lambda/function:Function::handler`. Two stacks of one
+ *   program give the same keys, and a key never changes with the stack or
+ *   project name.
+ * - Inside a workspace the node id is `<member>/<key>`, as the terraform
+ *   lexicon names a block `<root>/<block key>`.
+ * - Provider resources (`pulumi:providers:*`, at any depth) and the root
+ *   `pulumi:pulumi:Stack` have no node: {@link pulumiNodeKey} is null, and a
+ *   change-set entry or drift record for one gets `node: null`.
+ *
+ * A child sits under its component through the `parent` edge the export
+ * gives, not through its id. A component's name is not part of its
+ * children's URNs, and a preview narrowed with `--target`, or a delete step,
+ * need not carry the chain of parents, so an id built from parent names
+ * could differ between the export and a change set for the same resource.
+ * The parent's type is part of the key, through the qualified type.
+ *
+ * Like `./change-set.ts`, this imports nothing at run time, so the change-set
+ * and drift-record bundles can carry it. The pulumi lexicon imports it as
+ * `@intentius/chant/pulumi-urn`.
+ */
+/** A URN split into its parts. */
+export interface PulumiUrn {
+    stack: string;
+    project: string;
+    /** The parent type chain and the resource's own type, joined with `$`. */
+    qualifiedType: string;
+    /** The resource's own type, the last of the chain. */
+    type: string;
+    /** The parent types, outermost first; empty for a resource whose parent is the stack. */
+    parentTypes: string[];
+    /** The resource's name; it may itself hold `::`. */
+    name: string;
+}
+/** The type of the root resource every stack has. */
+export declare const PULUMI_STACK_TYPE = "pulumi:pulumi:Stack";
+/** The parts of a Pulumi URN, or undefined when `urn` is not one. */
+export declare function parsePulumiUrn(urn: string): PulumiUrn | undefined;
+/** True for a resource that never gets a node: a provider or the root stack. */
+export declare function isPulumiNodeless(type: string): boolean;
+/**
+ * The node key of a URN in its member's graph, `<qualified type>::<name>`.
+ * Null for a provider resource or the root stack. A string that is not a
+ * Pulumi URN is its own key, so a reader that holds something else still
+ * gets a stable id.
+ */
+export declare function pulumiNodeKey(urn: string): string | null;
+/** The node id of a URN inside a workspace, `<member>/<key>`, or null when it has no node. */
+export declare function pulumiNodeId(member: string, urn: string): string | null;
+/**
+ * The address of a change-set entry that stands for the resources a
+ * component may register inside an `apply()` that preview could not run
+ * (#4453): the component's URN with `$*` after its qualified type and `/*`
+ * after its name, `urn:pulumi:dev::site::my:web:Site$*::site/*`. It reads as
+ * any resource, of any type and name, whose parent chain is the component,
+ * and stays unique per component, since a component's URN is.
+ */
+export declare function pulumiMayAppearAddress(componentUrn: string): string;
+/** The component URN a {@link pulumiMayAppearAddress} was made from, or undefined for any other address. */
+export declare function pulumiMayAppearParent(address: string): string | undefined;
+/**
+ * The ids, in the order tried, that a Pulumi change-set entry or drift
+ * record can have in its member's graph IR, in the shape of
+ * `changeSetNodeCandidates` (`./change-set-graph.ts`): `<member>/<key>`.
+ * Empty for a provider or the root stack, so mapping leaves `node: null`.
+ * A may-appear entry ({@link pulumiMayAppearAddress}) is on its component's
+ * node, since nothing names the resources it stands for.
+ */
+export declare function pulumiNodeCandidates(entry: {
+    member: string;
+    address: string;
+}): string[];
+/** One step of `pulumi preview --json` (or `refresh --preview-only --json`), as far as the node rule reads it. */
+export interface PulumiPreviewStep {
+    op?: string;
+    urn?: string;
+}
+/**
+ * The URN and node id of each step of a `pulumi preview --json` document
+ * (`{ steps: [...] }`). A replace shows as several steps on one URN; each
+ * gets the same node. Steps with no URN are skipped.
+ */
+export declare function pulumiPreviewNodes(preview: unknown, member: string): {
+    urn: string;
+    op: string;
+    node: string | null;
+}[];
+//# sourceMappingURL=pulumi-urn.d.ts.map

package/dist/pulumi-urn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pulumi-urn.d.ts","sourceRoot":"","sources":["../src/pulumi-urn.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,kCAAkC;AAClC,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,0EAA0E;IAC1E,aAAa,EAAE,MAAM,CAAC;IACtB,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,yFAAyF;IACzF,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;CACd;AAID,qDAAqD;AACrD,eAAO,MAAM,iBAAiB,wBAAwB,CAAC;AAEvD,qEAAqE;AACrE,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CASjE;AAED,gFAAgF;AAChF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEtD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAKxD;AAED,8FAA8F;AAC9F,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGvE;AAKD;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAInE;AAED,4GAA4G;AAC5G,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAOzE;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,EAAE,CAGzF;AAED,kHAAkH;AAClH,MAAM,WAAW,iBAAiB;IAChC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EAAE,CASvH"}

package/dist/pulumi-urn.js

@@ -0,0 +1,131 @@
+/**
+ * Pulumi URN to graph node (#4456): the one rule every Pulumi reader uses.
+ *
+ * A Pulumi resource is named by its URN,
+ * `urn:pulumi:<stack>::<project>::<qualified type>::<name>`, where the
+ * qualified type is the parent type chain joined with `$` and the resource's
+ * own type last (`my:mod:Web$aws:lambda/function:Function`). The stack export
+ * the pulumi member kind renders, the steps of `pulumi preview --json` (the
+ * change set) and of `pulumi refresh --preview-only --json` (drift records)
+ * all carry that URN, and nothing else they all carry names the resource. So
+ * the node is a function of the URN alone:
+ *
+ * - The node key is the URN after its stack and project,
+ *   `<qualified type>::<name>`: `aws:s3/bucket:Bucket::assets`,
+ *   `my:mod:Web$aws:lambda/function:Function::handler`. Two stacks of one
+ *   program give the same keys, and a key never changes with the stack or
+ *   project name.
+ * - Inside a workspace the node id is `<member>/<key>`, as the terraform
+ *   lexicon names a block `<root>/<block key>`.
+ * - Provider resources (`pulumi:providers:*`, at any depth) and the root
+ *   `pulumi:pulumi:Stack` have no node: {@link pulumiNodeKey} is null, and a
+ *   change-set entry or drift record for one gets `node: null`.
+ *
+ * A child sits under its component through the `parent` edge the export
+ * gives, not through its id. A component's name is not part of its
+ * children's URNs, and a preview narrowed with `--target`, or a delete step,
+ * need not carry the chain of parents, so an id built from parent names
+ * could differ between the export and a change set for the same resource.
+ * The parent's type is part of the key, through the qualified type.
+ *
+ * Like `./change-set.ts`, this imports nothing at run time, so the change-set
+ * and drift-record bundles can carry it. The pulumi lexicon imports it as
+ * `@intentius/chant/pulumi-urn`.
+ */
+const PREFIX = "urn:pulumi:";
+const PROVIDER_TYPE = /^pulumi:providers:/;
+/** The type of the root resource every stack has. */
+export const PULUMI_STACK_TYPE = "pulumi:pulumi:Stack";
+/** The parts of a Pulumi URN, or undefined when `urn` is not one. */
+export function parsePulumiUrn(urn) {
+    if (!urn.startsWith(PREFIX))
+        return undefined;
+    const parts = urn.slice(PREFIX.length).split("::");
+    if (parts.length < 4)
+        return undefined;
+    const [stack, project, qualifiedType] = parts;
+    const name = parts.slice(3).join("::");
+    if (!stack || !project || !qualifiedType || !name)
+        return undefined;
+    const chain = qualifiedType.split("$");
+    return { stack, project, qualifiedType, type: chain[chain.length - 1], parentTypes: chain.slice(0, -1), name };
+}
+/** True for a resource that never gets a node: a provider or the root stack. */
+export function isPulumiNodeless(type) {
+    return PROVIDER_TYPE.test(type) || type === PULUMI_STACK_TYPE;
+}
+/**
+ * The node key of a URN in its member's graph, `<qualified type>::<name>`.
+ * Null for a provider resource or the root stack. A string that is not a
+ * Pulumi URN is its own key, so a reader that holds something else still
+ * gets a stable id.
+ */
+export function pulumiNodeKey(urn) {
+    const parsed = parsePulumiUrn(urn);
+    if (!parsed)
+        return urn;
+    if (isPulumiNodeless(parsed.type))
+        return null;
+    return `${parsed.qualifiedType}::${parsed.name}`;
+}
+/** The node id of a URN inside a workspace, `<member>/<key>`, or null when it has no node. */
+export function pulumiNodeId(member, urn) {
+    const key = pulumiNodeKey(urn);
+    return key === null ? null : `${member}/${key}`;
+}
+const MAY_APPEAR_TYPE = "$*";
+const MAY_APPEAR_NAME = "/*";
+/**
+ * The address of a change-set entry that stands for the resources a
+ * component may register inside an `apply()` that preview could not run
+ * (#4453): the component's URN with `$*` after its qualified type and `/*`
+ * after its name, `urn:pulumi:dev::site::my:web:Site$*::site/*`. It reads as
+ * any resource, of any type and name, whose parent chain is the component,
+ * and stays unique per component, since a component's URN is.
+ */
+export function pulumiMayAppearAddress(componentUrn) {
+    const parsed = parsePulumiUrn(componentUrn);
+    if (!parsed)
+        return `${componentUrn}${MAY_APPEAR_NAME}`;
+    return `${PREFIX}${parsed.stack}::${parsed.project}::${parsed.qualifiedType}${MAY_APPEAR_TYPE}::${parsed.name}${MAY_APPEAR_NAME}`;
+}
+/** The component URN a {@link pulumiMayAppearAddress} was made from, or undefined for any other address. */
+export function pulumiMayAppearParent(address) {
+    const parsed = parsePulumiUrn(address);
+    if (!parsed || !parsed.qualifiedType.endsWith(MAY_APPEAR_TYPE) || !parsed.name.endsWith(MAY_APPEAR_NAME))
+        return undefined;
+    const qualifiedType = parsed.qualifiedType.slice(0, -MAY_APPEAR_TYPE.length);
+    const name = parsed.name.slice(0, -MAY_APPEAR_NAME.length);
+    if (!qualifiedType || !name)
+        return undefined;
+    return `${PREFIX}${parsed.stack}::${parsed.project}::${qualifiedType}::${name}`;
+}
+/**
+ * The ids, in the order tried, that a Pulumi change-set entry or drift
+ * record can have in its member's graph IR, in the shape of
+ * `changeSetNodeCandidates` (`./change-set-graph.ts`): `<member>/<key>`.
+ * Empty for a provider or the root stack, so mapping leaves `node: null`.
+ * A may-appear entry ({@link pulumiMayAppearAddress}) is on its component's
+ * node, since nothing names the resources it stands for.
+ */
+export function pulumiNodeCandidates(entry) {
+    const id = pulumiNodeId(entry.member, pulumiMayAppearParent(entry.address) ?? entry.address);
+    return id === null ? [] : [id];
+}
+/**
+ * The URN and node id of each step of a `pulumi preview --json` document
+ * (`{ steps: [...] }`). A replace shows as several steps on one URN; each
+ * gets the same node. Steps with no URN are skipped.
+ */
+export function pulumiPreviewNodes(preview, member) {
+    const steps = preview?.steps;
+    if (!Array.isArray(steps))
+        return [];
+    const out = [];
+    for (const s of steps) {
+        if (typeof s?.urn !== "string")
+            continue;
+        out.push({ urn: s.urn, op: typeof s.op === "string" ? s.op : "", node: pulumiNodeId(member, s.urn) });
+    }
+    return out;
+}

package/dist/release-floors.d.ts

@@ -0,0 +1,23 @@
+/**
+ * The version of the next chant release (#4480, #4473).
+ *
+ * A contract floor added since the last release, the first chant that can
+ * write a field, names the release that ships it. That release has no number
+ * until the maintainer cuts it, so every such floor is this constant, and the
+ * schema and docs text that repeats a floor ("written by chant X and newer",
+ * the "Fields added within version 1" rows) is listed in
+ * scripts/release-floors.ts, which checks it agrees.
+ *
+ * To set the number: `npx tsx scripts/release-floors.ts --set <version>`
+ * rewrites this constant and every listed text. `just release` refuses to
+ * cut a version when any floor names a version that is neither a published
+ * release nor the one being cut.
+ *
+ * After the cut, a floor stays at the value it was released with. Once the
+ * release is published, `just release-floors --freeze <version>` writes the
+ * version into every floor that names this constant as a literal, and moves
+ * this constant to the next patch (#4501). The check fails while a floor
+ * still names this constant after its version shipped.
+ */
+export declare const NEXT_RELEASE = "0.124.54";
+//# sourceMappingURL=release-floors.d.ts.map

package/dist/release-floors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"release-floors.d.ts","sourceRoot":"","sources":["../src/release-floors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,YAAY,aAAa,CAAC"}

package/dist/release-floors.js

@@ -0,0 +1,22 @@
+/**
+ * The version of the next chant release (#4480, #4473).
+ *
+ * A contract floor added since the last release, the first chant that can
+ * write a field, names the release that ships it. That release has no number
+ * until the maintainer cuts it, so every such floor is this constant, and the
+ * schema and docs text that repeats a floor ("written by chant X and newer",
+ * the "Fields added within version 1" rows) is listed in
+ * scripts/release-floors.ts, which checks it agrees.
+ *
+ * To set the number: `npx tsx scripts/release-floors.ts --set <version>`
+ * rewrites this constant and every listed text. `just release` refuses to
+ * cut a version when any floor names a version that is neither a published
+ * release nor the one being cut.
+ *
+ * After the cut, a floor stays at the value it was released with. Once the
+ * release is published, `just release-floors --freeze <version>` writes the
+ * version into every floor that names this constant as a literal, and moves
+ * this constant to the next patch (#4501). The check fails while a floor
+ * still names this constant after its version shipped.
+ */
+export const NEXT_RELEASE = "0.124.54";