fix: tidy opencode smoke post-task guidance

docs/reference/hwlab.md

@@ -117,9 +117,9 @@ Workbench prompt、TraceTimeline、final response、详情弹窗、session 切
 
 HWLAB 接入 OpenCode 时，默认采用独立 `opencode-server` Pod 和独立 public hostname，通过 Cloud Web 的 `/opencode` 导航与 iframe 集成；不要把 OpenCode UI 与 HWLAB Cloud Web 合并到同一个 Pod，也不要让 public OpenCode hostname 直接暴露 OpenCode Basic Auth。Cloud Web 继续拥有 HWLAB 登录态和同源 session，OpenCode public hostname 应先经过 Cloud Web 鉴权代理；未登录访问 OpenCode host 的健康或 API 路径时，预期是 Cloud Web 的鉴权失败响应，而不是浏览器 Basic Auth 弹窗。
 
-OpenCode provider/model、public hostname、SecretRef 和 extra FRP proxy 都必须从 issue/CLI 选中的 node/lane YAML 与目标 HWLAB repo render 读取；长期参考不硬编码当前模型或端口。关闭 OpenCode 集成、provider profile 或微前端入口类 issue 时，最小证据应来自选中 node/lane 的 `web-probe script`：登录 HWLAB public origin，打开 `/opencode`，确认 iframe origin、OpenCode `/global/health`、`/config` 中的 provider/model、`/session` 创建，以及 `/session/:id/message` 返回的 providerID、modelID、terminal finish 和最终 assistant text。只看到 `opencode-server` Pod ready、Caddy hostname 200 或 Secret 存在，不能替代这个浏览器入口 smoke。
+OpenCode provider/model、public hostname、SecretRef 和 extra FRP proxy 都必须从 issue/CLI 选中的 node/lane YAML 与目标 HWLAB repo render 读取；长期参考不硬编码当前模型或端口。关闭 OpenCode 集成、provider profile 或微前端入口类 issue 时，最小浏览器证据优先使用选中 node/lane 的 `web-probe opencode-smoke`：登录 HWLAB public origin，打开 `/opencode`，定位 iframe/direct OpenCode origin，打开 project/composer，点击可见 submit，确认最终 assistant 文本和 EventSource 终态事件。只有需要额外核对 `/global/health`、`/config` 或底层 `/session/:id/message` payload 时，才补 `web-probe script` 做 bounded API drill-down。只看到 `opencode-server` Pod ready、Caddy hostname 200 或 Secret 存在，不能替代浏览器入口 smoke。
 
-排查 OpenCode 对话长时间停在 `Thinking` 或无 assistant 文本时，先拆分 provider 完成、Cloud Web 代理长连接和 UI live state 三层事实。provider 侧必须按 `opencode-provider-proxy` service 明确查 OTel，确认 `/v1/chat/completions` 状态、耗时、content chunk、reasoning-only drop 和 done line；Cloud Web 侧必须能看到 `/global/event` 的 `opencode.proxy.stream.start` span，以及 `opencode.proxy.sse.directory_rewrite_enabled`、`from=/workspace`、`to=/`、`ticket_accepted=true` 等属性。关闭证据必须包含浏览器 DOM 最终 assistant 文本、没有残留 `Thinking`，以及 EventSource 收到 `message.part.updated`、`step-finish`、`session.idle` 等事件；provider 200 或 `/session/:id/message` 返回 terminal 不能单独证明 UI 已收敛。OpenCode composer smoke 应优先点击可见的 `[data-action='prompt-submit']` 提交按钮；只依赖 Enter 在 contenteditable 状态下不稳定。
+排查 OpenCode 对话长时间停在 `Thinking` 或无 assistant 文本时，先拆分 provider 完成、Cloud Web 代理长连接和 UI live state 三层事实。provider 侧必须按 `opencode-provider-proxy` service 明确查 OTel，确认 `/v1/chat/completions` 状态、耗时、content chunk、reasoning-only drop 和 done line；Cloud Web 侧必须能看到 `/global/event` 的 `opencode.proxy.stream.start` span，以及 `opencode.proxy.sse.directory_rewrite_enabled`、`from=/workspace`、`to=/`、`ticket_accepted=true` 等属性。关闭证据必须包含 `web-probe opencode-smoke` 或等价浏览器 DOM 的最终 assistant 文本、没有残留 `Thinking`，以及 EventSource 收到 `message.part.updated`、`step-finish`、`session.idle` 等事件；provider 200 或 `/session/:id/message` 返回 terminal 不能单独证明 UI 已收敛。OpenCode composer smoke 应优先点击可见的 `[data-action='prompt-submit']` 提交按钮；只依赖 Enter 在 contenteditable 状态下不稳定。
 
 ## HWLAB FRP 维护
 

docs/reference/observability.md

@@ -61,6 +61,12 @@ OA Event Flow 的高频 trace 统计不得把每个 `trace-stats-updated` 投影
 
 CLI 写 stdout/stderr 遇到下游 pipe 关闭的 `EPIPE` 必须安静退出，不能打印 Bun stack trace。常见验证命令是 `set -o pipefail; bun scripts/cli.ts server status | head -1`，应只看到第一行 JSON 而无额外错误噪声。
 
+## OpenCode Trace Search
+
+HWLAB OpenCode 对话排障时，`platform-infra observability search --grep` 是首选入口，而不是默认手写宽泛 TraceQL。`--grep opencode.proxy.stream.start` 应推断为 span name 查询，`--grep /global/event` 应推断为 route 查询，`--grep opencode.proxy.sse.directory_rewrite_enabled=true` 应推断为属性 bool 查询；候选 trace 取回后还必须在 raw body、span name、status message、route 和 full span attributes 中做二次匹配。默认输出必须披露 `grepCoverage` 和 `grepQueryInference`，无命中时给出显式 TraceQL 与扩大 candidate/window 的下一步。
+
+OpenCode provider 侧至少保留 `opencode.provider.sse.content_chunks`、`content_chars`、`output_data_lines`、`done_lines`、`json_errors` 和 `reasoning_only_choices_dropped` 等属性摘要；Cloud Web `/global/event` 侧至少保留 `opencode.proxy.stream.start`、`opencode.proxy.sse.directory_rewrite_enabled`、directory rewrite from/to、`opencode.proxy.ticket_accepted` 和 streaming 标记。OTel 只能证明链路状态，关闭 UI 卡住类问题仍必须回到 `web-probe opencode-smoke` 或等价浏览器 DOM/EventSource 终态证据。
+
 ## Task Liveness
 
 backend-core 必须把 queued、dispatched、running 视为待处理任务，并通过 `TASK_PENDING_TIMEOUT_MS` 对长时间没有 provider 终态回报的任务做超时处理。超时任务转为 failed，result 中保留 timeout、previousStatus 和 previousResult 摘要，避免 `态势总览` 的待处理数量长期卡住且无法解释。