寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「安全外壳协议」之「派钥」之书。

「：文言：一轮待换钥之态，存首会话号、新发收钥与 IV，末二爻记各向既启。汉语：重协商状态包含固定 session_id、待启用的双向密钥和 IV，以及发送、接收方向的切换标志。：」
「重换钥状态」立「元类型」也。
  「待换钥」立（化（「字节串」合「字节串」合「字节串」合「字节串」合「字节串」合「爻」合「爻」）而「重换钥状态」）也。

「：文言：新密与新哈希派双向钥，首会话号仍旧，不得以今哈希易之。汉语：用本轮 K/H 和首次 session_id 派生新钥；客户端和服务端按方向映射。：」
「准备重换钥」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「爻」而
  「重换钥状态」
也。
「准备重换钥」者会「首会话号」而会「新共密」而会「新哈希」而会「是客户」而
  虑「客发」者
    「派生客户发送GCM钥」于「新共密」于「新哈希」于「首会话号」而
    虑「服发」者
      「派生客户接收GCM钥」于「新共密」于「新哈希」于「首会话号」而
    若「是客户」则
      「待换钥」于（「首会话号」与（「客发」中「零」）与（「客发」中「一」）与（「服发」中「零」）与（「服发」中「一」）
        与「阴」与「阴」）
    否则
      「待换钥」于（「首会话号」与（「服发」中「零」）与（「服发」中「一」）与（「客发」中「零」）与（「客发」中「一」）
        与「阴」与「阴」）
也。

「：文言：NEWKEYS 既以旧发钥送毕，方易发向钥；重易则拒。汉语：成功发送旧钥加密的 NEWKEYS 后切换发送方向；返回新状态、发送钥和初始 IV。：」
「切换重换发送钥」乃
  化「重换钥状态」而
  （「或可有」于（「重换钥状态」合「字节串」合「字节串」））
也。
「切换重换发送钥」者会「状态」而
  鉴「状态」而
    有（「待换钥」于「字段」）则（
      若「字段」中「五」则
        「可无」
      否则
        「可有」于（（「待换钥」于（（「字段」中「零」）与（「字段」中「一」）与（「字段」中「二」）
          与（「字段」中「三」）与（「字段」中「四」）与「阳」与（「字段」中「六」）））与（「字段」中「一」）
            与（「字段」中「二」）
        ）
    ）
也。

「：文言：验旧收钥之 NEWKEYS 后，方易收向钥；重易则拒。汉语：用旧接收钥认证 NEWKEYS 后切换接收方向；返回新状态、接收钥和初始 IV。：」
「切换重换接收钥」乃
  化「重换钥状态」而
  （「或可有」于（「重换钥状态」合「字节串」合「字节串」））
也。
「切换重换接收钥」者会「状态」而
  鉴「状态」而
    有（「待换钥」于「字段」）则（
      若「字段」中「六」则
        「可无」
      否则
        「可有」于（（「待换钥」于（（「字段」中「零」）与（「字段」中「一」）与（「字段」中「二」）
          与（「字段」中「三」）与（「字段」中「四」）与（「字段」中「五」）与「阳」））与（「字段」中「三」）
            与（「字段」中「四」）
        ）
    ）
也。

「：文言：双向皆启乃毕，可继通常会话。汉语：只有发送和接收方向都完成切换，重协商才结束。：」
「重换钥完成吗」乃化「重换钥状态」而「爻」也。
「重换钥完成吗」者会「状态」而
  鉴「状态」而
    有（「待换钥」于「字段」）则（
      若「字段」中「五」则「字段」中「六」否则「阴」）
也。

「：文言：取首会话号，不随新哈希而改。汉语：读取重协商状态保存的首次 session_id。：」
「重换钥会话号」乃化「重换钥状态」而「字节串」也。
「重换钥会话号」者会「状态」而
  鉴「状态」而
    有（「待换钥」于「字段」）则「字段」中「零」
也。
