寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「爻术」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数学运算」之「安全随机」之书。
寻观「安全外壳协议」之「二进制编码」之书。

「名称列续验」乃化「字节串」而化「整数」而化「整数」而「爻」也。
「名称列续验」者会「文」而会「位」而会「段长」而
  若「等于」于「位」于（「字节串长度」于「文」）则
    「大于」于「段长」于「零」
  否则
    虑「字」者「字节串取字节」于「文」于「位」而
    若「等于」于「字」于「四四」
    则
      （若「等于」于「段长」于「零」则「阴」否则「名称列续验」于「文」于（「加」于「位」于「一」）于「零」）
    否则若「小于」于「字」于「三三」则「阴」
    否则若「大于」于「字」于「一二六」则「阴」
    否则若「大于」于「段长」于「六三」则「阴」
    否则
      「名称列续验」于「文」于（「加」于「位」于「一」）于（「加」于「段长」于「一」）
也。

「：文言：名称列皆 ASCII，无空项，算法名至多六十四字节；语言列可空。汉语：验证 SSH 名称列，拒绝空元素、不可打印 ASCII 和超过 64 字节的名称。：」
「名称列可用吗」乃化「字节串」而化「爻」而「爻」也。
「名称列可用吗」者会「文」而会「允空」而
  若「等于」于（「字节串长度」于「文」）于「零」则
    「允空」
  否则
    「名称列续验」于「文」于「零」于「零」
也。

「寻逗号」乃化「字节串」而化「整数」而「整数」也。
「寻逗号」者会「文」而会「位」而
  若「等于」于「位」于（「字节串长度」于「文」）则
    「位」
  否则若「等于」于（「字节串取字节」于「文」于「位」）于「四四」则「位」
  否则
    「寻逗号」于「文」于（「加」于「位」于「一」）
也。

「片段同吗」乃化「字节串」而化「字节串」而化「整数」而化「整数」而「爻」也。
「片段同吗」者会「文」而会「名」而会「起」而会「位」而
  若「等于」于「位」于（「字节串长度」于「名」）则
    「阳」
  否则若「等于」于（「字节串取字节」于「文」于（「加」于「起」于「位」））
  于（「字节串取字节」于「名」于「位」）
  则
    「片段同吗」于「文」于「名」于「起」于（「加」于「位」于「一」）
  否则
    「阴」
也。

「名称列含名续」乃化「字节串」而化「字节串」而化「整数」而「爻」也。
「名称列含名续」者会「文」而会「名」而会「起」而
  若「等于」于「起」于（「字节串长度」于「文」）则
    「阴」
  否则
    虑「止」者「寻逗号」于「文」于「起」而
    若「等于」于（「减」于「止」于「起」）于（「字节串长度」于「名」）
    则
      （
        若「片段同吗」于「文」于「名」于「起」于「零」则「阳」
        否则若「等于」于「止」于（「字节串长度」于「文」）则「阴」
        否则
          「名称列含名续」于「文」于「名」于（「加」于「止」于「一」）
      ）
    否则若「等于」于「止」于（「字节串长度」于「文」）则「阴」
    否则
      「名称列含名续」于「文」于「名」于（「加」于「止」于「一」）
也。

「：文言：于合法名称列求定名，须全项同，非子文偶合。汉语：在有效的逗号分隔名称列中查找完整算法名。：」
「名称列含名吗」乃化「字节串」而化「字节串」而「爻」也。
「名称列含名吗」者会「文」而会「名」而
  若「名称列可用吗」于「文」于「阴」
  则
    （
      若「名称列可用吗」于「名」于「阴」
      则
        （
          若「不等于」
            于（「寻逗号」于「名」于「零」）
            于（「字节串长度」于「名」）
          则
            「阴」
          否则
            「名称列含名续」于「文」于「名」于「零」
        ）
      否则
        「阴」
    ）
  否则
    「阴」
也。

「读取协商列们」乃
  化「字节串」而
  化「整数」而
  化「整数」而
  （「或可有」于「整数」）
也。
「读取协商列们」者会「文」而会「位」而会「序」而
  若「等于」于「序」于「一零」则
    「可有」于「位」
  否则
    鉴「读取长度字节串」于「文」于「位」而
      有（「可有」于「项与位」）则（
        虑「项」者「项与位」中「零」
        而
        虑「新位」者「项与位」中「一」
        而
        若「名称列可用吗」于「项」于（「大于」于「序」于「七」）
        则
          「读取协商列们」于「文」于「新位」于（「加」于「序」于「一」）
        否则
          「可无」
      ）
      或有「可无」则「可无」
也。

