mandrel 2.60.0 → 2.62.0

package/.agents/scripts/lib/orchestration/story-deliver-terminal.js

@@ -1,31 +1,7 @@
 /**
- * story-deliver-terminal.js — the one terminal envelope every Story
- * close-and-land invocation emits, and the shared next-command vocabulary
- * (Story #4543).
- *
- * Before this module the delivery tail had **two** divergent return
- * contracts, both prose and neither validated:
- * `.agents/workflows/helpers/deliver-story.md` defined one shape and
- * `.agents/agents/story-worker.md` a different one, so a caller could not
- * distinguish a landed Story from a parked one without re-probing GitHub.
- * `story-deliver-terminal.schema.json` is now the SSOT both docs reference
- * rather than restate, and this module is its only writer.
- *
- * Two exports carry the contract:
- *
- *   - {@link buildTerminalEnvelope} assembles and **validates** the envelope.
- *     It throws on a schema violation rather than emitting a malformed
- *     terminal: a silently-wrong terminal is exactly the failure this Story
- *     exists to eliminate, so failing loudly at the writer is the point.
- *   - {@link NEXT_COMMANDS} is the next-command vocabulary shared with
- *     `deliver-recover.js`, so a `pending` envelope and a recovery probe
- *     name the same command for the same state instead of inventing two
- *     dialects for one condition.
- *
- * `TERMINAL_EXIT_CODES` maps status → process exit code. `pending` gets its
- * **own** code (3) precisely so a caller can tell "slow CI, resume me" from
- * "hard block, come look" without parsing stdout — the distinction the
- * pre-#4543 pipeline collapsed by treating budget exhaustion as a block.
+ * The one terminal envelope every Story close-and-land emits — sole writer of
+ * `story-deliver-terminal.schema.json` — plus the next-command vocabulary
+ * shared with `deliver-recover.js`.
  */
 
 import nodeFs from 'node:fs';
@@ -34,35 +10,20 @@ import { storyTerminalEnvelopePath } from '../config/temp-paths.js';
 import { resolveConfig } from '../config-resolver.js';
 import { validateTerminalEnvelope } from './story-deliver-terminal-schema.js';
 
-// Re-exported so the schema split stays an implementation detail: every
-// consumer still reaches the validator through the envelope module that owns
-// the contract.
 export { validateTerminalEnvelope };
 
 export const TERMINAL_ENVELOPE_KIND = 'story-deliver-terminal';
 
 /**
- * status → process exit code.
- *
- * `pending` is **3**, not 0 and not 1. Zero would tell a headless caller the
- * Story landed when it did not; one would conflate a resumable slow-CI wait
- * with a hard block and send the operator to diagnose branch protection that
- * is working fine. A distinct code is what lets `/mandrel-deliver` resume without
- * classifying.
+ * `pending` has its own code so a caller can tell a resumable slow-CI wait
+ * from a hard block without parsing stdout.
  */
 export const TERMINAL_EXIT_CODES = Object.freeze({
   landed: 0,
   pending: 3,
   blocked: 1,
   failed: 1,
-  /**
-   * `escalated` reuses **2**, the code `/deliver-light` already documents for
-   * "the gate did not proceed light" — the escalation is that outcome made
-   * terminal, not a new one, so giving it a fresh code would fork a vocabulary
-   * callers already branch on. It stays distinct from `landed` (nothing was
-   * delivered) and from `blocked`/`failed` (nothing is wrong — the work simply
-   * belongs to `/mandrel-plan`).
-   */
+  /** Reuses `/deliver-light`'s "did not proceed light" code. */
   escalated: 2,
 });
 
@@ -74,16 +35,10 @@ export const TERMINAL_STATUSES = Object.freeze([
   'escalated',
 ]);
 
