fix(workbench): keep provider retry diagnostics non-terminal

internal/cloud/code-agent-agentrun-adapter.ts

@@ -2473,6 +2473,7 @@ function mapAgentRunEvent(event, mapping = {}) {
 
 function agentRunProviderRetryEvent({ base = {}, payload = {}, status = "retrying", label = "agentrun:provider-retry" } = {}) {
   const failureKind = normalizedFailureKind(payload.failureKind ?? payload.errorCode ?? "provider-stream-disconnected");
+  const retryMessage = providerRetryMessage(textPayload(payload, "Provider stream disconnected; AgentRun will retry."), payload);
   return {
     ...base,
     type: "provider_retry",
@@ -2491,11 +2492,28 @@ function agentRunProviderRetryEvent({ base = {}, payload = {}, status = "retryin
     nextRetryAt: firstNonEmpty(payload.nextRetryAt) || null,
     retryOf: payload.retryOf ?? null,
     terminalStatus: payload.terminalStatus ?? null,
-    message: textPayload(payload, "Provider stream disconnected; AgentRun will retry."),
+    message: retryMessage,
     valuesPrinted: false
   };
 }
 
+function providerRetryMessage(message, payload = {}) {
+  const attempt = numberOrNull(payload.retryAttempt);
+  const max = numberOrNull(payload.retryMax);
+  const delayMs = numberOrNull(payload.retryDelayMs);
+  const nextRetryAt = firstNonEmpty(payload.nextRetryAt) || null;
+  const parts = [];
+  if (attempt !== null && max !== null) parts.push(`retry ${attempt}/${max}`);
+  else if (attempt !== null) parts.push(`retry attempt ${attempt}`);
+  else if (max !== null) parts.push(`retry max ${max}`);
+  if (delayMs !== null) parts.push(`after ${delayMs}ms`);
+  if (nextRetryAt) parts.push(`next=${nextRetryAt}`);
+  if (parts.length === 0) return message;
+  const text = String(message || "Provider stream disconnected; AgentRun will retry.").trim();
+  if (attempt !== null && max !== null && text.includes(`${attempt}/${max}`)) return text;
+  return text.replace(/[.。]\s*$/u, "") + `; ${parts.join(" ")}.`;
+}
+
 function isRetryableProviderInterruptionPayload(payload = {}, options = {}) {
   const kind = normalizedFailureKind(payload?.failureKind ?? payload?.errorCode ?? payload?.code);
   if (kind === "provider-stream-disconnected") return payload?.willRetry === true;