「：文言：核二十号消息、十名称列、猜测位及保留字，不许余字。汉语：结构性验证完整 SSH_MSG_KEXINIT 载荷，包含十个名称列和最后五字节。：」
「协商载荷可用吗」乃化「字节串」而「爻」也。
「协商载荷可用吗」者会「文」而
  若「小于」于（「字节串长度」于「文」）于「六二」则
    「阴」
  否则若「不等于」于（「字节串取字节」于「文」于「零」）于「二零」则「阴」
  否则
    鉴「读取协商列们」于「文」于「一七」于「零」而
      有（「可有」于「末位」）则（
        若「不等于」于（「加」于「末位」于「五」）于（「字节串长度」于「文」）则
          「阴」
        否则若「大于」于（「字节串取字节」于「文」于「末位」）于「一」则
          「阴」
        否则
          鉴「读取四字节无符号数」于「文」于（「加」于「末位」于「一」）而
            有（「可有」于「保留与终点」）则（
              若「不等于」于（「保留与终点」中「零」）于「零」则
                「阴」
              否则
                「等于」于（「保留与终点」中「一」）于（「字节串长度」于「文」）
            ）
            或有「可无」则「阴」
      ）
      或有「可无」则「阴」
也。

「读取指定协商列」乃
  化「字节串」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「或可有」于「字节串」）
也。
「读取指定协商列」者会「文」而会「位」而会「序」而会「目标」而
  鉴「读取长度字节串」于「文」于「位」而
    有（「可有」于「项与位」）则（
      若「等于」于「序」于「目标」则
        「可有」于（「项与位」中「零」）
      否则
        「读取指定协商列」于「文」于（「项与位」中「一」）于（「加」于「序」于「一」）于「目标」
    ）
    或有「可无」则「可无」
也。

「：文言：十名称列以零起序可取，必先核全载荷。汉语：获取完整有效 KEXINIT 的第 0 至 9 个名称列原始字节。：」
「读取协商名称列」乃化「字节串」而化「整数」而（「或可有」于「字节串」）也。
「读取协商名称列」者会「文」而会「目标」而
  若「小于」于「目标」于「零」则
    「可无」
  否则若「大于」于「目标」于「九」则「可无」
  否则若「协商载荷可用吗」于「文」
  则
    「读取指定协商列」于「文」于「一七」于「零」于「目标」
  否则
    「可无」
也。

「编码协商列们」乃化（「列」于「字节串」）而化「整数」而「字节串」也。
「编码协商列们」者会「列们」而会「序」而
  鉴「列们」而
    有「罄」则「空字节串」于「元」
    或有（「缀」于「首」于「尾」）则（
      若「名称列可用吗」于「首」于（「大于」于「序」于「七」）
      则
        「拼接字节串」于（「编码长度字节串」于「首」）于（「编码协商列们」于「尾」于（「加」于「序」于「一」））
      否则
        「发生事故」授以「字节串」于『协商名称列非法』
    ）
也。

「：文言：十列依序入载荷，随机饼十六字节，末猜测阴及保留零。汉语：按 RFC 4253 编码 KEXINIT 载荷，要求恰好十个名称列。：」
「编码协商载荷」乃化（「列」于「字节串」）而「字节串」也。
「编码协商载荷」者会「列们」而
  若「不等于」于（「长度」授以「字节串」于「列们」）于「一零」
  则
    「发生事故」授以「字节串」于『协商名称列须恰有十项』
  否则
    虑「首」者
      「拼接字节串」于（「单字节串」于「二零」）于（「获取安全随机字节串」于「一六」）
    而
    虑「列文」者「编码协商列们」于「列们」于「零」而
    「拼接字节串」
      于「首」
      于（「拼接字节串」于「列文」于（「拼接字节串」于（「单字节串」于「零」）于（「编码四字节无符号数」于「零」）））
也。

「：文言：本端客户初议曲线、主钥、GCM 与无压缩。汉语：生成仅提出已实现方向的客户端 KEXINIT 候选清单；尚须完成密钥交换后才能进入会话。：」
「本端客户协商载荷」乃化「有」而「字节串」也。
「本端客户协商载荷」者会「无」而
  「编码协商载荷」于（「列」【
    「字符串转字节串」于『curve25519-sha256,curve25519-sha256@libssh.org』，
    「字符串转字节串」于『ssh-ed25519』，
    「字符串转字节串」于『aes256-gcm@openssh.com』，
    「字符串转字节串」于『aes256-gcm@openssh.com』，
    「字符串转字节串」于『hmac-sha2-256』，
    「字符串转字节串」于『hmac-sha2-256』，
    「字符串转字节串」于『none』，
    「字符串转字节串」于『none』，
    「空字节串」于「元」，
    「空字节串」于「元」
  】）
也。

「：文言：本端服务者仅陈已备之曲线、Ed25519、GCM 与无压缩。汉语：生成服务端 KEXINIT 候选清单，使用独立随机 cookie。：」
「本端服务协商载荷」乃化「有」而「字节串」也。
「本端服务协商载荷」者会「无」而
  「编码协商载荷」于（「列」【
    「字符串转字节串」于『curve25519-sha256,curve25519-sha256@libssh.org』，
    「字符串转字节串」于『ssh-ed25519』，
    「字符串转字节串」于『aes256-gcm@openssh.com』，
    「字符串转字节串」于『aes256-gcm@openssh.com』，
    「字符串转字节串」于『hmac-sha2-256』，
    「字符串转字节串」于『hmac-sha2-256』，
    「字符串转字节串」于『none』，
    「字符串转字节串」于『none』，
    「空字节串」于「元」，
    「空字节串」于「元」
  】）
也。