-/** Cap on the prompt echoed into an escalation's `/mandrel-plan` next command. */
 const PLAN_PROMPT_MAX = 200;
 
 /**
- * Render an operator prompt safe to sit inside the double quotes of the
- * `/mandrel-plan "<prompt>"` next command: collapse newlines (a next command is one
- * line by contract), escape backslashes and double quotes so the quoting
- * cannot be broken out of, and cap the length so a long prompt does not turn
- * the envelope into a transcript. Total — a non-string yields the empty
- * string, which the escalation builder rejects rather than emitting.
+ * One line, quote-escaped, length-capped. A non-string yields `''`.
  *
  * @param {unknown} prompt
  * @returns {string}
@@ -98,19 +53,11 @@ function quoteForPlan(prompt) {
   return capped.replace(/\\/g, '\\\\').replace(/"/g, '\\"');
 }
 
-/**
- * The shared next-command vocabulary. Every producer of a "what now?"
- * answer — the `pending` terminal envelope, an `escalated` one, and
- * `deliver-recover.js` — builds its command from here, so the surfaces never
- * drift into naming different commands for the same observed state.
- */
+/** Every "what now?" answer builds its command here so surfaces never drift. */
 export const NEXT_COMMANDS = Object.freeze({
   /**
-   * Resume a bounded merge wait that expired with the PR still in flight.
-   *
-   * `--wait` is load-bearing: without it the confirm CLI probes once and
-   * answers `pending` again, so the cumulative-budget give-up never fires and
-   * a wedged PR is never escalated to anyone.
+   * `--wait` is load-bearing: without it the cumulative-budget give-up never
+   * fires and a wedged PR is never escalated.
    */
   resumeLand: (storyId) =>
     `node .agents/scripts/single-story-confirm-merge.js --story ${storyId} --wait`,
@@ -132,26 +79,11 @@ export const NEXT_COMMANDS = Object.freeze({
   /** Probe a stranded Story and print its single next command. */
   recover: (storyId) =>
     `node .agents/scripts/deliver-recover.js --story ${storyId}`,
-  /**
-   * Hand over-scope work to `/mandrel-plan` — the next command of an `escalated`
-   * terminal (Story #4746).
-   *
-   * The only entry here that is a slash command rather than a script, and
-   * deliberately so: the other entries resume a Story that exists, while this
-   * one names work that has no Story yet and needs planning before it can have
-   * one. It is quoted for a shell. Story #4746 addressed it to a **fresh
-   * session**; Story #5344 permits the escalating session to run it too, seeded
-   * with `escalation.reasons` — see the workflow's escalation section for the
-   * seeding contract and for the observation that motivated the old ban.
-   */
+  /** A slash command, not a script: the work has no Story yet. */
   escalateToPlan: (prompt) => `/mandrel-plan "${quoteForPlan(prompt)}"`,
 });
 
 /**
- * Drop `undefined`-valued keys so the schema's `additionalProperties: false`
- * and its nullable unions both stay satisfiable from one optional-argument
- * builder signature.
- *
  * @param {object} obj
  * @returns {object}
  */
@@ -164,22 +96,11 @@ function compact(obj) {
 }
 
 /**
- * Assemble the terminal envelope and validate it before returning.
- *
- * Throws a `TypeError` naming the schema violations when the assembled
- * object does not validate. That is deliberate: the whole point of the
- * envelope is that a caller can trust its status without re-probing
- * GitHub, so emitting a *malformed* one would reintroduce the ambiguity
- * this replaces.
- *
- * A schema that cannot be READ is the opposite case and does not throw —
- * see {@link validateTerminalEnvelope}. "This envelope is wrong" is worth
- * failing on; "I could not check this envelope" is not worth destroying
- * the return contract over.
+ * Throws a `TypeError` on a schema violation — callers trust the status
+ * without re-probing GitHub. An unreadable schema does not throw.
  *
  * @param {object} args
- * @param {number|null} args.storyId `null` only for an `escalated` terminal,
- *   which by construction never authored a Story.
+ * @param {number|null} args.storyId `null` only for `escalated`.
  * @param {'landed'|'pending'|'blocked'|'failed'|'escalated'} args.status
  * @param {string} args.phase
  * @param {string} [args.storyBranch]
@@ -193,10 +114,11 @@ function compact(obj) {
  * @param {string|null} [args.nextCommand]
  * @param {number} args.elapsedSeconds
  * @param {object|null} [args.waitBudget]
+ * @param {{ waitedSeconds: number, expired: boolean }|null} [args.lockWait]
+ *   Full-suite lock wait; `waitBudget` is merge-wait only.
  * @param {string} [args.timestamp]
  * @param {{ schema: object|null, error: string|null }} [args.schemaSource]
- *   Test seam; never passed in production. Not part of the envelope — the
- *   envelope is assembled from named fields only.
+ *   Test seam.
  * @returns {object} The validated envelope.
  */
 export function buildTerminalEnvelope({
@@ -214,14 +136,13 @@ export function buildTerminalEnvelope({
   nextCommand,
   elapsedSeconds = 0,
   waitBudget,
+  lockWait,
   timestamp = new Date().toISOString(),
   schemaSource,
 }) {
   const envelope = compact({
     kind: TERMINAL_ENVELOPE_KIND,
-    // `Number(null)` is 0, which would quietly satisfy nothing and confuse
-    // everything — a nullish storyId stays null and lets the schema decide
-    // whether this status is allowed to omit one.
+    // Nullish stays null (not `Number(null)` = 0); the schema decides.
     storyId: storyId === null || storyId === undefined ? null : Number(storyId),
     status,
     phase,
@@ -236,12 +157,11 @@ export function buildTerminalEnvelope({
     nextCommand: nextCommand ?? null,
     elapsedSeconds: Math.max(0, Number(elapsedSeconds) || 0),
     waitBudget: waitBudget ?? null,
+    lockWait: lockWait ?? null,
     timestamp,
   });
 
-  // Passing `{ schemaSource }` unconditionally is safe: an `undefined`
-  // property value is exactly what triggers the destructuring default on the
-  // other side, so production still gets the eagerly-loaded module source.
+  // `undefined` schemaSource triggers the callee's default.
   const { valid, errors } = validateTerminalEnvelope(envelope, {
     schemaSource,
   });
@@ -255,23 +175,8 @@ export function buildTerminalEnvelope({
 }
 
 /**
- * Build the `escalated` terminal — the one envelope emitted before a Story
- * exists (Story #4746).
- *
- * `/deliver-light`'s suitability gate already decided correctly when it
- * overrode a `lite` self-verdict on shape; what it lacked was an outcome a
- * session could not walk past. A mandrel-bench 2.13.0 light-arm run did
- * exactly that — it read the gate's `escalate-plan`, then invoked `/mandrel-plan`
- * in the same session and delivered. The continuation was not harmless:
- * planning inside a session already framed as small work authored ONE Story
- * against the scenario's 3-5 contract, where a fresh `/mandrel-plan` session on the
- * identical seed authored four. Escalation silently produced the very
- * under-decomposition the guard exists to prevent.
- *
- * So the outcome is a validated envelope with its own exit code, naming the
- * `/mandrel-plan` command that owns the work, and asserting per artifact that nothing
- * was started. Every guarantee here is enforced by the schema rather than by
- * prose: `storyId` must be null, `escalation.created.*` are pinned `false`.
+ * The one envelope emitted before a Story exists. The schema pins `storyId`
+ * null and `escalation.created.*` false — nothing was started.
  *
  * @param {{
  *   prompt: string,
@@ -289,8 +194,6 @@ export function buildEscalationTerminal({
 }) {
   const quoted = quoteForPlan(prompt);
   if (quoted === '') {
-    // An escalation whose next command is `/mandrel-plan ""` hands the operator
-    // nothing — the same walk-past-able non-outcome in envelope clothing.
     throw new TypeError(
       'buildEscalationTerminal: a non-empty prompt is required — the escalated terminal exists to name the /mandrel-plan invocation that owns the work',
     );
@@ -309,8 +212,7 @@ export function buildEscalationTerminal({
           : [
               'predicted scope exceeds the light ceilings — escalate to /mandrel-plan',
             ],
-      // Not computed from anything: the escalation path returns before the
-      // receipt/init call sites, so these are the assertion that it did.
+      // Asserted, not computed: escalation returns before receipt/init.
       created: { receiptStory: false, storyBranch: false, worktree: false },
     },
     nextCommand: NEXT_COMMANDS.escalateToPlan(prompt),
@@ -320,8 +222,6 @@ export function buildEscalationTerminal({
 }
 
 /**
- * Resolve the process exit code for a terminal envelope.
- *
  * @param {object} envelope
  * @returns {number}
  */
@@ -329,16 +229,11 @@ export function exitCodeForTerminal(envelope) {
   return TERMINAL_EXIT_CODES[envelope?.status] ?? 1;
 }
 
-/** The markers a caller scans stdout for to recover the envelope. */
 export const TERMINAL_BEGIN_MARKER = '--- STORY DELIVER TERMINAL ---';
 export const TERMINAL_END_MARKER = '--- END TERMINAL ---';
 
 /**
- * Resolve the repo config, or `undefined` when it cannot be read.
- *
- * An unreadable `.agentrc.json` must not cost the run its envelope copy: the
- * path helpers fall back to the framework-default temp root, which is still a
- * far better outcome than no artifact at all.
+ * `undefined` on an unreadable config: the default temp root beats no copy.
  *
  * @param {typeof resolveConfig} resolveConfigImpl
  * @returns {object|undefined}
@@ -352,36 +247,11 @@ function tolerantConfig(resolveConfigImpl) {
 }
 
 /**
- * Persist a terminal envelope beside its Story's gate log (Story #4816).
- *
- * Stdout is a channel with exactly one reader — the turn that launched the
- * close — and that reader is not always still listening. A `story-worker`
- * that reports progress and ends its turn while the close it started is
- * mid-gate-chain is behaving reasonably, but the envelope it never relayed is
- * gone: the router then has to reconstruct the Story's state from labels, and
- * `deliver-recover.js` used to answer that reconstruction with
- * "Implementation never finished" — false, and its re-init suggestion can put
- * a second close on one PR. Observed four times across three workers in one
- * consumer run. The file is the second channel, and it outlives the turn.
- *
- * **Best-effort by construction.** Every failure path returns `null`: a
- * delivery must never turn a landed PR into a crash because a temp directory
- * was unwritable. The stdout envelope above is the contract; this is a copy.
- *
- * **Atomic by construction.** The payload is written to a pid-scoped
- * temporary name and renamed into place, because the reader that matters most
- * is a router polling during a live close — a half-written file would hand it
- * a parse error at exactly the moment it is trying to avoid guessing.
- *
- * A null `storyId` (the `escalated` terminal, which by construction never
- * authored a Story) has nowhere to be filed and writes nothing.
- *
- * `config` is optional and resolved lazily when absent. Two of the emit sites
- * are `catch` blocks that crashed before any config was resolved, and those
- * are precisely the runs whose envelope is most worth keeping — so the temp
- * root is looked up here rather than left at the framework default, which
- * would file the artifact where a consumer's router never looks (and where
- * the retention purge would never reap it).
+ * Disk copy of the envelope beside the Story's gate log — stdout's one reader
+ * may have ended its turn. Best-effort (every failure returns `null`; stdout
+ * is the contract) and atomic (pid-scoped tmp + rename, since a router may
+ * poll mid-close). `config` is resolved lazily because crash-path emitters
+ * have none, and the default temp root is where no router looks.
  *
  * @param {object} envelope A validated terminal envelope.
  * @param {{
@@ -407,13 +277,11 @@ export function persistTerminalEnvelope(
     fsImpl.renameSync(tmpPath, target);
     return target;
   } catch {
-    // A rename that never ran leaves the scratch file behind; drop it rather
-    // than accumulating one per failed close.
     if (tmpPath) {
       try {
         fsImpl.rmSync(tmpPath, { force: true });
       } catch {
-        // Nothing left to try — this whole path is already best-effort.
+        // Best-effort.
       }
     }
     return null;
@@ -421,33 +289,16 @@ export function persistTerminalEnvelope(
 }
 
 /**
- * Write a terminal envelope to stdout, between its markers, and persist a
- * copy to disk.
- *
- * **Deliberately not `Logger.info`.** The envelope is this CLI's
- * machine-readable contract — every invocation emits exactly ONE, and a
- * headless caller parses it out of stdout to decide what happened.
- * `Logger.info` is level-gated, so under the documented
- * `AGENT_LOG_LEVEL=silent` (execution-reference § Log-level control) the
- * envelope silently vanished and the
- * caller got a bare exit code: precisely the "no envelope at all" outcome
- * Story #4543 exists to remove. A contract payload must not be suppressible
- * by a verbosity knob.
- *
- * Single home for the marker format so the four emit sites (the runner's
- * terminal, the close CLI's failed-terminal catch, and both confirm-CLI
- * paths) cannot drift apart — and, since Story #4816, the single home for the
- * on-disk copy too, so no emit path can persist and another forget.
- * {@link persistTerminalEnvelope} runs **first**: a caller that has read the
- * markers off stdout can then rely on the file already being there.
+ * Not `Logger.info`: a contract payload must survive `AGENT_LOG_LEVEL=silent`.
+ * Single home of the marker format for every emit site. Persists first, so a
+ * caller that read the markers can rely on the file existing.
  *
  * @param {object} envelope
  * @param {{
  *   write?: (s: string) => void,
  *   config?: object,
  *   persist?: typeof persistTerminalEnvelope,
- * }} [opts] `write` and `persist` are test seams; `config` resolves the
- *   artifact's temp root and is threaded from whichever emit site holds one.
+ * }} [opts] `write` and `persist` are test seams.
  * @returns {void}
  */
 export function emitTerminalEnvelope(
@@ -458,28 +309,19 @@ export function emitTerminalEnvelope(
     persist = persistTerminalEnvelope,
   } = {},
 ) {
-  // Belt and braces around a copy: `persistTerminalEnvelope` already swallows
-  // its own failures, but the stdout envelope is the CONTRACT and the disk
-  // copy is a convenience. Nothing in the secondary path — including a future
-  // injected `persist` — may cost the caller the primary one.
   try {
     persist(envelope, { config });
   } catch {
-    // Intentionally silent: see above.
+    // The disk copy must never cost the caller the stdout contract.
   }
-  // Story #4685 — compact (not 2-space pretty) JSON. The envelope is a
-  // machine contract callers recover with `JSON.parse`, so pretty-printing
-  // only adds turn-resident bytes without helping any consumer.
+  // Compact JSON: pretty-printing only adds turn-resident bytes.
   write(
     `\n${TERMINAL_BEGIN_MARKER}\n${JSON.stringify(envelope)}\n${TERMINAL_END_MARKER}\n`,
   );
 }
 
 /**
- * Map a `runConfirmMergePhase` outcome onto the schema-validated terminal
- * envelope (Story #4543). One writer, one shape — the two prose contracts
- * this replaces disagreed with each other precisely because each surface
- * assembled its own.
+ * Map a `runConfirmMergePhase` outcome onto the terminal envelope.
  *
  * @returns {object} A validated `story-deliver-terminal` envelope.
  */
@@ -492,6 +334,7 @@ export function terminalFromWaitOutcome({
   prUrl,
   autoMergeEnabled,
   gates,
+  lockWait,
   elapsedSeconds,
 }) {
   const prBase = {
@@ -504,6 +347,7 @@ export function terminalFromWaitOutcome({
     storyBranch,
     baseBranch,
     gates,
+    lockWait,
     elapsedSeconds,
   };
 
@@ -515,8 +359,7 @@ export function terminalFromWaitOutcome({
       pr: {
         ...prBase,
         state: 'MERGED',
-        // The observed rollup, not an assumed 'success' — a merge can land by
-        // admin override or with non-required checks red.
+        // Observed, not assumed: admin merges land with checks red.
         checksStatus: waitOutcome.prProbe?.checksStatus ?? null,
       },
       tail: waitOutcome.tail,
@@ -539,9 +382,7 @@ export function terminalFromWaitOutcome({
     });
   }
 
-  // blocked — the classifier already named the class and the friction
-  // comment already carries the class-specific remediation, so the next
-  // command mirrors it rather than inventing a second opinion.
+  // blocked — mirror the classifier's remediation, never a second opinion.
   const nextCommand =
     waitOutcome.blockClass === 'checks-failed'
       ? NEXT_COMMANDS.watchCi(storyId, prNumber)