@pellux/goodvibes-tui 0.19.22 → 0.19.23

package/CHANGELOG.md

@@ -4,6 +4,50 @@ All notable changes to GoodVibes TUI.
 
 ---
 
+## [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.23-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.23",
   "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/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/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/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.23';
 try {
   const pkg = JSON.parse(readFileSync(join(import.meta.dir, '..', 'package.json'), 'utf-8'));
   _version = pkg.version ?? _version;