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

「：文言：九十号报请开 session 通道，冠本端号、受窗与最大载长。汉语：编码 SSH_MSG_CHANNEL_OPEN 的 session 请求；通道最大包须为正。：」
「编码会话通道开启」乃化「整数」而化「整数」而化「整数」而「字节串」也。
「编码会话通道开启」者会「本端号」而会「初窗」而会「最大包」而
  若「小于」于「最大包」于「一」则
    「发生事故」授以「字节串」于『通道最大包须为正』
  否则
    「拼接字节串」
      于（「单字节串」于「九零」）
      于（「拼接字节串」
        于（「编码长度字节串」于（「字符串转字节串」于『session』））
        于（「拼接字节串」
          于（「编码四字节无符号数」于「本端号」）
          于（「拼接字节串」于（「编码四字节无符号数」于「初窗」）于（「编码四字节无符号数」于「最大包」））））
也。

「：文言：验九十号 session 开通载物，无余字。汉语：服务端解析 session channel open，返回对端号、初始窗口和最大数据包。：」
「读取会话通道开启」乃
  化「字节串」而
  （「或可有」于（「整数」合「整数」合「整数」））
也。
「读取会话通道开启」者会「载荷」而
  若「小于」于（「字节串长度」于「载荷」）于「一」则
    「可无」
  否则若「不等于」于（「字节串取字节」于「载荷」于「零」）于「九零」则「可无」
  否则
    鉴「读取长度字节串」于「载荷」于「一」而
      有（「可有」于「类型与位」）则（
        若「换钥字节同」于（「类型与位」中「零」）于（「字符串转字节串」于『session』）
        则
          （
            鉴「读取四字节无符号数」于「载荷」于（「类型与位」中「一」）而
              有（「可有」于「号与位」）则（
                鉴「读取四字节无符号数」于「载荷」于（「号与位」中「一」）而
                  有（「可有」于「窗与位」）则（
                    鉴「读取四字节无符号数」于「载荷」于（「窗与位」中「一」）而
                      有（「可有」于「包与位」）则（
                        若「不等于」
                          于（「包与位」中「一」）
                          于（「字节串长度」于「载荷」）则
                            「可无」
                        否则若「小于」于（「包与位」中「零」）于「一」则
                          「可无」
                        否则
                          「可有」于（（「号与位」中「零」）与（「窗与位」中「零」）与（「包与位」中「零」））
                      ）
                      或有「可无」则「可无」
                  ）
                  或有「可无」则「可无」
              ）
              或有「可无」则「可无」
          ）
        否则
          「可无」
      ）
      或有「可无」则「可无」
也。

「：文言：九十一号许开，载彼号、己号、初窗及最大包。汉语：编码 CHANNEL_OPEN_CONFIRMATION；recipient 为请求方的通道号。：」
「编码通道开启确认」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「字节串」
也。
「编码通道开启确认」者会「彼号」而会「己号」而会「初窗」而会「最大包」而
  若「小于」于「最大包」于「一」则
    「发生事故」授以「字节串」于『通道最大包须为正』
  否则
    「拼接字节串」
      于（「单字节串」于「九一」）
      于（「拼接字节串」
        于（「编码四字节无符号数」于「彼号」）
        于（「拼接字节串」
          于（「编码四字节无符号数」于「己号」）
          于（「拼接字节串」于（「编码四字节无符号数」于「初窗」）于（「编码四字节无符号数」于「最大包」））））
也。

「：文言：验九十一号确认，恰四无符号数。汉语：解析 CHANNEL_OPEN_CONFIRMATION 的 recipient、sender、window、maximum packet。：」
「读取通道开启确认」乃
  化「字节串」而
  （「或可有」于（「整数」合「整数」合「整数」合「整数」））
也。
「读取通道开启确认」者会「载荷」而
  若「不等于」于（「字节串长度」于「载荷」）于「一七」则
    「可无」
  否则若「不等于」于（「字节串取字节」于「载荷」于「零」）于「九一」则「可无」
  否则
    鉴「读取四字节无符号数」于「载荷」于「一」而
      有（「可有」于「彼号与位」）则（
        鉴「读取四字节无符号数」于「载荷」于（「彼号与位」中「一」）而
          有（「可有」于「己号与位」）则（
            鉴「读取四字节无符号数」于「载荷」于（「己号与位」中「一」）而
              有（「可有」于「窗与位」）则（
                鉴「读取四字节无符号数」于「载荷」于（「窗与位」中「一」）而
                  有（「可有」于「包与位」）则（
                    若「小于」于（「包与位」中「零」）于「一」则
                      「可无」
                    否则
                      「可有」于（（「彼号与位」中「零」）与（「己号与位」中「零」）与（「窗与位」中「零」）
                        与（「包与位」中「零」））
                  ）
                  或有「可无」则「可无」
              ）
              或有「可无」则「可无」
          ）
          或有「可无」则「可无」
      ）
      或有「可无」则「可无」
