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

「续派密钥材料」乃化「字节串」而化「字节串」而化「整数」而「字节串」也。
「续派密钥材料」者会「前缀」而会「已得」而会「所需」而
  若「大于」于（「字节串长度」于「已得」）于（「减」于「所需」于「一」）则
    「已得」
  否则
    虑「后段」者「求SHA256」于（「拼接字节串」于「前缀」于「已得」）而
    「续派密钥材料」于「前缀」于（「拼接字节串」于「已得」于「后段」）于「所需」
也。

「：文言：依 RFC 4253 第七点二节，以 mpint 共密、哈希、方向字及首会话号派钥；长于摘要者续展。汉语：按 SSH SHA-256 KDF 派生指定长度的材料；方向字限 A 至 F，session_id 为首次交换哈希。：」
「派生SSH密钥材料」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  化「整数」而
  化「整数」而
  「字节串」
也。
「派生SSH密钥材料」者会「共密」而会「交换哈希」而会「会话号」而会「方向字」而会「所需」而
  若「不等于」于（「字节串长度」于「共密」）于「三二」则
    「发生事故」授以「字节串」于『曲线共密须三十二字节』
  否则若「不等于」于（「字节串长度」于「交换哈希」）于「三二」则「发生事故」授以「字节串」
    于『交换哈希须三十二字节』
  否则若「不等于」于（「字节串长度」于「会话号」）于「三二」则「发生事故」授以「字节串」
    于『会话号须三十二字节』
  否则若「小于」于「方向字」于「六五」则「发生事故」授以「字节串」
  于『派钥方向字须为 A 至 F』
  否则若「大于」于「方向字」于「七零」则「发生事故」授以「字节串」
  于『派钥方向字须为 A 至 F』
  否则若「小于」于「所需」于「一」则「发生事故」授以「字节串」
  于『派钥长度须为正』
  否则若「大于」于「所需」于「一零二四」则「发生事故」授以「字节串」
  于『派钥长度超过上限』
  否则
    虑「前缀」者
      「拼接字节串」于（「编码正数多字节」于「共密」）于「交换哈希」
    而
    虑「首段」者
      「求SHA256」于（「拼接字节串」于「前缀」于（「拼接字节串」于（「单字节串」于「方向字」）于「会话号」））
    而
    「截取字节串」于（「续派密钥材料」于「前缀」于「首段」于「所需」）于「零」于「所需」
也。

「：文言：取客户发往服务之 AES-256-GCM 三十二字节钥与十二字节 IV。汉语：派生客户端发送方向的 AES-256-GCM 密钥与初始 IV。：」
「派生客户发送GCM钥」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  （「字节串」合「字节串」）
也。
「派生客户发送GCM钥」者会「共密」而会「交换哈希」而会「会话号」而
  （「派生SSH密钥材料」于「共密」于「交换哈希」于「会话号」于「六七」于「三二」）
    与
    （「派生SSH密钥材料」于「共密」于「交换哈希」于「会话号」于「六五」于「一二」）
也。

「：文言：取服务发往客户之 AES-256-GCM 三十二字节钥与十二字节 IV。汉语：派生客户端接收方向的 AES-256-GCM 密钥与初始 IV。：」
「派生客户接收GCM钥」乃
  化「字节串」而
  化「字节串」而
  化「字节串」而
  （「字节串」合「字节串」）
也。
「派生客户接收GCM钥」者会「共密」而会「交换哈希」而会「会话号」而
  （「派生SSH密钥材料」于「共密」于「交换哈希」于「会话号」于「六八」于「三二」）
    与
    （「派生SSH密钥材料」于「共密」于「交换哈希」于「会话号」于「六六」于「一二」）
也。

「：文言：新钥消息惟一字二十一。汉语：生成 SSH_MSG_NEWKEYS 载荷，须用旧报文算法发送。：」
「编码启用新钥载荷」乃化「有」而「字节串」也。
「编码启用新钥载荷」者会「无」而
  「单字节串」于「二一」
也。

「：文言：新钥载荷须恰一字二十一。汉语：验证 SSH_MSG_NEWKEYS 载荷，无尾随数据。：」
「启用新钥载荷可用吗」乃化「字节串」而「爻」也。
「启用新钥载荷可用吗」者会「载荷」而
  若「不等于」于（「字节串长度」于「载荷」）于「一」则
    「阴」
  否则
    「等于」于（「字节串取字节」于「载荷」于「零」）于「二一」
也。
