pi-goal-list-loop-audit 0.38.28 → 0.38.29

package/CHANGELOG.md

@@ -1,5 +1,13 @@
 # Changelog
 
+## 0.38.29 — compact active-card recovery and judgment details (2026-09-08)
+
+### Fixed
+- The active goal card now renders main-model recovery as one compact, truthful row instead of repeating the full chain, current model, pending switch, attempts, and skip details. Full recovery diagnostics remain available through `/goal status`; the status footer no longer duplicates that report.
+- Durable-vs-defer plaques cap their glance-card prose while preserving ordering, recommendation, and selected-choice facts. The final judgment row closes the tree cleanly.
+- Markdown emphasis/code wrappers are removed from the display-only objective projection, so `**objective**` and backtick-wrapped commands no longer add visual noise. Stored objectives remain unchanged.
+- Added regression coverage for compact recovery, duplicate suppression, Markdown cleanup, and the closed judgment tail.
+
 ## 0.38.28 — close redundant provenance rows in the active goal card (2026-09-08)
 
 ### Fixed

package/docs/INDEX.md

@@ -18,7 +18,7 @@ For shipped docs, the relevant entry points are:
   failback; v0.35.9 hardened cross-version npm tarball checks; v0.35.10
   handles multi-entry npm dry-run reports; v0.35.11 accepts both npm report
   shapes; v0.35.12 supports npm 12's keyed pack reports; v0.35.13 fixes stale-API recovery loops.
-  v0.35.14–v0.38.28 continue through the supervisor freeze (`/glla pause`),
+  v0.35.14–v0.38.29 continue through the supervisor freeze (`/glla pause`),
   load hold, auditor picker parity, Windows launch fix, zombie-watchdog
   subagent carve-out, due-wait backstop, the `/glla agents` visibility panel,
   durable state-root selection, blank-until-resume auditor context, frozen
@@ -28,7 +28,7 @@ For shipped docs, the relevant entry points are:
   packed-artifact release verification, and the 2026-09-07 display/lifecycle/
   settings audit pass (abort-latch send guards, ownership compare-and-swap,
   auditor inherit/clear parity) and the v0.38.25 post-objective summary
-  (canonical approval render, persist + replay, audit-goal counts line), the v0.38.27 selective port of PRs #45/#46 (`/loop pause` soft-hold, widget subtask count), and the v0.38.28 provenance-row closure fix — see CHANGELOG.md for the full trail.
+  (canonical approval render, persist + replay, audit-goal counts line), the v0.38.27 selective port of PRs #45/#46 (`/loop pause` soft-hold, widget subtask count), the v0.38.28 provenance-row closure fix, and the v0.38.29 compact active-card recovery/judgment projection — see CHANGELOG.md for the full trail.
 - `../README.md` — what the plugin is, install, quickstart, and the
   architectural guarantee (drafting + confirm + detached auditor).
 - `../INSTALL.md` — source install / local development setup; the recommended

package/extensions/goal-loop-display.ts

@@ -87,6 +87,17 @@ function displayPauseReason(reason: string): string {
   return compactDisplayText(sanitizeProviderDisplayText(reason));
 }
 