也。

「：文言：九十三号加通道收窗。汉语：编码 CHANNEL_WINDOW_ADJUST；增量必须为正。：」
「编码通道增窗」乃化「整数」而化「整数」而「字节串」也。
「编码通道增窗」者会「彼号」而会「增量」而
  若「小于」于「增量」于「一」则
    「发生事故」授以「字节串」于『窗口增量须为正』
  否则
    「拼接字节串」
      于（「单字节串」于「九三」）
      于（「拼接字节串」于（「编码四字节无符号数」于「彼号」）于（「编码四字节无符号数」于「增量」））
也。

「：文言：九十三号增窗恰载彼号及正增量。汉语：解析 CHANNEL_WINDOW_ADJUST，拒绝零增量和尾随数据。：」
「读取通道增窗」乃化「字节串」而（「或可有」于（「整数」合「整数」））也。
「读取通道增窗」者会「载荷」而
  若「不等于」于（「字节串长度」于「载荷」）于「九」则
    「可无」
  否则若「不等于」于（「字节串取字节」于「载荷」于「零」）于「九三」则「可无」
  否则
    鉴「读取四字节无符号数」于「载荷」于「一」而
      有（「可有」于「号与位」）则（
        鉴「读取四字节无符号数」于「载荷」于（「号与位」中「一」）而
          有（「可有」于「增与位」）则（
            若「等于」于（「增与位」中「零」）于「零」则
              「可无」
            否则
              「可有」于（（「号与位」中「零」）与（「增与位」中「零」））
          ）
          或有「可无」则「可无」
      ）
      或有「可无」则「可无」
也。

「：文言：窗增不得过四字节数之界。汉语：把收到的窗口增量应用到当前窗口；溢出或零增量返回可无。：」
「调整通道窗口」乃化「整数」而化「整数」而（「或可有」于「整数」）也。
「调整通道窗口」者会「原窗」而会「增量」而
  若「小于」于「原窗」于「零」则
    「可无」
  否则若「大于」于「原窗」于「四二九四九六七二九五」则「可无」
  否则若「小于」于「增量」于「一」则「可无」
  否则若「大于」于「增量」于（「减」于「四二九四九六七二九五」于「原窗」）则「可无」
  否则
    「可有」于（「加」于「原窗」于「增量」）
也。

「：文言：九十四号送通道数据，须守彼窗及最大包。汉语：编码 CHANNEL_DATA；调用者提供对端剩余窗口和最大数据包，超限拒绝。：」
「编码通道数据」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「字节串」而
  「字节串」
也。
「编码通道数据」者会「彼号」而会「彼窗」而会「彼最大包」而会「内容」而
  若「大于」于（「字节串长度」于「内容」）于「彼窗」则
    「发生事故」授以「字节串」于『通道数据超过对端窗口』
  否则若「大于」于（「字节串长度」于「内容」）于「彼最大包」则
    「发生事故」授以「字节串」于『通道数据超过对端最大包』
  否则
    「拼接字节串」
      于（「单字节串」于「九四」）
      于（「拼接字节串」于（「编码四字节无符号数」于「彼号」）于（「编码长度字节串」于「内容」））
也。

「：文言：读九十四号数据，须全报且守收窗与最大包。汉语：解析 CHANNEL_DATA；返回 recipient、数据与扣减后的接收窗口。：」
「读取通道数据」乃
  化「字节串」而
  化「整数」而
  化「整数」而
  （「或可有」于（「整数」合「字节串」合「整数」））
也。
「读取通道数据」者会「载荷」而会「收窗」而会「最大包」而
  若「小于」于（「字节串长度」于「载荷」）于「九」则
    「可无」
  否则若「不等于」于（「字节串取字节」于「载荷」于「零」）于「九四」则「可无」
  否则
    鉴「读取四字节无符号数」于「载荷」于「一」而
      有（「可有」于「号与位」）则（
        鉴「读取长度字节串」于「载荷」于（「号与位」中「一」）而
          有（「可有」于「内容与位」）则（
            若「不等于」于（「内容与位」中「一」）于（「字节串长度」于「载荷」）则「可无」
            否则若「小于」于「收窗」于「零」则「可无」
            否则若「大于」
              于（「字节串长度」于（「内容与位」中「零」））于「收窗」则
                「可无」
            否则若「大于」
              于（「字节串长度」于（「内容与位」中「零」））于「最大包」则
                「可无」
            否则
              「可有」于（（「号与位」中「零」）与（「内容与位」中「零」）
                与（「减」于「收窗」于（「字节串长度」于（「内容与位」中「零」））））
          ）
          或有「可无」则「可无」
      ）
      或有「可无」则「可无」
