DSH 学习 · SDK 与线协议
SDK 客户端和 runtime server 之间是按行分隔的 JSON-RPC:request 带 id、response 认领同一 id;notification 没有 id,单向推送不等待回应。服务端错误走 response 通道(JsonRpcResponseError),行传输保持可用——协议内失败不等于断线。initialize 必须是对话的第一句,此前的业务请求会被拒绝。
先押一个注:客户端还没 initialize 就发 session/start——服务器怎么回应?
消息序列
左箭头是发往服务器,右箭头是回到客户端。response 认领 request 的 id;notification 单向流动。悬停看每条消息的说明。
独立校验
独立校验自己重算顺序约束与通知的单向性;它不读渲染层的任何中间量。
证据边界