寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「数学运算」之「安全随机」之书。
寻观「安全外壳协议」之「协商」之书。
寻观「安全外壳协议」之「密钥交换」之书。
寻观「安全外壳会话」之「重换钥」之书。

「服务端重换名称列」乃化「字节串」而化「整数」而「字节串」也。
「服务端重换名称列」者会「载荷」而会「序」而
  鉴「读取协商名称列」于「载荷」于「序」而
    有（「可有」于「列文」）则「列文」
    或有「可无」则
      「发生事故」授以「字节串」于『重换钥缺少协商名称列』
也。

「服务端重换客户公钥」乃化「字节串」而「字节串」也。
「服务端重换客户公钥」者会「载荷」而
  鉴「读取曲线换钥初报」于「载荷」而
    有（「可有」于「公钥」）则「公钥」
    或有「可无」则
      「发生事故」授以「字节串」于『重换钥曲线初报非法』
也。

「：文言：验双向曲线、主钥、密法与无压缩，生成三十一号回报及待换钥态；首会话号不易。汉语：验证本轮 KEXINIT 算法和客户端 ECDH_INIT，生成服务端 ECDH_REPLY 及保留首次 session_id 的待切换密钥状态；调用方负责发送与 NEWKEYS 边界。：」
「准备服务端重换钥回报」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「字节串」而
  （「字节串」合「重换钥状态」）
也。
「准备服务端重换钥回报」者
  会「客户版本」而
  会「服务版本」而
  会「客户协商」而
  会「服务协商」而
  会「曲线初报」而
  会「主种」而
  会「首会话号」而
  虑「无」者
    若「协商载荷可用吗」于「客户协商」则「元」否则「发生事故」授以「有」
    于『重换钥客户 KEXINIT 非法』
  而
  虑「无」者
    若「协商载荷可用吗」于「服务协商」则「元」否则「发生事故」授以「有」
    于『重换钥服务 KEXINIT 非法』
  而
  虑「客户曲线」者「服务端重换名称列」于「客户协商」于「零」而
  虑「客户主钥」者「服务端重换名称列」于「客户协商」于「一」而
  虑「客户客发密」者「服务端重换名称列」于「客户协商」于「二」而
  虑「客户服发密」者「服务端重换名称列」于「客户协商」于「三」而
  虑「客户客发压」者「服务端重换名称列」于「客户协商」于「六」而
  虑「客户服发压」者「服务端重换名称列」于「客户协商」于「七」而
  虑「可用曲线」者
    「名称列含名吗」于「客户曲线」于（「字符串转字节串」于『curve25519-sha256』）而
    虑「可用主钥」者
      「名称列含名吗」于「客户主钥」于（「字符串转字节串」于『ssh-ed25519』）
    而
    虑「可用客发密」者
      「名称列含名吗」于「客户客发密」于（「字符串转字节串」于『aes256-gcm@openssh.com』）
    而
    虑「可用服发密」者
      「名称列含名吗」于「客户服发密」于（「字符串转字节串」于『aes256-gcm@openssh.com』）
    而
    虑「可用客发压」者
      「名称列含名吗」于「客户客发压」于（「字符串转字节串」于『none』）
    而
    虑「可用服发压」者
      「名称列含名吗」于「客户服发压」于（「字符串转字节串」于『none』）
    而
    虑「无」者
      若「可用曲线」则「元」否则「发生事故」授以「有」于『重换钥无共同曲线』
    而
    虑「无」者
      若「可用主钥」则「元」否则「发生事故」授以「有」于『重换钥无共同主钥』
    而
    虑「无」者
      若「可用客发密」则「元」否则「发生事故」授以「有」
      于『重换钥客户发送密法不符』
    而
    虑「无」者
      若「可用服发密」则「元」否则「发生事故」授以「有」
      于『重换钥服务发送密法不符』
    而
    虑「无」者
      若「可用客发压」则「元」否则「发生事故」授以「有」
      于『重换钥客户发送压缩不符』
    而
    虑「无」者
      若「可用服发压」则「元」否则「发生事故」授以「有」
      于『重换钥服务发送压缩不符』
    而
    虑「无」者
      若「名称列含名吗」于（「服务端重换名称列」于「服务协商」于「零」）
      于（「字符串转字节串」于『curve25519-sha256』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端曲线未提供』
    而
    虑「无」者
      若「名称列含名吗」于（「服务端重换名称列」于「服务协商」于「一」）
      于（「字符串转字节串」于『ssh-ed25519』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端主钥未提供』
    而
    虑「无」者
      若「名称列含名吗」
        于（「服务端重换名称列」于「服务协商」于「二」）
        于（「字符串转字节串」于『aes256-gcm@openssh.com』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端接收密法未提供』
    而
    虑「无」者
      若「名称列含名吗」
        于（「服务端重换名称列」于「服务协商」于「三」）
        于（「字符串转字节串」于『aes256-gcm@openssh.com』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端发送密法未提供』
    而
    虑「无」者
      若「名称列含名吗」于（「服务端重换名称列」于「服务协商」于「六」）
      于（「字符串转字节串」于『none』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端接收压缩未提供』
    而
    虑「无」者
      若「名称列含名吗」于（「服务端重换名称列」于「服务协商」于「七」）
      于（「字符串转字节串」于『none』）则「元」
      否则
        「发生事故」授以「有」于『重换钥服务端发送压缩未提供』
    而
    虑「客户公钥」者「服务端重换客户公钥」于「曲线初报」而
    虑「新种」者「获取安全随机字节串」于「三二」而
    虑「回报与密哈」者
      「生成曲线服务端回报」于「客户版本」于「服务版本」于「客户协商」于「服务协商」于「客户公钥」于「新种」于「主种」
    而
    （「回报与密哈」中「零」）
      与（「准备重换钥」于「首会话号」于（「回报与密哈」中「一」）于（「回报与密哈」中「二」）于「阴」）
也。