也。

「：文言：九十五号扩展数据与常数据同耗彼窗，类型码须正。汉语：编码 CHANNEL_EXTENDED_DATA；data_type_code 1 表示 stderr，发送量须守远端窗口及最大包。：」
「编码通道扩展数据」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「字节串」而
  「字节串」
也。
「编码通道扩展数据」者会「彼号」而会「彼窗」而会「彼最大包」而会「类型码」而会「内容」而
  若「小于」于「类型码」于「一」则
    「发生事故」授以「字节串」于『扩展数据类型码须为正』
  否则若「大于」于（「字节串长度」于「内容」）于「彼窗」则「发生事故」授以「字节串」
    于『扩展数据超过对端窗口』
  否则若「大于」于（「字节串长度」于「内容」）于「彼最大包」则
    「发生事故」授以「字节串」于『扩展数据超过对端最大包』
  否则
    「拼接字节串」
      于（「单字节串」于「九五」）
      于（「拼接字节串」
        于（「编码四字节无符号数」于「彼号」）
        于（「拼接字节串」于（「编码四字节无符号数」于「类型码」）于（「编码长度字节串」于「内容」）））
也。

「：文言：读九十五号，核全报、类型码及共用收窗。汉语：解析 CHANNEL_EXTENDED_DATA，返回 recipient、data_type_code、数据及扣减后的接收窗口。：」
「读取通道扩展数据」乃
  化「字节串」而
  化「整数」而
  化「整数」而
  （「或可有」于（「整数」合「整数」合「字节串」合「整数」））
也。
「读取通道扩展数据」者会「载荷」而会「收窗」而会「最大包」而
  若「小于」于（「字节串长度」于「载荷」）于「一三」则
    「可无」
  否则若「不等于」于（「字节串取字节」于「载荷」于「零」）于「九五」则「可无」
  否则
    鉴「读取四字节无符号数」于「载荷」于「一」而
      有（「可有」于「号与位」）则（
        鉴「读取四字节无符号数」于「载荷」于（「号与位」中「一」）而
          有（「可有」于「类型与位」）则（
            若「等于」于（「类型与位」中「零」）于「零」则
              「可无」
            否则
              鉴「读取长度字节串」于「载荷」于（「类型与位」中「一」）而
                有（「可有」于「内容与位」）则（
                  若「不等于」
                    于（「内容与位」中「一」）
                    于（「字节串长度」于「载荷」）则「可无」
                  否则若「小于」于「收窗」于「零」则「可无」
                  否则若「大于」
                    于（「字节串长度」于（「内容与位」中「零」））于「收窗」则
                      「可无」
                  否则若「大于」
                    于（「字节串长度」于（「内容与位」中「零」））于「最大包」则
                      「可无」
                  否则
                    「可有」于（（「号与位」中「零」）与（「类型与位」中「零」）与（「内容与位」中「零」）
                      与（「减」于「收窗」于（「字节串长度」于（「内容与位」中「零」））））
                ）
                或有「可无」则「可无」
          ）
          或有「可无」则「可无」
      ）
      或有「可无」则「可无」
也。

「：文言：九十六号 EOF 与九十七号 CLOSE 均惟载彼号。汉语：编码通道 EOF 与 CLOSE。：」
「编码通道EOF」乃化「整数」而「字节串」也。
「编码通道EOF」者会「彼号」而
  「拼接字节串」于（「单字节串」于「九六」）于（「编码四字节无符号数」于「彼号」）
也。

「编码通道关闭」乃化「整数」而「字节串」也。
「编码通道关闭」者会「彼号」而
  「拼接字节串」于（「单字节串」于「九七」）于（「编码四字节无符号数」于「彼号」）
也。

「：文言：读 EOF 或 CLOSE，返彼号与是否已闭；恰五字。汉语：解析 CHANNEL_EOF/CLOSE，关闭标志只对 CLOSE 为阳。：」
「读取通道结束」乃化「字节串」而（「或可有」于（「整数」合「爻」））也。
「读取通道结束」者会「载荷」而
  若「不等于」于（「字节串长度」于「载荷」）于「五」则
    「可无」
  否则
    虑「种」者「字节串取字节」于「载荷」于「零」而
    若「等于」于「种」于「九六」
    则
      （
        鉴「读取四字节无符号数」于「载荷」于「一」而
          有（「可有」于「号与位」）则
            「可有」于（（「号与位」中「零」）与「阴」）
          或有「可无」则「可无」
      ）
    否则若「等于」于「种」于「九七」
    则
      （
        鉴「读取四字节无符号数」于「载荷」于「一」而
          有（「可有」于「号与位」）则
            「可有」于（（「号与位」中「零」）与「阳」）
          或有「可无」则「可无」
      ）
    否则
      「可无」
也。
