feat: WS checker，支持可达性检测和单次请求-响应交互验证

docs/user/checkers/README.md

@@ -16,6 +16,7 @@ Checker 是 DiAL 的拨测执行单元。每个 target 通过 `type` 选择一
 | `icmp` | 基于系统 `ping` 的存活、延迟、丢包检查 | [ICMP](icmp.md) |
 | `dns`  | 本机解析或指定 DNS server 协议级检查   | [DNS](dns.md)   |
 | `llm`  | 大模型服务应用层健康检查               | [LLM](llm.md)   |
+| `ws`   | WebSocket 可达性和消息交互检查         | [WS](ws.md)     |
 
 ## 选择建议
 
@@ -29,6 +30,7 @@ Checker 是 DiAL 的拨测执行单元。每个 target 通过 `type` 选择一
 | 主机可达性、延迟、丢包率           | `icmp`       |
 | 域名解析值、DNS RCODE、TTL、flags  | `dns`        |
 | LLM API 是否可用、输出是否符合预期 | `llm`        |
+| WebSocket 可达性或消息交互验证     | `ws`         |
 
 ## 通用字段
 

docs/user/checkers/ws.md

@@ -0,0 +1,81 @@
+# WS Checker
+
+`type: ws` 用于 WebSocket 服务可达性检查和消息交互验证。
+
+## 配置项
+
+| 字段                 | 说明                                           | 必填 | 默认值  |
+| -------------------- | ---------------------------------------------- | ---- | ------- |
+| `ws.url`             | 目标 URL，必须以 `ws://` 或 `wss://` 开头      | 是   | 无      |
+| `ws.headers`         | 握手 HTTP 头                                   | 否   | `{}`    |
+| `ws.subprotocols`    | 子协议协商                                     | 否   | `[]`    |
+| `ws.ignoreSSL`       | 忽略 TLS 证书校验                              | 否   | `false` |
+| `ws.send`            | 发送的 text 消息，配置后进入请求-响应模式      | 否   | 无      |
+| `ws.receiveTimeout`  | 等待响应超时，毫秒                             | 否   | `5000`  |
+| `ws.maxMessageBytes` | 单条消息最大字节数，支持 `KB`、`MB`、`GB` 单位 | 否   | `4KB`   |
+
+## expect 校验项
+
+| 字段               | 说明                                                                  | 必填 | 默认值 |
+| ------------------ | --------------------------------------------------------------------- | ---- | ------ |
+| `connected`        | 期望连接结果，`true` 可达或 `false` 期望不可达                        | 否   | `true` |
+| `handshakeHeaders` | 握手响应头校验，使用 `KeyedExpectations`                              | 否   | 无     |
+| `message`          | 收到的消息内容校验，使用 `ContentExpectations` 数组，需配置 `ws.send` | 否   | 无     |
+| `connectTimeMs`    | 连接建立耗时校验，使用 `ValueMatcher`                                 | 否   | 无     |
+| `durationMs`       | 完整执行耗时校验，使用 `ValueMatcher`                                 | 否   | 无     |
+
+## 两种模式
+
+不配置 `ws.send` 时只做可达性检查（连接后立即关闭），配置 `ws.send` 后进入请求-响应模式（发送消息并等待首条响应）。
+
+## 示例
+
+可达性检查：
+
+```yaml
+- id: "ws-reachability"
+  name: "WebSocket 服务可达"
+  type: ws
+  ws:
+    url: "wss://api.example.com/ws"
+  expect:
+    durationMs:
+      lte: 3000
+```
+
+带鉴权的请求-响应：
+
+```yaml
+- id: "ws-echo"
+  name: "WebSocket Echo 检查"
+  type: ws
+  ws:
+    url: "wss://echo.example.com/ws"
+    headers:
+      Authorization: "Bearer ${TOKEN}"
+    subprotocols: ["json"]
+    send: '{"action":"ping"}'
+    receiveTimeout: 3000
+  expect:
+    handshakeHeaders:
+      Sec-WebSocket-Protocol:
+        equals: "json"
+    message:
+      - json:
+          path: "$.action"
+          equals: "pong"
+    durationMs:
+      lte: 5000
+```
+
+期望不可达：
+
+```yaml
+- id: "ws-internal-down"
+  name: "内部服务已下线"
+  type: ws
+  ws:
+    url: "ws://internal.monitor:9443/ws"
+  expect:
+    connected: false
+```

docs/user/configuration.md

@@ -121,7 +121,7 @@ targets:
 | `id`          | 目标唯一标识，最长 30 字符，支持字母数字、下划线、连字符，不参与变量替换             | 是   | 无        |
 | `name`        | 展示名称，最长 30 字符，支持变量替换，可省略或显式 null；前端展示时 null 回退到 `id` | 否   | 无        |
 | `description` | 目标描述，最长 500 字符，支持变量替换，可省略或显式 null，允许空字符串               | 否   | 无        |
-| `type`        | 目标类型：`http`、`cmd`、`db`、`tcp`、`udp`、`dns`、`icmp`、`llm`                    | 是   | 无        |
+| `type`        | 目标类型：`http`、`cmd`、`db`、`tcp`、`udp`、`dns`、`icmp`、`llm`、`ws`              | 是   | 无        |
 | `group`       | 分组名称                                                                             | 否   | `default` |
 | `interval`    | 拨测间隔                                                                             | 否   | `30s`     |
 | `timeout`     | 超时时间                                                                             | 否   | `10s`     |

docs/user/expectations.md

@@ -50,12 +50,13 @@ API 返回的检查结果包含 `detail` 和 `observation`。
 | ICMP    | 存活结果、丢包率、平均延迟、最大延迟                               |
 | DNS     | RCODE、记录值、TTL、flags、CNAME 链                                |
 | LLM     | HTTP 状态、模型输出、finish reason、token usage、流式首 token 时间 |
+| WS      | 连接结果、连接耗时、握手头、消息内容、消息大小                     |
 
 Dashboard 基于存储的检查结果计算实时状态、可用率、耗时趋势、P95、状态条和故障段等指标。指标语义由后端应用层实现，SQLite 主要负责存储、筛选、排序、分页和基础聚合。
 
 ## ContentExpectations
 
-`body`、`stdout`、`stderr`、`banner`、`response`、`output`、`result` 等返回内容字段均使用数组。
+`body`、`stdout`、`stderr`、`banner`、`response`、`output`、`result`、`message` 等返回内容字段均使用数组。
 
 | 规则       | 说明                                                   |
 | ---------- | ------------------------------------------------------ |
@@ -139,6 +140,7 @@ expect:
 | DNS server | `responded -> rcode -> values -> valueCount -> answerCount -> ttlMin -> ttlMax -> authoritative -> recursionAvailable -> truncated -> authenticatedData -> result -> durationMs` |
 | LLM http   | `status -> headers -> output -> finishReason -> rawFinishReason -> usage -> durationMs`                                                                                          |
 | LLM stream | `status -> headers -> stream.completed -> stream.firstTokenMs -> output -> finishReason -> rawFinishReason -> usage -> durationMs`                                               |
+| WS         | `connected -> handshakeHeaders -> message -> connectTimeMs -> durationMs`                                                                                                        |
 
 ## JSON Schema