@pellux/goodvibes-tui 0.19.22 → 0.19.24

package/CHANGELOG.md

@@ -4,6 +4,66 @@ All notable changes to GoodVibes TUI.
 
 ---
 
+## [0.19.24] — 2026-04-22
+
+Four correctness and honesty fixes from an external architecture review. No SDK change (pinned at 0.23.2).
+
+### Fixed
+
+- **`/clear` now actually clears the display** (`src/core/conversation.ts`). The original `clearDisplay()` immediately rebuilt the display buffer from `this.messages`, so `getDisplayBlocks().length` was unchanged before and after the call — `/clear` was a no-op. The fix introduces a `_displayFromMessageIndex` watermark: `clearDisplay()` records the current message count and clears the buffer without re-rendering; `rebuildHistory()` now only renders messages added *after* the watermark, so the screen is blank until the next message arrives. The full LLM context (`getMessagesForLLM()`, `getMessageSnapshot()`) is untouched. `resetAll()` zeroes the watermark so a full reset continues to work. Regression tests added to `src/test/core/conversation.test.ts` (4 new tests).
+
+- **Workspace tab bar shows active state on the unfocused pane** (`src/panels/panel-manager.ts`, `src/renderer/panel-workspace-bar.ts`). `getWorkspaceTabs()` previously set both `active` and `focused` from the single globally-focused panel, so the unfocused pane's selected tab lost its active marker entirely when focus moved to the other pane. The fix splits the two semantics: `active` is now true for the currently-selected tab in *its own pane* (derived from `pane.activeIndex`, independent of keyboard focus); `focused` is true only for the one tab in the globally-focused pane. The workspace bar renderer uses the `focused` flag to append a `▸` glyph to the focused tab's label, making keyboard-focus distinct from pane-level selection. Both panes now show their selected tab highlighted regardless of which has focus. Regression tests added to `src/test/panels/panel-manager.test.ts` (2 new tests).
+
+- **Panel render cache race guard** (`src/renderer/panel-composite.ts`). The documented hazard in the R2 cache — where a mid-render `invalidate()` call would be silently clobbered by the trailing `markRendered()` — has been resolved. The fix wraps each panel's `invalidate()` the first time it enters `renderPanel()` to maintain a per-panel generation counter (stored in a module-level `WeakMap`). The generation is snapshotted before `render()` and compared after: `markRendered()` is only called when the generation is unchanged, meaning no concurrent invalidation fired. If the generation changed, `needsRender` stays `true` and the next frame re-renders with the fresh state. Backward-compatible: existing panels that don't invalidate during render are unaffected. New test file `src/test/renderer/panel-composite.test.ts` (4 tests).
+
+- **Release gate filenames renamed to match what the tests actually verify** (`src/test/release-gates/`). `runtime-certification-gate.test.ts` was renamed to `runtime-contract-shape-gate.test.ts` and its `describe()` block updated to `'runtime contract shape gate'`. `foundation-surfaces-gate.test.ts` was renamed to `foundation-surface-stability-gate.test.ts` and its `describe()` block updated to `'foundation surface stability gate'`. The test content (assertions, helpers) is unchanged — this is an honesty rename only, removing the implication that the tests verify runtime behavior certification when they actually verify structural shape preservation.
+
+---
+
+## [0.19.23] — 2026-04-22
+
+SDK 0.23.x constraint-propagation reconciliation. Surfaces the new per-chain constraint data across the WRFC panel, process modal, agent inspector, and agent detail modal; adds system-message notifications for constraint enumeration and violations; exposes the WRFC-injected `systemPromptAddendum` so operators can see the engineer addendum was applied.
+
+### Changed
+
+- **SDK dep bumped to `@pellux/goodvibes-sdk@0.23.2`.** Picks up constraint-propagation additions from 0.23.0 (feature), the 0.23.1 cleanup (removed opt-in golden-prompt suite that was skipped by default), and the 0.23.2 docs bundle (the complete `docs/wrfc-constraint-propagation.md` + reference-runtime-events + observability + error-kinds + migration docs shipped with the feature). New types consumed by this TUI release: `Constraint` and `ConstraintFinding` from `platform/agents/completion-report`; three new fields on `WrfcChain` (`constraints`, `constraintsEnumerated`, `syntheticIssues`); `WORKFLOW_CONSTRAINTS_ENUMERATED` runtime event; optional constraint summary fields on `WORKFLOW_REVIEW_COMPLETED` (`constraintsSatisfied`, `constraintsTotal`, `unsatisfiedConstraintIds`) and `WORKFLOW_FIX_ATTEMPTED` (`targetConstraintIds`); optional `constraints?` on `EngineerReport`; optional `constraintFindings?` on `ReviewerReport`; `AgentRecord.systemPromptAddendum?`.
+
+### Added
+
+- **`WORKFLOW_CONSTRAINTS_ENUMERATED` system message** (`src/runtime/bootstrap-core.ts`). When an engineer agent enumerates one or more constraints, a low-priority `[WRFC] Engineer enumerated N constraint(s) for chain <chainId>` message is routed to the SystemMessagesPanel. Zero-constraint chains produce no message (backward-compatible).
+- **Constraint-violation system message on review failure** (`src/runtime/bootstrap-core.ts`). When `WORKFLOW_REVIEW_COMPLETED` fires with `passed: false` and `unsatisfiedConstraintIds` is non-empty, a high-priority `[WRFC] ✗ Chain <chainId>: N constraint violation(s) forced failure` message is emitted to both the main conversation and the SystemMessagesPanel. Complements the existing SDK-level score/threshold message.
+- **`WORKFLOW_FIX_ATTEMPTED` constraint-targeting message** (`src/runtime/bootstrap-core.ts`). When a fix agent is spawned to address specific constraints (`targetConstraintIds` present), a low-priority `[WRFC] Fix #N targeting N constraint(s) on chain <chainId>` message is routed to the SystemMessagesPanel. Only fires when `targetConstraintIds` is non-empty.
+- **Constraint count in Fix agent process-modal label** (`src/renderer/process-modal.ts`). When a running fix agent's WRFC chain has constraints, the Background Processes modal label gains a compact `[Nc]` suffix (e.g. `[Fix #2] my task  (7.8 → 9.9/10)  [3c]`). Chains with zero constraints are unchanged.
+- **`systemPromptAddendum` indicator in Agent Inspector** (`src/panels/agent-inspector-panel.ts`). The per-agent summary line in the Inspector panel now includes an `Addendum yes` field when the selected agent's `AgentRecord.systemPromptAddendum` is set. This lets operators confirm that the WRFC constraint addendum was injected into the engineer's system prompt. Agents without an addendum are unchanged.
+- **Constraint data in Agent Detail modal** (`src/renderer/agent-detail-modal.ts`). The agent detail modal (opened from the Background Processes modal with Enter) now surfaces three additional SDK 0.23.x fields when available: (1) an `Addendum: yes` line when `AgentRecord.systemPromptAddendum` is set; (2) a `Constraints (N):` block listing each constraint id/text/source from the agent's WRFC chain; (3) a `Findings: N checked, N unsatisfied` summary from the reviewer's `constraintFindings`. An optional `wrfcController` dep was added to `AgentDetailModalDeps` — backward-compatible, existing callers without it continue working unchanged. Zero-constraint chains and agents not in a WRFC chain render byte-identically to pre-0.23.
+- **WRFC panel constraint badge** (`src/panels/wrfc-panel.ts`). Each chain row renders a compact `c:N/M` badge showing satisfied/total constraints when present, colored by aggregate state: green when all satisfied, red on any unsatisfied finding, grey when no findings yet, yellow for mixed verified/unverified. Omitted entirely for zero-constraint chains.
+- **WRFC panel expanded constraint detail** (`src/panels/wrfc-panel.ts`). Expanding a chain now shows per-constraint lines with a severity-tagged status marker: `[SAT]` (satisfied), `[UNS CRIT]` / `[UNS MAJOR]` / `[UNS MINOR]` (unsatisfied with severity), or `[UNV]` (unverified). Inherited constraints — those carried from a parent chain after gate-failure retry — are suffixed with ` *`. List caps at 10 with a `(+N more)` tail and respects the panel's `maxLines` budget.
+- **WRFC panel selected-chain summary** (`src/panels/wrfc-panel.ts`). The selected-chain summary row now shows `N sat / M total (K inherited)` when the focused chain has constraints, giving the operator at-a-glance status without expanding the row.
+- **WRFC panel controller-flags block** (`src/panels/wrfc-panel.ts`). When the controller injects synthetic issues on the chain (e.g. fixer constraint-continuity violations), a `Controller flags` section renders above the reviewer Issues block with a `[CRITICAL]` prefix, so operators see why a chain went back to fixing even when the reviewer didn't flag anything.
+
+### Surface Audit — Per-Surface Verdict
+
+| Surface | File | Verdict |
+|---------|------|---------|
+| WRFC chain panel | `src/panels/wrfc-panel.ts` | Reconciled — constraint badge `c:N/M`, expanded-detail severity-tagged markers (`[SAT]` / `[UNS CRIT|MAJOR|MINOR]` / `[UNV]`) with inherited ` *` suffix, selected-chain summary, controller-flags block, `WORKFLOW_CONSTRAINTS_ENUMERATED` subscription |
+| System message router | `src/core/system-message-router.ts` | Not applicable — routing infrastructure, no direct event handling |
+| Bootstrap runtime events | `src/runtime/bootstrap-core.ts` | Reconciled — 3 new subscriptions added |
+| Process modal | `src/renderer/process-modal.ts` | Reconciled — Fix label shows constraint count |
+| Agent Inspector panel | `src/panels/agent-inspector-panel.ts` | Reconciled — systemPromptAddendum indicator |
+| Agent Logs panel | `src/panels/agent-logs-panel.ts` | Not applicable — log tail only, no report/constraint fields |
+| Agent Detail modal | `src/renderer/agent-detail-modal.ts` | Reconciled — systemPromptAddendum indicator, constraint list, reviewer findings |
+| Orchestration panel | `src/panels/orchestration-panel.ts` | Not applicable — reads `OrchestrationGraphRecord` from store domain, no constraint fields |
+| Agent builtin panel registry | `src/panels/builtin/agent.ts` | Not applicable — registration only, no rendering |
+| Tasks panel | `src/panels/builtin/operations.ts` | Not applicable — no WRFC chain rendering |
+| Eval panel | `src/panels/eval-panel.ts` | Not applicable — eval suite scores, not WRFC constraint data |
+| UI events plumbing | `src/runtime/ui-events.ts` | Not applicable — re-exports SDK; `WorkflowEvent` union already includes new event |
+| Config command | `src/input/commands/config.ts` | Not applicable — no new SDK 0.23.0 config knobs |
+| Runtime services | `src/runtime/services.ts` | Not applicable — no new service instantiation required |
+| Bootstrap core | `src/runtime/bootstrap-core.ts` | Reconciled (see above) |
+| Docs | `docs/` | Not applicable — TUI docs have minimal WRFC prose; no legacy content to update |
+
+---
+
 ## [0.19.22] — 2026-04-21
 
 Hotfix release: regenerates foundation artifacts against SDK 0.22.0 after 0.19.21's release pipeline failed the `foundation artifacts gate` test. No consumer-facing feature changes beyond what 0.19.21 carried.