+/** Objectives are stored verbatim, but the glance card is a plain-text
+ * surface. Remove the common Markdown emphasis/code wrappers that otherwise
+ * turn a long objective into noisy `**...**` and backtick litter. This is a
+ * display-only projection; prompts, archives, and state keep the original. */
+function displayObjective(objective: string): string {
+  return compactDisplayText(objective)
+    .replace(/\*\*([^*]+)\*\*/g, "$1")
+    .replace(/__([^_]+)__/g, "$1")
+    .replace(/`([^`\n]*)`/g, "$1");
+}
+
 /** v0.33.1: painted strings measure by their terminal-cell width. */
 function visibleLen(s: string): number {
   return tuiVisibleWidth(s);
@@ -280,6 +291,53 @@ function modelSourceLabel(source: string): string {
   return source.trim();
 }
 
+function compactMainModelRecoveryLine(recovery: MainModelRecovery | undefined, configuredBackups: string[] = [], now = Date.now()): string | undefined {
+  if (!recovery || !recovery.primary.trim()) return undefined;
+  const primary = recovery.primary.trim();
+  const current = (recovery.active ?? primary).trim() || primary;
+  const backups = uniqueModelRefs(configuredBackups).slice(0, 10);
+  const chain = [primary, ...backups];
+  const currentIndex = chain.findIndex((ref) => ref.toLowerCase() === current.toLowerCase());
+  const selected = currentIndex === 0
+    ? "primary"
+    : currentIndex > 0
+      ? `backup ${currentIndex}/${backups.length}`
+      : "fallback";
+  const retryMs = recovery.retryAt ? Date.parse(recovery.retryAt) - now : Number.NaN;
+  const probeMs = recovery.primaryProbeAt ? Date.parse(recovery.primaryProbeAt) - now : Number.NaN;
+  const phase = recovery.manualResumeRequired
+    ? "manual hold"
+    : recovery.pendingModelSwitch
+      ? `switching → ${truncate(recovery.pendingModelSwitch, 48)}`
+      : Number.isFinite(retryMs)
+        ? retryMs <= 0 ? "retrying now" : `retrying in ${fmtElapsed(retryMs)}`
+        : recovery.primaryProbeInFlight
+          ? "primary probe pending"
+          : Number.isFinite(probeMs)
+            ? probeMs <= 0 ? "probing primary now" : `primary probe in ${fmtElapsed(probeMs)}`
+            : `${selected} selected`;
+  const attempted = recovery.attempted?.length ?? 0;
+  const skipped = recovery.skipped?.length ?? 0;
+  const hasEpisode = !!recovery.manualResumeRequired
+    || !!recovery.pendingModelSwitch
+    || Number.isFinite(retryMs)
+    || Number.isFinite(probeMs)
+    || !!recovery.primaryProbeInFlight
+    || recovery.attempts > 0
+    || attempted > 1
+    || skipped > 0
+    || currentIndex !== 0;
+  // A recovery object can briefly survive the successful primary selection.
+  // Do not label that normal state as an incident, but keep the selected model
+  // on the card when no separate provenance row is available.
+  if (!hasEpisode) return `model: ${truncate(current, 56)} · primary`;
+  const history = [
+    recovery.attempts > 0 ? `attempts ${recovery.attempts}` : "",
+    skipped > 0 ? `skipped ${skipped}` : "",
+  ].filter(Boolean);
+  return `recovery: ${phase} · ${selected} ${truncate(current, 48)}${history.length > 0 ? ` · ${history.join(" · ")}` : ""}`;
+}
+
 function modelProvenanceLines(provenance: ModelProvenanceDisplay | undefined, width?: number): string[] {
   if (!provenance) return [];
   const budget = budgetFor(width, 3, 60);
@@ -328,9 +386,14 @@ export function buildDurableDeferDecisionLines(input: DurableDeferRecommendation
       // Reserve room for the recommendation marker and the outer tree prefix
       // so a normal 80-column production widget cannot truncate away the
       // fact that the durable plaque is the selected action.
+      // Recommendation bodies are durable facts, but the glance card is not
+      // the command's full report. A wide terminal used to turn these plaques
+      // into sentence-length banners and crowd out the actual work state;
+      // /goal status retains the complete text.
+      const bodyCap = plaque.kind === "durable" ? 96 : 72;
       const bodyBudget = width && width > 0
-        ? Math.max(8, width - WIDGET_HORIZONTAL_MARGIN - 3 - visibleLen(prefix) - visibleLen(marker))
-        : budgetFor(width, 3, 60);
+        ? Math.max(8, Math.min(bodyCap, width - WIDGET_HORIZONTAL_MARGIN - 3 - visibleLen(prefix) - visibleLen(marker)))
+        : Math.min(bodyCap, budgetFor(width, 3, 60));
       return `${prefix}${truncate(plaque.body, bodyBudget)}${marker}`;
     }),
     `selected: ${recommendation.choice}${recommendation.choice === "inline" ? " (durable fix)" : " (reversible workaround)"}`,
@@ -1163,21 +1226,21 @@ function buildStatusTextBase(state: State, audit?: AuditDisplayProgress | null,
     return `glla: ${paint(theme, pauseIsError(g) ? "error" : "warning", label)}${pausedStatusSuffix(g, state, extras, now)}${heldSuffix}`;
   }
   if (g.status === "active") {
-    const recoverySummary = formatMainModelRecoveryStatus(state.mainModelRecovery, extras?.mainModelFallbacks);
-    const withRecovery = (value: string): string => recoverySummary.length > 0
-      ? `${value} · ${recoverySummary.join(" · ")}`
-      : value;
+    // The footer is a glance/liveness surface. Recovery details belong to the
+    // card (and the full /goal status report), not a second horizontally
+    // concatenated copy here. This keeps exceptions readable without making
+    // a healthy WORKING line look like an incident.
     // v0.28.1 (S1/S2): a stale-handle interrupt keeps the goal ACTIVE.
     // It outranks any older operational note on the same state snapshot.
     if (g.interruptedAt) {
       const label = interruptedForNoStart(g)
         ? "⚠ turn start not observed — automatic retry held"
         : "⚠ interrupted — stale handle · /new (or a fresh session_start) rebinds";
-      return withRecovery(`glla: ${paint(theme, "error", label)}${heldSuffix}`);
+      return `glla: ${paint(theme, "error", label)}${heldSuffix}`;
     }
     const attention = activeAttention(g);
     if (attention) {
-      return withRecovery(`glla: ${paint(theme, attention.color, `⚠ ${attention.label}`)}${heldSuffix}`);
+      return `glla: ${paint(theme, attention.color, `⚠ ${attention.label}`)}${heldSuffix}`;
     }
     const activity = goalDisplayActivity(g, extras, now);
     // v0.34.97: while the post-compaction grace window is open, surface
@@ -1186,10 +1249,10 @@ function buildStatusTextBase(state: State, audit?: AuditDisplayProgress | null,
     const compactAgeMs = state.lastCompactionAt ? now - state.lastCompactionAt : Number.POSITIVE_INFINITY;
     const compacting = Number.isFinite(compactAgeMs) && compactAgeMs >= 0 && compactAgeMs < 180_000; // COMPACTION_GRACE_MS = 3 min
     if (compacting) {
-      return withRecovery(`glla: ${paint(theme, "warning", `⏳ compacting… (${fmtElapsed(compactAgeMs)} ago)`)}${heldSuffix}`);
+      return `glla: ${paint(theme, "warning", `⏳ compacting… (${fmtElapsed(compactAgeMs)} ago)`)}${heldSuffix}`;
     }
     if (activity === "awaiting-first-turn") {
-      return withRecovery(`glla: ${activityStateBadge("AWAITING FIRST TURN", theme, "warning")}${heldSuffix}`);
+      return `glla: ${activityStateBadge("AWAITING FIRST TURN", theme, "warning")}${heldSuffix}`;
     }
     if (activity === "idle") {
       // Audit 2026-09-07 (DECIDED: head owns liveness): the status keeps
@@ -1200,7 +1263,7 @@ function buildStatusTextBase(state: State, audit?: AuditDisplayProgress | null,
         goalTotalText(g, now),
         (state.list?.length ?? 0) > 0 ? `${state.list!.length} queued` : "",
       ].filter(Boolean);
-      return withRecovery(`glla: ${activityStateBadge("IDLE", theme, "warning")}${idleDetails.length > 0 ? ` ${idleDetails.join(" · ")}` : ""}${heldSuffix}`);
+      return `glla: ${activityStateBadge("IDLE", theme, "warning")}${idleDetails.length > 0 ? ` ${idleDetails.join(" · ")}` : ""}${heldSuffix}`;
     }
     // v0.34.39: distinguish durable state from evidence of a live host turn.
     // A spinner is reserved for recent stream/tool evidence; BUSY without
@@ -1212,7 +1275,7 @@ function buildStatusTextBase(state: State, audit?: AuditDisplayProgress | null,
         g.taskList ? `${countDone(g)}/${countTotal(g)} tasks` : "",
         (state.list?.length ?? 0) > 0 ? `${state.list!.length} queued` : "",
       ].filter(Boolean);
-      return withRecovery(`glla: ${activityStateBadge("BUSY", theme, "warning")}${busyDetails.length > 0 ? ` ${busyDetails.join(" · ")}` : ""}${heldSuffix}`);
+      return `glla: ${activityStateBadge("BUSY", theme, "warning")}${busyDetails.length > 0 ? ` ${busyDetails.join(" · ")}` : ""}${heldSuffix}`;
     }
     // v0.34.16: a fresh session_start owns the handoff. A cold boot still
     // follows the global autoResume setting, so the widget names the actual
@@ -1258,7 +1321,7 @@ function buildStatusTextBase(state: State, audit?: AuditDisplayProgress | null,
       monitoring ? "next check" : "",
       n > 0 ? `${n} queued` : "",
     ].filter(Boolean);
-    return withRecovery(`glla: ${marker}${details.length > 0 ? ` ${details.join(" · ")}` : ""}${recoverySuffix}${heldSuffix}`);
+    return `glla: ${marker}${details.length > 0 ? ` ${details.join(" · ")}` : ""}${recoverySuffix}${heldSuffix}`;
   }
   // v0.34.65: a terminal goal names its outcome + wall duration instead of
   // clearing the segment (note.md 2026-08-07: "this seems weak for a complete
@@ -1352,6 +1415,16 @@ export function buildWidgetLines(state: State, audit?: AuditDisplayProgress | nu
       withAgents = orphanHead ? [orphanHead, ...agentLines] : [...agentLines];
     }
   }
+  // Keep the final tree row visually closed when the compact judgment block
+  // ends without a queue footer. Without this, its last `├─` reads like a
+  // missing continuation and makes an already dense card feel unfinished.
+  if (withAgents && inner && detailedAgents.length === 0 && extras?.durableDeferRecommendation && withAgents.length > 0) {
+    const tailIndex = withAgents.length - 1;
+    const tail = withAgents[tailIndex]!;
+    if (tail.startsWith("├─ ") || tail.startsWith("│ ")) {
+      withAgents[tailIndex] = `└─ ${tail.slice(3)}`;
+    }
+  }
   // v0.28.6 (E1): a persistence failure outranks everything — first line,
   // on every render, until a write lands again.
   let lines: string[] | undefined = withAgents;
@@ -1373,7 +1446,7 @@ export function buildWidgetLines(state: State, audit?: AuditDisplayProgress | nu
 function waitingListStatus(state: State, _now: number, theme?: DisplayTheme, width?: number): string {
   const queue = state.list ?? [];
   const head = queue[0];
-  const objective = head?.objective?.trim() ? sanitizeDisplayText(head.objective) : "unnamed queued item";
+  const objective = head?.objective?.trim() ? displayObjective(head.objective) : "unnamed queued item";
   const hold = typeof state.loadHoldAt === "number" ? " · held on restore" : "";
   // Audit 2026-09-06: the width budget truncates the END of the status
   // line — the `/glla resume` action must survive, so the OBJECTIVE takes
@@ -1390,7 +1463,7 @@ function waitingListStatus(state: State, _now: number, theme?: DisplayTheme, wid
 function waitingListLines(state: State, theme?: DisplayTheme, width?: number): string[] {
   const queue = state.list ?? [];
   const head = queue[0];
-  const objective = head?.objective?.trim() ? sanitizeDisplayText(head.objective) : "unnamed queued item";
+  const objective = head?.objective?.trim() ? displayObjective(head.objective) : "unnamed queued item";
   const objectiveBudget = budgetFor(width, visibleLen("├─ up next: "), 56);
   const action = typeof state.loadHoldAt === "number"
     ? "held on restore · /glla resume starts the queue · /list next skips/chooses"
@@ -1555,7 +1628,7 @@ function goalLines(g: Goal, state: State, audit: AuditDisplayProgress | null | u
   const headIcon = headLive
     ? paint(theme, headLive.band === "fresh" ? "success" : headLive.band === "aging" ? "warning" : "error", headLive.breath)
     : icon;
-  const head = `${headIcon} ${truncate(g.objective.replace(/\s+/g, " "), objBudget)} ${paint(theme, "dim", "·")} ${segsText}`;
+  const head = `${headIcon} ${truncate(displayObjective(g.objective), objBudget)} ${paint(theme, "dim", "·")} ${segsText}`;
   const lines = [head];
   // v0.38.8: durable verdict tally as a first-class card row — the widget
   // is the glance surface, and stored verdicts are the progress evidence
@@ -1572,20 +1645,22 @@ function goalLines(g: Goal, state: State, audit: AuditDisplayProgress | null | u
     lines.push(`├─ ${paint(theme, "dim", `Recovery: ${repairStep}`)}`);
   }
   // A model switch crosses an asynchronous boundary while the goal remains
-  // active. Keep the complete durable recovery projection on the widget too;
-  // otherwise the head says only "active" while pending/attempted/skipped
-  // candidates are invisible until the goal is parked.
+  // active. Keep that fact visible, but do not print the full recovery report
+  // into the glance card; it made the card taller than the space below the
+  // editor. `/goal status` remains the detailed recovery surface.
+  let recoveryLine: string | undefined;
   if (g.status === "active" && state.mainModelRecovery) {
-    const recoverySummary = formatMainModelRecoveryStatus(state.mainModelRecovery, extras?.mainModelFallbacks);
-    recoverySummary.forEach((line, i) => {
-      lines.push(`${i === 0 ? "├─" : "│ "} ${paint(theme, "dim", line)}`);
-    });
+    recoveryLine = compactMainModelRecoveryLine(state.mainModelRecovery, extras?.mainModelFallbacks, now);
+    if (recoveryLine) lines.push(`├─ ${paint(theme, "dim", recoveryLine)}`);
   }
   // Model provenance is a card fact, not a notification: keep it visible
-  // across active, interrupted, auditing, and paused branches. In
-  // particular, never replace a configured forbidden ref with "none" — the
-  // skipped line explains why it did not handle the turn.
-  const provenance = modelProvenanceLines(extras?.modelProvenance, width);
+  // across active, interrupted, auditing, and paused branches. During an
+  // active recovery the compact recovery row owns the model fact, so do not
+  // print a second primary/current row beside it. The full chain and skipped
+  // refs remain available through `/goal status`.
+  const provenance = state.mainModelRecovery
+    ? []
+    : modelProvenanceLines(extras?.modelProvenance, width);
   const provenanceStart = lines.length;
   provenance.forEach((line, i) => {
     lines.push(`${i === 0 ? "├─" : "│ "} ${paint(theme, "dim", line)}`);
@@ -1915,12 +1990,22 @@ function goalLines(g: Goal, state: State, audit: AuditDisplayProgress | null | u
   // no recent action, pending task, or queue footer. Close that block with a
   // terminator instead of leaving `├─`/`│` suggesting missing rows.
   const provenanceEnd = provenanceStart + provenance.length;
-  if (provenance.length > 0 && provenanceEnd === lines.length) {
+  const detailedAgentRows = extras?.agents?.lines ?? (extras?.agents?.line ? [extras.agents.line] : []);
+  if (provenance.length > 0 && detailedAgentRows.length === 0 && provenanceEnd === lines.length) {
     const last = lines[provenanceEnd - 1]!;
     if (last.startsWith("├─ ") || last.startsWith("│ ")) {
       lines[provenanceEnd - 1] = `└─ ${last.slice(3)}`;
     }
   }
+  // A compact recovery/model row can be the final detail when no other card
+  // fact follows it. Close that one row without changing the established
+  // open-row shape for recent actions or worker details.
+  if (recoveryLine && detailedAgentRows.length === 0 && lines.length > 0) {
+    const last = lines[lines.length - 1]!;
+    if (last.includes(recoveryLine) && (last.startsWith("├─ ") || last.startsWith("│ "))) {
+      lines[lines.length - 1] = `└─ ${last.slice(3)}`;
+    }
+  }
   return lines;
 }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-goal-list-loop-audit",
-  "version": "0.38.28",
+  "version": "0.38.29",
   "description": "Mission control for autonomous pi: interview-drafted goals, an audited task queue, and forever-loops (metric, spec, project-audit) that run for hours. A detached extension-less auditor process re-verifies every completion with raw evidence without holding the main pi turn; confirmed drafts, decision pauses and consent gates keep you in charge.",
   "license": "AGPL-3.0-only",
   "author": "dracon",