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

「：文言：初握无加密无签，四字节长与报文合计须八字节齐。汉语：未启用加密和 MAC 时，从四字节报头求完整报文长度；校验最小 16 字节与 8 字节对齐。：」
「探明文报文总长」乃化「字节串」而（「或可有」于「整数」）也。
「探明文报文总长」者会「首部」而
  鉴「读取四字节无符号数」于「首部」于「零」而
    有（「可有」于「长度与终点」）则（
      虑「报长」者「长度与终点」中「零」而
      虑「总长」者「加」于「报长」于「四」而
      若「小于」于「总长」于「一六」则「可无」
      否则若「大于」于「报长」于「一零四八五七六」则
        「可无」
      否则若「不等于」于（「乘」于（「除以」于「总长」于「八」）于「八」）于「总长」则「可无」
      否则
        「可有」于「总长」
    ）
    或有「可无」则「可无」
也。

「：文言：未换钥前作无密无签之报，随机填充至少四字节。汉语：编码 SSH 初始明文报文；四字节长度加正文需按 8 字节对齐，随机填充至少 4 字节。：」
「编码明文报文」乃化「字节串」而「字节串」也。
「编码明文报文」者会「载荷」而
  虑「基础总长」者「加」于（「字节串长度」于「载荷」）于「九」而
  虑「余数」者
    「减」于「基础总长」于（「乘」于（「除以」于「基础总长」于「八」）于「八」）而
    虑「填长」者
      若「等于」于「余数」于「零」则「四」否则「减」于「一二」于「余数」
    而
    虑「报长」者
      「加」于（「加」于（「字节串长度」于「载荷」）于「一」）于「填长」
    而
    若「大于」于「报长」于「一零四八五七六」
    则
      「发生事故」授以「字节串」于『明文报文超过一兆字节』
    否则
      「拼接字节串」
        于（「编码四字节无符号数」于「报长」）
        于（「拼接字节串」
          于（「单字节串」于「填长」）
          于（「拼接字节串」于「载荷」于（「获取安全随机字节串」于「填长」）））
也。

「：文言：明文报长、齐数与填长皆核，败则无。汉语：解码完整的初始明文报文；无效长度、对齐或填充返回可无。：」
「解码明文报文」乃化「字节串」而（「或可有」于「字节串」）也。
「解码明文报文」者会「报文」而
  鉴「探明文报文总长」于「报文」而
    有（「可有」于「总长」）则（
      若「不等于」于（「字节串长度」于「报文」）于「总长」则「可无」
      否则
        虑「报长」者「减」于「总长」于「四」
        而
        虑「填长」者「字节串取字节」于「报文」于「四」
        而
        若「小于」于「填长」于「四」则
          「可无」
        否则若「大于」于「填长」于（「减」于「报长」于「一」）则
          「可无」
        否则
          「可有」于（「截取字节串」于「报文」于「五」于（「减」于（「减」于「报长」于「一」）于「填长」））
    ）
    或有「可无」则「可无」
也。

「：文言：造定数零字节，供计数进位。汉语：构造指定长度的零字节串，仅用于八字节计数尾部。：」
「造零字节」乃化「整数」而「字节串」也。
「造零字节」者会「数」而
  若「等于」于「数」于「零」则
    「空字节串」于「元」
  否则
    「拼接字节串」于（「单字节串」于「零」）于（「造零字节」于（「减」于「数」于「一」））
也。

「递增GCM计数位」乃化「字节串」而化「整数」而（「或可有」于「字节串」）也。
「递增GCM计数位」者会「随机数」而会「位」而
  若「小于」于「位」于「四」则
    「可无」
  否则
    虑「旧字」者「字节串取字节」于「随机数」于「位」而
    若「等于」于「旧字」于「二五五」则
      「递增GCM计数位」于「随机数」于（「减」于「位」于「一」）
    否则
      「可有」于（「拼接字节串」
        于（「截取字节串」于「随机数」于「零」于「位」）
        于（「拼接字节串」
          于（「单字节串」于（「加」于「旧字」于「一」））
          于（「造零字节」于（「减」于「一一」于「位」））））
也。

「：文言：前四字节恒，后八字节大端进一，满则无。汉语：推进 RFC 5647 的 12 字节 IV；仅递增后八字节，溢出或长度错误返回可无。：」
「下一GCM随机数」乃化「字节串」而（「或可有」于「字节串」）也。
「下一GCM随机数」者会「随机数」而
  若「不等于」于（「字节串长度」于「随机数」）于「一二」则
    「可无」
  否则
    「递增GCM计数位」于「随机数」于「一一」