package/README.md

@@ -2,7 +2,7 @@
 
 [![CI](https://github.com/mgd34msu/goodvibes-tui/actions/workflows/ci.yml/badge.svg)](https://github.com/mgd34msu/goodvibes-tui/actions/workflows/ci.yml)
 [![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
-[![Version](https://img.shields.io/badge/version-0.19.22-blue.svg)](https://github.com/mgd34msu/goodvibes-tui)
+[![Version](https://img.shields.io/badge/version-0.19.24-blue.svg)](https://github.com/mgd34msu/goodvibes-tui)
 
 A terminal-native AI coding, operations, automation, knowledge, and integration console with a typed runtime, omnichannel surfaces, structured memory/knowledge, and a raw ANSI renderer.
 
@@ -159,6 +159,12 @@ The TUI now consumes the extracted `@pellux/goodvibes-sdk` platform layer for sh
 - Archetype registry that supports built-ins and user-defined markdown archetypes
 - Task lifecycle tracking across exec, agent, MCP, plugin, integration, daemon, scheduler, and ACP work
 - Automated WRFC loops with review/fix/check chains, configurable gates, and explicit evidence in completion reports
+- WRFC panel renders a constraint badge (`c:N/M`) per chain, colored by aggregate satisfaction status
+- Expanded chain detail shows each constraint with status marker `[SAT]`, `[UNS CRIT|MAJOR|MINOR]` (unsatisfied, severity-tagged), or `[UNV]` (unverified), with ` *` suffix for inherited constraints
+- Selected-chain summary shows satisfied/total/inherited counts at a glance
+- Controller-flagged synthetic issues render above reviewer issues as `[CRITICAL]` "Controller flags"
+- Agent-detail modal surfaces `systemPromptAddendum` (WRFC engineer addendum) when present on the agent record
+- System-message router surfaces `WORKFLOW_CONSTRAINTS_ENUMERATED` as an operator-visible message when constraints are loaded
 - Built-in planning/strategy layer with execution plans, adaptive plan modes, and status/explain/override controls
 
 ### Tools And Intelligence
@@ -1235,7 +1241,7 @@ Those pieces cover conversation-noise routing, panel-health/performance budgets,
 | `/fork [name]` | `/branch-save` | Save a named snapshot of the current conversation |
 | `/merge <name>` | — | Append messages from a branch after the fork point |
 | `/agents` | — | List active and completed agents |
-| `/wrfc` | — | Show WRFC chain status |
+| `/wrfc` | — | Show WRFC chain status, constraint satisfaction counts, and per-constraint `[SAT]`/`[UNS]`/`[UNV]` breakdown |
 | `/health [action]` | — | Unified runtime health review and repair entry point |
 | `/guidance [action]` | — | Contextual operational guidance without cluttering the conversation |
 | `/remote [action]` | — | Distributed peer, node-host contract, work-queue, and artifact control room |

package/docs/foundation-artifacts/operator-contract.json

@@ -3,7 +3,7 @@
   "product": {
     "id": "goodvibes",
     "surface": "operator",
-    "version": "0.22.0"
+    "version": "0.23.2"
   },
   "auth": {
     "modes": [

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pellux/goodvibes-tui",
-  "version": "0.19.22",
+  "version": "0.19.24",
   "description": "Terminal-native GoodVibes product for coding, operations, automation, knowledge, channels, and daemon-backed control-plane workflows.",
   "type": "module",
   "main": "src/main.ts",
@@ -90,7 +90,7 @@
     "@anthropic-ai/vertex-sdk": "^0.16.0",
     "@ast-grep/napi": "^0.42.0",
     "@aws/bedrock-token-generator": "^1.1.0",
-    "@pellux/goodvibes-sdk": "0.22.0",
+    "@pellux/goodvibes-sdk": "0.23.2",
     "bash-language-server": "^5.6.0",
     "fuse.js": "^7.1.0",
     "graphql": "^16.13.2",

package/src/core/conversation.ts

@@ -74,6 +74,13 @@ export class ConversationManager extends SdkConversationManager {
   private errorLineRegistry: number[] = [];
   /** Streaming block start line in history buffer (for incremental streaming update). */
   private streamingStartLine = -1;
+  /**
+   * Message index at the time of the last clearDisplay() call.
+   * rebuildHistory() renders only messages at or after this index, so the
+   * display stays blank for messages added before the clear while LLM history
+   * is fully preserved. Reset to 0 on resetAll() or rebuildHistory() width change.
+   */
+  private _displayFromMessageIndex = 0;
 
   public suppressSplash: boolean = false;
   public splashOptions: SplashOptions = {};
@@ -215,6 +222,7 @@ export class ConversationManager extends SdkConversationManager {
     this.messageLineRegistry = [];
     this.errorLineRegistry = [];
     this.streamingStartLine = -1;
+    this._displayFromMessageIndex = 0; // full reset — show everything on next render
   }
 
   /**
@@ -293,20 +301,27 @@ export class ConversationManager extends SdkConversationManager {
     this.lastRenderedWidth = width;
     this.dirty = false;
 
+    const snapshot = this.getMessageSnapshot();
+    // When _displayFromMessageIndex > 0, clearDisplay() was called. Only render
+    // messages added after the clear — the pre-clear history stays off-screen.
+    // On a full rebuild (e.g. width change), reset the display-start to 0 so the
+    // user can scroll back to the full history if needed.
+    const displayStart = this._displayFromMessageIndex;
+    const visibleSnapshot = displayStart > 0 ? snapshot.slice(displayStart) : snapshot;
+
     // Tool messages ARE rendered (as collapsed blocks); this filter is only
     // for determining whether to show the splash screen (tool-only messages
     // don't count as visible conversation content for splash purposes).
-    const snapshot = this.getMessageSnapshot();
-    const displayMessages = snapshot.filter(
+    const displayMessages = visibleSnapshot.filter(
       (m) => m.role !== 'tool' && m.role !== 'system',
     );
 
-    if (displayMessages.length === 0 && !this.suppressSplash) {
+    if (displayMessages.length === 0 && displayStart === 0 && !this.suppressSplash) {
       this.addSplashScreen(width);
       return;
     }
 
-    this.appendMessages(snapshot, width);
+    this.appendMessages(visibleSnapshot, width);
     this.appendedUpTo = snapshot.length;
   }
 
@@ -509,19 +524,27 @@ export class ConversationManager extends SdkConversationManager {
 
   /**
    * clearDisplay - Clear the visual history buffer without touching the LLM context messages.
-   * The next render will show a blank conversation area.
+   * The next render will show a blank conversation area. Subsequent message additions
+   * rebuild the display incrementally from that point forward.
+   *
+   * Contract:
+   * - getDisplayBlocks() returns an empty array immediately after this call.
+   * - getMessageSnapshot() is unaffected — full LLM history is preserved.
+   * - resetAll() (which clears both display and messages) continues to work.
+   * - rebuildHistory() can be called by callers that need a full display rebuild.
    */
   public clearDisplay(): void {
     this.history.clear();
-    this.appendedUpTo = 0;
-    this.dirty = true;
-    // Re-render from existing messages to rebuild buffer
-    const width = this._getWidth();
-    this.lastRenderedWidth = width;
+    this.blockRegistry = [];
+    this.messageLineRegistry = [];
+    this.errorLineRegistry = [];
+    // Advance _displayFromMessageIndex to exclude all current messages from display.
+    // rebuildHistory() will only render messages added AFTER this point.
+    this._displayFromMessageIndex = this.getMessageSnapshot().length;
+    this.appendedUpTo = this._displayFromMessageIndex;
     this.dirty = false;
-    const snapshot = this.getMessageSnapshot();
-    this.appendMessages(snapshot, width);
-    this.appendedUpTo = snapshot.length;
+    // Do NOT re-render here — display stays blank until the next message is added.
+    // The lastRenderedWidth is kept so subsequent appends use the correct width.
   }
 }
 

package/src/input/handler.ts

@@ -207,6 +207,8 @@ export class InputHandler {
       agentManager: uiServices.agents.agentManager,
       agentMessageBus: uiServices.agents.agentMessageBus,
       sessionLogPathResolver: (agentId) => uiServices.environment.shellPaths.resolveProjectPath('tui', 'sessions', `${agentId}.jsonl`),
+      // SDK 0.23.0: supply wrfcController so the modal can show constraint data
+      wrfcController: uiServices.agents.wrfcController,
     });
     this.bookmarkModal = new BookmarkModal(uiServices.shell.bookmarkManager);
     this.sessionPickerModal = new SessionPickerModal(uiServices.sessions.sessionManager);

package/src/panels/agent-inspector-panel.ts

@@ -317,6 +317,10 @@ export class AgentInspectorPanel extends BasePanel {
       [formatMs(elapsed), DEFAULT_PANEL_PALETTE.value],
       ['   Tools ', DEFAULT_PANEL_PALETTE.label],
       [String(rec.toolCallCount), DEFAULT_PANEL_PALETTE.info],
+      // SDK 0.23.0: show addendum indicator when WRFC injected a constraint addendum
+      ...(rec.systemPromptAddendum
+        ? [['   Addendum ', DEFAULT_PANEL_PALETTE.label] as [string, string], ['yes', DEFAULT_PANEL_PALETTE.info] as [string, string]]
+        : []),
       ['   Task ', DEFAULT_PANEL_PALETTE.label],
       [taskDisplay, DEFAULT_PANEL_PALETTE.value],
     ]);

package/src/panels/panel-manager.ts

@@ -347,13 +347,17 @@ export class PanelManager {
 
   getWorkspaceTabs(): readonly WorkspaceTab[] {
     if (this._cachedWorkspaceTabs !== null) return this._cachedWorkspaceTabs;
+    // `active` = the currently selected tab in its own pane (independent of focus).
+    // `focused` = true only for the one tab in the globally focused pane that is active.
     const focusedPanelId = this.getActivePanel()?.id;
+    const topActivePanelId = this.topPane.panels[this.topPane.activeIndex]?.id;
+    const bottomActivePanelId = this.bottomPane.panels[this.bottomPane.activeIndex]?.id;
     const topTabs = this.topPane.panels.map((panel) => ({
       id: panel.id,
       name: panel.name,
       icon: panel.icon,
       pane: 'top' as const,
-      active: panel.id === focusedPanelId,
+      active: panel.id === topActivePanelId,
       focused: panel.id === focusedPanelId,
     }));
     const bottomTabs = this.bottomPane.panels.map((panel) => ({
@@ -361,7 +365,7 @@ export class PanelManager {
       name: panel.name,
       icon: panel.icon,
       pane: 'bottom' as const,
-      active: panel.id === focusedPanelId,
+      active: panel.id === bottomActivePanelId,
       focused: panel.id === focusedPanelId,
     }));
     const tabs = [...topTabs, ...bottomTabs] as WorkspaceTab[];

package/src/panels/wrfc-panel.ts

@@ -1,5 +1,6 @@
 import type { Line } from '../types/grid.ts';
 import type { WrfcChain, WrfcState, QualityGateResult } from '@pellux/goodvibes-sdk/platform/agents/wrfc-types';
+import type { Constraint, ConstraintFinding } from '@pellux/goodvibes-sdk/platform/agents/completion-report';
 import type { WrfcController } from '@pellux/goodvibes-sdk/platform/agents/wrfc-controller';
 import { BasePanel } from './base-panel.ts';
 import type { WorkflowEvent } from '@pellux/goodvibes-sdk/platform/runtime/events/index';
@@ -48,6 +49,10 @@ const C = {
   issueSug:   '#6b7280',
   gatePass:   '#22c55e',
   gateFail:   '#ef4444',
+  // constraint status
+  constraintSat:  '#22c55e', // green — satisfied
+  constraintUnsat:'#ef4444', // red — unsatisfied
+  constraintUnv:  '#4b5563', // grey — unverified (no finding yet)
 } as const;
 
 // ---------------------------------------------------------------------------
@@ -117,6 +122,37 @@ export function truncate(s: string, max: number): string {
   return s.slice(0, max - 3) + '...';
 }
 
+// ---------------------------------------------------------------------------
+// Constraint helpers
+// ---------------------------------------------------------------------------
+
+/**
+ * Returns display tag, foreground colour, and dim flag for a single constraint
+ * based on whether a reviewer finding exists for it.
+ */
+export function constraintStatusMarker(
+  constraint: Constraint,
+  findings: ConstraintFinding[] | undefined,
+): { tag: string; fg: string; dim: boolean } {
+  const finding = findings?.find(f => f.constraintId === constraint.id);
+  if (!finding) {
+    return { tag: '[UNV]', fg: C.constraintUnv, dim: true };
+  }
+  if (finding.satisfied) {
+    return { tag: '[SAT]', fg: C.constraintSat, dim: false };
+  }
+  // Unsatisfied — use severity to pick colour and tag text
+  const sev = finding.severity ?? 'major';
+  let sevTag: string;
+  let fg: string;
+  switch (sev) {
+    case 'critical': sevTag = '[UNS CRIT]';  fg = C.issueCrit; break;
+    case 'minor':    sevTag = '[UNS MINOR]'; fg = C.issueMin;  break;
+    default:         sevTag = '[UNS MAJOR]'; fg = C.issueMaj;  break;
+  }
+  return { tag: sevTag, fg, dim: false };
+}
+
 // ---------------------------------------------------------------------------
 // Panel
 // ---------------------------------------------------------------------------
@@ -228,6 +264,22 @@ export class WrfcPanel extends BasePanel {
             ['   Scores ', DEFAULT_PANEL_PALETTE.label],
             [selectedChain.reviewScores.length > 0 ? selectedChain.reviewScores.map((score) => score.toFixed(0)).join(' -> ') : 'none', DEFAULT_PANEL_PALETTE.info],
           ]),
+          ...(selectedChain.constraints.length > 0 ? [
+            buildPanelLine(width, (() => {
+              const total = selectedChain.constraints.length;
+              const findings = selectedChain.reviewerReport?.constraintFindings;
+              const satisfied = findings ? findings.filter(f => f.satisfied).length : 0;
+              const inherited = selectedChain.constraints.filter(c => c.source === 'inherited').length;
+              const inheritedPart = inherited > 0 ? ` (${inherited} inherited)` : '';
+              const satFg = !findings || findings.length === 0
+                ? DEFAULT_PANEL_PALETTE.dim
+                : satisfied === total ? C.constraintSat : C.constraintUnsat;
+              return [
+                [' Constraints ', DEFAULT_PANEL_PALETTE.label],
+                [`${satisfied} sat / ${total} total${inheritedPart}`, satFg],
+              ] as Array<[string, string]>;
+            })()),
+          ] : []),
         ]
       : [];
 
@@ -300,7 +352,15 @@ export class WrfcPanel extends BasePanel {
     const latestScore = chain.reviewScores.length > 0
       ? ` ${chain.reviewScores[chain.reviewScores.length - 1].toFixed(1)}/10`
       : '';
-    const rightInfo  = `${latestScore}${fixes}${cycles} `;
+    // Constraint badge: c:sat/total — only when constraints exist
+    let constraintBadge = '';
+    if (chain.constraints.length > 0) {
+      const total = chain.constraints.length;
+      const findings = chain.reviewerReport?.constraintFindings;
+      const satisfied = findings ? findings.filter(f => f.satisfied).length : 0;
+      constraintBadge = ` c:${satisfied}/${total}`;
+    }
+    const rightInfo  = `${latestScore}${fixes}${cycles}${constraintBadge} `;
 
     // Compute how much space the task text can use, then check if rightInfo fits.
     // If the terminal is narrow and rightInfo would overflow, omit it entirely
@@ -319,7 +379,32 @@ export class WrfcPanel extends BasePanel {
     ];
     if (remaining >= rightInfo.length + 1) {
       // Right-align rightInfo in the remaining space
-      segments.push({ text: rightInfo.padStart(remaining), fg: isSelected ? fg : C.label });
+      // Colour the constraint badge separately when present
+      if (chain.constraints.length > 0 && !isSelected) {
+        const total = chain.constraints.length;
+        const findings = chain.reviewerReport?.constraintFindings;
+        const satisfied = findings ? findings.filter(f => f.satisfied).length : 0;
+        // Determine badge colour
+        let badgeFg: string;
+        if (!findings || findings.length === 0) {
+          badgeFg = C.constraintUnv;
+        } else if (satisfied === total) {
+          badgeFg = C.constraintSat;
+        } else if (findings.some(f => !f.satisfied)) {
+          badgeFg = C.constraintUnsat;
+        } else {
+          badgeFg = C.reviewing; // some unverified but none failed
+        }
+        // Split: everything before the badge, then the badge
+        const badgeText = ` c:${satisfied}/${total}`;
+        const beforeBadge = rightInfo.slice(0, rightInfo.length - badgeText.length - 1);
+        const padding = remaining - rightInfo.length;
+        segments.push({ text: beforeBadge.padStart(padding + beforeBadge.length), fg: isSelected ? fg : C.label });
+        segments.push({ text: badgeText, fg: badgeFg });
+        segments.push({ text: ' ', fg: '' });
+      } else {
+        segments.push({ text: rightInfo.padStart(remaining), fg: isSelected ? fg : C.label });
+      }
     }
     // else: no room — makeSegmentedLine will pad with spaces to fill width
 
@@ -358,6 +443,35 @@ export class WrfcPanel extends BasePanel {
       ]));
     }
 
+    // Constraints section (between Cycles and Gates)
+    if (chain.constraints.length > 0 && lines.length < maxLines) {
+      lines.push(buildStyledPanelLine(width, [{ text: `${indent}Constraints`, fg: C.label }]));
+      const MAX_CONSTRAINTS = 10;
+      const findings = chain.reviewerReport?.constraintFindings;
+      const displayed = chain.constraints.slice(0, MAX_CONSTRAINTS);
+      for (const constraint of displayed) {
+        if (lines.length >= maxLines) break;
+        const marker = constraintStatusMarker(constraint, findings);
+        const inheritedMark = constraint.source === 'inherited' ? ' *' : '';
+        const statusTag = `${marker.tag}${inheritedMark}`;
+        const rowPrefix = `${indent}  ${statusTag}  `;
+        const textMax = Math.max(8, width - rowPrefix.length);
+        const constraintText = truncate(constraint.text, textMax);
+        lines.push(buildStyledPanelLine(width, [
+          { text: `${indent}  `, fg: C.dim },
+          { text: statusTag,      fg: marker.fg, dim: marker.dim, bold: !marker.dim },
+          { text: '  ',           fg: '' },
+          { text: constraintText, fg: C.value },
+        ]));
+      }
+      const remaining = chain.constraints.length - MAX_CONSTRAINTS;
+      if (remaining > 0 && lines.length < maxLines) {
+        lines.push(buildStyledPanelLine(width, [
+          { text: `${indent}  (+${remaining} more)`, fg: C.dim, dim: true },
+        ]));
+      }
+    }
+
     // Quality gate results
     if (chain.gateResults && chain.gateResults.length > 0) {
       lines.push(buildStyledPanelLine(width, [{ text: `${indent}Gates`, fg: C.label }]));
@@ -374,6 +488,21 @@ export class WrfcPanel extends BasePanel {
       }
     }
 
+    // Synthetic issues injected by controller (continuity violations)
+    if (chain.syntheticIssues && chain.syntheticIssues.length > 0 && lines.length < maxLines) {
+      lines.push(buildStyledPanelLine(width, [{ text: `${indent}Controller flags`, fg: C.issueCrit, bold: true }]));
+      for (const synthetic of chain.syntheticIssues) {
+        if (lines.length >= maxLines) break;
+        const prefix = `${indent}  [CRIT] `;
+        const descMax = Math.max(8, width - prefix.length);
+        const desc = truncate(synthetic.description, descMax);
+        lines.push(buildStyledPanelLine(width, [
+          { text: prefix, fg: C.issueCrit, bold: true },
+          { text: desc,   fg: C.value },
+        ]));
+      }
+    }
+
     // Issues from reviewer
     const issues = chain.reviewerReport?.issues ?? [];
     if (issues.length > 0 && lines.length < maxLines) {
@@ -458,6 +587,7 @@ export class WrfcPanel extends BasePanel {
       this.workflowEvents.on('WORKFLOW_CHAIN_FAILED', refresh),
       this.workflowEvents.on('WORKFLOW_AUTO_COMMITTED', refresh),
       this.workflowEvents.on('WORKFLOW_CASCADE_ABORTED', refresh),
+      this.workflowEvents.on('WORKFLOW_CONSTRAINTS_ENUMERATED', refresh),
     );
   }
 

package/src/renderer/agent-detail-modal.ts

@@ -1,9 +1,9 @@
-import { join } from 'path';
 import { readFile } from 'fs/promises';
 import { type Line } from '../types/grid.ts';
 import { ModalFactory } from './modal-factory.ts';
 import type { AgentManager } from '@pellux/goodvibes-sdk/platform/tools/agent/index';
 import type { AgentMessageBus } from '@pellux/goodvibes-sdk/platform/agents/message-bus';
+import type { WrfcController } from '@pellux/goodvibes-sdk/platform/agents/wrfc-controller';
 import { formatDuration } from './modal-utils.ts';
 import { logger } from '@pellux/goodvibes-sdk/platform/utils/logger';
 import { getOverlaySurfaceMetrics, getStableOverlayContentRows } from './overlay-viewport.ts';
@@ -19,6 +19,8 @@ export interface AgentDetailModalDeps {
   readonly agentManager: Pick<AgentManager, 'getStatus'>;
   readonly agentMessageBus: Pick<AgentMessageBus, 'getMessages'>;
   readonly sessionLogPathResolver: (agentId: string) => string;
+  /** Optional — when supplied, constraint data from the agent's WRFC chain is shown (SDK 0.23.0). */
+  readonly wrfcController?: Pick<WrfcController, 'getChain'>;
 }
 
 // ─── AgentDetailModal ─────────────────────────────────────────────────────────
@@ -176,6 +178,51 @@ export function renderAgentDetailModal(
   sections.push({ type: 'text', content: `Tool calls : ${rec.toolCallCount}` });
   sections.push({ type: 'text', content: `Est tokens : ~${tokenEst.toLocaleString()}` });
 
+  // SDK 0.23.0: systemPromptAddendum indicator — confirms WRFC constraint addendum was injected
+  if (rec.systemPromptAddendum) {
+    sections.push({
+      type: 'text',
+      content: 'Addendum   : yes (WRFC constraint layer injected)',
+      style: { fg: '#aaffee' },
+    });
+  }
+
+  // SDK 0.23.0: constraint data from WRFC chain (engineer constraints + reviewer findings)
+  if (rec.wrfcId && modal.deps.wrfcController) {
+    try {
+      const chain = modal.deps.wrfcController.getChain(rec.wrfcId);
+      if (chain && chain.constraints.length > 0) {
+        sections.push({ type: 'separator' });
+        sections.push({
+          type: 'text',
+          content: `Constraints (${chain.constraints.length}):`,
+          style: { dim: true },
+        });
+        for (const c of chain.constraints) {
+          const src = c.source === 'inherited' ? ' [inherited]' : '';
+          const text = c.text.length > 80 ? c.text.slice(0, 77) + '…' : c.text;
+          sections.push({
+            type: 'text',
+            content: `  [${c.id}]${src} ${text}`,
+            style: { fg: '246' },
+          });
+        }
+        // Reviewer constraint findings (if review has completed)
+        const findings = chain.reviewerReport?.constraintFindings;
+        if (findings && findings.length > 0) {
+          const unsatisfied = findings.filter((f) => !f.satisfied);
+          sections.push({
+            type: 'text',
+            content: `Findings   : ${findings.length} checked, ${unsatisfied.length} unsatisfied`,
+            style: { fg: unsatisfied.length > 0 ? '#ff6666' : '#44ff88' },
+          });
+        }
+      }
+    } catch {
+      // wrfcController.getChain throws when chain not found — normal during teardown
+    }
+  }
+
   // Progress
   if (rec.progress) {
     sections.push({ type: 'separator' });

package/src/renderer/panel-composite.ts

@@ -24,9 +24,9 @@ import { renderPanelWorkspaceBar } from './panel-workspace-bar.ts';
  * path (e.g. deferred lazy-load) should call `this.invalidate()` AFTER the
  * trailing work so the next frame picks it up.
  *
- * If this becomes a real bug, the fix is to snapshot `needsRender` before
- * calling `render()` and only `markRendered()` if the snapshot was true —
- * preserving any concurrent invalidation. Deferred pending more evidence.
+ * The fix (now applied): snapshot `needsRender` before calling `render()` and
+ * only call `markRendered()` when no concurrent invalidation occurred during
+ * the render pass — preserving any mid-render invalidation.
  */
 interface PanelRenderCache {
   lines: Line[];
@@ -34,15 +34,52 @@ interface PanelRenderCache {
   height: number;
 }
 const panelRenderCache = new WeakMap<Panel, PanelRenderCache>();
+/**
+ * Per-panel render-generation counter. Incremented whenever invalidate() fires
+ * on the panel (tracked here externally since Panel does not expose a version).
+ * We monkey-patch each panel the first time it enters renderPanel() by wrapping
+ * its invalidate() to bump the counter stored in this map.
+ *
+ * Race-guard: snapshot the generation before render(), compare after. If it
+ * changed, a mid-render invalidation occurred — leave needsRender=true.
+ */
+const panelRenderGen = new WeakMap<Panel, { gen: number }>();
+
+function getRenderGenState(panel: Panel): { gen: number } {
+  let state = panelRenderGen.get(panel);
+  if (!state) {
+    state = { gen: 0 };
+    panelRenderGen.set(panel, state);
+    // Wrap invalidate() to bump generation counter.
+    const origInvalidate = panel.invalidate.bind(panel);
+    panel.invalidate = () => {
+      state!.gen++;
+      origInvalidate();
+    };
+  }
+  return state;
+}
 
 /** R2: Render a panel, skipping if nothing changed. Returns cached lines on a skip. */
-function renderPanel(panel: Panel, width: number, height: number): Line[] {
+export function renderPanel(panel: Panel, width: number, height: number): Line[] {
   const cached = panelRenderCache.get(panel);
   if (cached && !panel.needsRender && cached.width === width && cached.height === height) {
     return cached.lines;
   }
+  // Snapshot render-generation counter BEFORE calling render(). If an event
+  // listener fires during render() and calls panel.invalidate(), the generation
+  // counter will be bumped. We compare after render to detect mid-render races.
+  const genState = getRenderGenState(panel);
+  const genBefore = genState.gen;
   const lines = panel.render(width, height);
-  panel.markRendered();
+  // Only call markRendered() when no mid-render invalidation occurred.
+  // If the generation changed during render(), a concurrent invalidate() fired —
+  // leave needsRender=true so the next frame re-renders with the new state.
+  if (genState.gen === genBefore) {
+    panel.markRendered();
+  }
+  // If gen changed, needsRender is already true (invalidate() set it); do not
+  // call markRendered() — the next frame will pick it up.
   panelRenderCache.set(panel, { lines, width, height });
   return lines;
 }

package/src/renderer/panel-workspace-bar.ts

@@ -17,7 +17,11 @@ export function renderPanelWorkspaceBar(
   return renderTabStrip({
     width,
     tabs: tabs.map((tab) => ({
-      label: `${tab.pane === 'bottom' ? 'v' : '^'} ${tab.icon} ${tab.name}`,
+      // tab.active = selected in its own pane (drives highlighted background).
+      // tab.focused = has keyboard focus (drives brighter text / focus indicator).
+      // A tab can be active-but-not-focused (selected in the unfocused pane) or
+      // active-and-focused (selected in the focused pane).
+      label: `${tab.pane === 'bottom' ? 'v' : '^'} ${tab.icon} ${tab.name}${tab.focused ? ' ▸' : ''}`,
       active: tab.active,
     })),
     prefixLabel: ' PANELS ',

package/src/renderer/process-modal.ts

@@ -60,7 +60,11 @@ function buildAgentLabel(rec: AgentRecord, deps: ProcessModalDeps): string {
     const attemptMatch = task.match(/Fix attempt:\s*(\d+)/);
     const attempt = attemptMatch ? attemptMatch[1] : '?';
     const desc = truncateFirst(originalTask ?? 'fix in progress', 45);
-    return `[Fix #${attempt}] ${desc}  (${fromScore} \u2192 ${toScore}/10)`;
+    // Show constraint count when the chain has constraints to target (SDK 0.23.0)
+    const chain = rec.wrfcId ? (() => { try { return deps.wrfcController.getChain(rec.wrfcId!); } catch { return null; } })() : null;
+    const constraintCount = chain && chain.constraints.length > 0 ? chain.constraints.length : 0;
+    const constraintSuffix = constraintCount > 0 ? `  [${constraintCount}c]` : '';
+    return `[Fix #${attempt}] ${desc}  (${fromScore} \u2192 ${toScore}/10)${constraintSuffix}`;
   }
 
   // Regular agent — show template and truncated first line

package/src/runtime/bootstrap-core.ts

@@ -292,6 +292,64 @@ export async function initializeBootstrapCore(
     wrfcController: services.wrfcController,
   });
 
+  // ── TUI-specific WRFC constraint-propagation event subscriptions (SDK 0.23.0) ──
+  // These supplement the SDK's registerBootstrapRuntimeEvents which handles the
+  // core WORKFLOW_REVIEW_COMPLETED / WORKFLOW_CHAIN_CREATED messages.
+  // The SDK does not surface constraint-specific system messages; the TUI layer
+  // adds them here so operators can observe constraint enumeration and violations
+  // in the SystemMessagesPanel and main conversation.
+  runtimeUnsubs.push(
+    runtimeBus.on<Extract<import('@pellux/goodvibes-sdk/platform/runtime/events/index').WorkflowEvent, { type: 'WORKFLOW_CONSTRAINTS_ENUMERATED' }>>(
+      'WORKFLOW_CONSTRAINTS_ENUMERATED',
+      ({ payload }) => {
+        const router = systemMessageRouterRef.value;
+        if (!router) return;
+        const count = payload.constraints.length;
+        if (count > 0) {
+          router.wrfc(
+            `[WRFC] Engineer enumerated ${count} constraint${count !== 1 ? 's' : ''} for chain ${payload.chainId.slice(0, 12)}`,
+            'low',
+          );
+        }
+        requestRender();
+      },
+    ),
+  );
+  runtimeUnsubs.push(
+    runtimeBus.on<Extract<import('@pellux/goodvibes-sdk/platform/runtime/events/index').WorkflowEvent, { type: 'WORKFLOW_FIX_ATTEMPTED' }>>(
+      'WORKFLOW_FIX_ATTEMPTED',
+      ({ payload }) => {
+        const router = systemMessageRouterRef.value;
+        if (!router) return;
+        const targetIds = payload.targetConstraintIds;
+        if (targetIds && targetIds.length > 0) {
+          router.wrfc(
+            `[WRFC] Fix #${payload.attempt} targeting ${targetIds.length} constraint${targetIds.length !== 1 ? 's' : ''} on chain ${payload.chainId.slice(0, 12)}`,
+            'low',
+          );
+          requestRender();
+        }
+      },
+    ),
+  );
+  runtimeUnsubs.push(
+    runtimeBus.on<Extract<import('@pellux/goodvibes-sdk/platform/runtime/events/index').WorkflowEvent, { type: 'WORKFLOW_REVIEW_COMPLETED' }>>(
+      'WORKFLOW_REVIEW_COMPLETED',
+      ({ payload }) => {
+        const router = systemMessageRouterRef.value;
+        if (!router) return;
+        const unsatisfied = payload.unsatisfiedConstraintIds;
+        if (!payload.passed && unsatisfied && unsatisfied.length > 0) {
+          router.wrfc(
+            `[WRFC] ✗ Chain ${payload.chainId.slice(0, 12)}: ${unsatisfied.length} constraint violation${unsatisfied.length !== 1 ? 's' : ''} forced failure`,
+            'high',
+          );
+          requestRender();
+        }
+      },
+    ),
+  );
+
   // Subscribe to companion main-chat messages received from the daemon's HTTP layer.
   // The daemon emits COMPANION_MESSAGE_RECEIVED on the runtime bus when a companion
   // POST /api/sessions/:id/messages with kind='message' arrives.

package/src/version.ts

@@ -6,7 +6,7 @@ import { join } from 'node:path';
 // The prebuild script updates the fallback value before compilation.
 // Uses import.meta.dir (Bun) to locate package.json relative to this file,
 // which is correct regardless of the process working directory.
-let _version = '0.19.22';
+let _version = '0.19.24';
 try {
   const pkg = JSON.parse(readFileSync(join(import.meta.dir, '..', 'package.json'), 'utf-8'));
   _version = pkg.version ?? _version;