也。

「必须下一GCM随机数」乃化「字节串」而「字节串」也。
「必须下一GCM随机数」者会「随机数」而
  鉴「下一GCM随机数」于「随机数」而
    有（「可有」于「下一」）则「下一」
    或有「可无」则
      「发生事故」授以「字节串」于『GCM 随机数无效或计数已满』
也。

「：文言：读四字节长，核块齐与上限，得全报所需字节数。汉语：从至少四字节的未认证报头求完整报文长度；非法或不足返回可无，最大 1 MiB 明文。：」
「探AES256GCM报文总长」乃化「字节串」而（「或可有」于「整数」）也。
「探AES256GCM报文总长」者会「首部」而
  鉴「读取四字节无符号数」于「首部」于「零」而
    有（「可有」于「长度与终点」）则（
      虑「报长」者「长度与终点」中「零」而
      若「小于」于「报长」于「一六」则「可无」
      否则若「大于」于「报长」于「一零四八五七六」则
        「可无」
      否则若「不等于」于（「乘」于（「除以」于「报长」于「一六」）于「一六」）于「报长」则
        「可无」
      否则
        「可有」于（「加」于「报长」于「二零」）
    ）
    或有「可无」则「可无」
也。

「：文言：以四字节长作附加文，随机填充而加密，还报文及后续 IV。汉语：编码完整 AES-256-GCM SSH 报文，随机填充至少 4 字节；返回报文和下一 IV。：」
「加密AES256GCM报文」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  （「字节串」合「字节串」）
也。
「加密AES256GCM报文」者会「钥」而会「随机数」而会「载荷」而
  虑「下一」者「必须下一GCM随机数」于「随机数」而
  虑「基础长」者「加」于（「字节串长度」于「载荷」）于「五」而
  虑「余数」者
    「减」于「基础长」于（「乘」于（「除以」于「基础长」于「一六」）于「一六」）而
    虑「填长」者
      若「等于」于「余数」于「零」则「四」否则「减」于「二零」于「余数」
    而
    虑「报长」者
      「加」于（「加」于（「字节串长度」于「载荷」）于「一」）于「填长」
    而
    若「大于」于「报长」于「一零四八五七六」
    则
      「发生事故」授以（「字节串」合「字节串」）于『GCM 报文超过一兆字节』
    否则
      虑「长文」者「编码四字节无符号数」于「报长」
      而
      虑「明文」者
        「拼接字节串」于（「单字节串」于「填长」）于（「拼接字节串」于「载荷」于（「获取安全随机字节串」于「填长」））
      而
      （「拼接字节串」于「长文」于（「加密AES256GCM」于「钥」于「随机数」于「长文」于「明文」））与「下一」
也。

「：文言：先核未验首部与整报长，再验签及填充；败则无。汉语：验证完整报文、GCM 标签与填充规则，成功才返回载荷和下一 IV。：」
「解密AES256GCM报文」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  （「或可有」于（「字节串」合「字节串」））
也。
「解密AES256GCM报文」者会「钥」而会「随机数」而会「报文」而
  鉴「下一GCM随机数」于「随机数」而
    有（「可有」于「下一」）则（
      鉴「探AES256GCM报文总长」于「报文」而
        有（「可有」于「总长」）则（
          若「不等于」于（「字节串长度」于「报文」）于「总长」则「可无」
          否则
            虑「报长」者「减」于「总长」于「二零」
            而
            虑「长文」者「截取字节串」于「报文」于「零」于「四」
            而
            虑「密文与签」者
              「截取字节串」于「报文」于「四」于（「加」于「报长」于「一六」）而
            鉴「解密AES256GCM」于「钥」于「随机数」于「长文」于「密文与签」而
              有（「可有」于「明文」）则（
                若「不等于」于（「字节串长度」于「明文」）于「报长」则
                  「可无」
                否则
                  虑「填长」者「字节串取字节」于「明文」于「零」
                  而
                  若「小于」于「填长」于「四」则
                    「可无」
                  否则若「大于」于「填长」于（「减」于「报长」于「一」）则
                    「可无」
                  否则
                    「可有」于（（「截取字节串」于「明文」于「一」于（「减」于（「减」于「报长」于「一」）于「填长」））
                      与「下一」）
              ）
              或有「可无」则「可无」
        ）
        或有「可无」则「可无」
    ）
    或有「可无」则「可无」
也。
