寻观「标准库」之书。
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「爻术」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数学运算」之「安全随机」之书。
寻观「安全外壳协议」之「二进制编码」之书。
寻观「安全外壳密码」之「原语」之书。
寻观「安全外壳协议」之「报文」之书。
寻观「安全外壳协议」之「分帧」之书。
寻观「安全外壳协议」之「版本」之书。
寻观「安全外壳协议」之「协商」之书。
寻观「安全外壳协议」之「密钥交换」之书。
寻观「安全外壳协议」之「派钥」之书。
寻观「安全外壳协议」之「服务」之书。
寻观「安全外壳协议」之「用户认证」之书。
寻观「安全外壳协议」之「传输控制」之书。

「十六进制数码」乃化「整数」而「整数」也。
「十六进制数码」者会「字」而
    若「小于」于「字」于「四八」则「发生事故」授以「整数」于『测试向量含非法十六进制字节』
    否则若「小于」于「字」于「五八」则「减」于「字」于「四八」
    否则若「小于」于「字」于「九七」则「发生事故」授以「整数」于『测试向量含非法十六进制字节』
    否则若「小于」于「字」于「一零三」则「加」于（「减」于「字」于「九七」）于「一零」
    否则「发生事故」授以「整数」于『测试向量含非法十六进制字节』
也。

「逐字节解十六进制」乃化「字节串」而化「整数」而「字节串」也。
「逐字节解十六进制」者会「原文」而会「起点」而
    若「等于」于「起点」于（「字节串长度」于「原文」）则「空字节串」于「元」
    否则虑「高」者「十六进制数码」于（「字节串取字节」于「原文」于「起点」）而
        虑「低」者「十六进制数码」于（「字节串取字节」于「原文」于（「加」于「起点」于「一」））而
        「拼接字节串」于（「单字节串」于（「加」于（「乘」于「高」于「一六」）于「低」））于（「逐字节解十六进制」于「原文」于（「加」于「起点」于「二」））
也。

「解十六进制」乃化「字符串」而「字节串」也。
「解十六进制」者会「原文」而
    虑「字节」者「字符串转字节串」于「原文」而
    若「不等于」于（「乘」于（「除以」于（「字节串长度」于「字节」）于「二」）于「二」）于（「字节串长度」于「字节」）
    则「发生事故」授以「字节串」于『测试向量十六进制长度非法』
    否则「逐字节解十六进制」于「字节」于「零」
也。

「造满字节」乃化「整数」而「字节串」也。
「造满字节」者会「数」而
    若「等于」于「数」于「零」则「空字节串」于「元」
    否则「拼接字节串」于（「单字节串」于「二五五」）于（「造满字节」于（「减」于「数」于「一」））
也。

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

「字节同吗」乃化「字节串」而化「字节串」而「爻」也。
「字节同吗」者会「甲」而会「乙」而
    若「不等于」于（「字节串长度」于「甲」）于（「字节串长度」于「乙」）则「阴」
    否则「逐字节同吗」于「甲」于「乙」于「零」
也。

「后继等于吗」乃化（「或可有」于「字节串」）而化「字节串」而「爻」也。
「后继等于吗」者会「结果」而会「预期」而
    鉴「结果」而
    有（「可有」于「实得」）则「字节同吗」于「实得」于「预期」
    或有「可无」则「阴」
也。

「后继已满吗」乃化（「或可有」于「字节串」）而「爻」也。
「后继已满吗」者会「结果」而
    鉴「结果」而
    有「可无」则「阳」
    或有（「可有」于「实得」）则「阴」
也。

「总长正确吗」乃化（「或可有」于「整数」）而化「整数」而「爻」也。
「总长正确吗」者会「结果」而会「预期」而
    鉴「结果」而
    有（「可有」于「实得」）则「等于」于「实得」于「预期」
    或有「可无」则「阴」
也。

「报文可还吗」乃化（「或可有」于（「字节串」合「字节串」））而化「字节串」而化「字节串」而「爻」也。
「报文可还吗」者会「结果」而会「载荷」而会「下一」而
    鉴「结果」而
    有（「可有」于「对」）则「且」于（「字节同吗」于（「对」中「零」）于「载荷」）于（「字节同吗」于（「对」中「一」）于「下一」）
    或有「可无」则「阴」
也。

「报文拒绝吗」乃化（「或可有」于（「字节串」合「字节串」））而「爻」也。
「报文拒绝吗」者会「结果」而
    鉴「结果」而
    有「可无」则「阳」
    或有（「可有」于「对」）则「阴」
也。

「明文可还吗」乃化（「或可有」于「字节串」）而化「字节串」而「爻」也。
「明文可还吗」者会「结果」而会「预期」而
    鉴「结果」而
    有（「可有」于「实得」）则「字节同吗」于「实得」于「预期」
    或有「可无」则「阴」
也。

「明文拒绝吗」乃化（「或可有」于「字节串」）而「爻」也。
「明文拒绝吗」者会「结果」而
    鉴「结果」而
    有「可无」则「阳」
    或有（「可有」于「实得」）则「阴」
也。

「待帧吗」乃化「分帧结果」而「爻」也。
「待帧吗」者会「结果」而
    鉴「结果」而
    有「仍待数据」则「阳」
    或有（「已取报文」于「对」）则「阴」
    或有「报头非法」则「阴」
也。

「非法帧吗」乃化「分帧结果」而「爻」也。
「非法帧吗」者会「结果」而
    鉴「结果」而
    有「报头非法」则「阳」
    或有「仍待数据」则「阴」
    或有（「已取报文」于「对」）则「阴」
也。

「首帧可得吗」乃化「分帧结果」而化「字节串」而化「字节串」而「爻」也。
「首帧可得吗」者会「结果」而会「预期帧」而会「预期余」而
    鉴「结果」而
    有（「已取报文」于「对」）则「且」于（「字节同吗」于（「对」中「零」）于「预期帧」）于（「字节同吗」于（「对」中「一」）于「预期余」）
    或有「仍待数据」则「阴」
    或有「报头非法」则「阴」
也。

「版本可得吗」乃化「版本结果」而化「字节串」而化「字节串」而「爻」也。
「版本可得吗」者会「结果」而会「预期版」而会「预期余」而
    鉴「结果」而
    有（「版本已得」于「对」）则「且」于（「字节同吗」于（「对」中「零」）于「预期版」）于（「字节同吗」于（「对」中「一」）于「预期余」）
    或有「版本未足」则「阴」
    或有「版本非法」则「阴」
也。

「版本待吗」乃化「版本结果」而「爻」也。
「版本待吗」者会「结果」而
    鉴「结果」而
    有「版本未足」则「阳」
    或有（「版本已得」于「对」）则「阴」
    或有「版本非法」则「阴」
也。

「版本拒绝吗」乃化「版本结果」而「爻」也。
「版本拒绝吗」者会「结果」而
    鉴「结果」而
    有「版本非法」则「阳」
    或有「版本未足」则「阴」
    或有（「版本已得」于「对」）则「阴」
也。

「造标识填充」乃化「整数」而「字节串」也。
「造标识填充」者会「数」而
    若「等于」于「数」于「零」则「空字节串」于「元」
    否则「拼接字节串」于（「单字节串」于「九七」）于（「造标识填充」于（「减」于「数」于「一」））
也。

「验版本」乃化「有」而「爻」也。
「验版本」者会「无」而
    虑「空」者「空字节串」于「元」而
    虑「本端」者「本端版本行」于「元」而
    虑「净版」者「字符串转字节串」于『SSH-2.0-Yuyan_0.1』而
    虑「验」者「版本可得吗」于（「读取版本行」于「本端」）于「净版」于「空」而
    虑「验」者「且」于「验」于（「版本待吗」于（「读取版本行」于（「截取字节串」于「本端」于「零」于「四」）））而
    虑「前置」者「拼接字节串」于（「拼接字节串」于（「字符串转字节串」于『Welcome』）于（「拼接字节串」于（「单字节串」于「一三」）于（「单字节串」于「一零」）））于（「拼接字节串」于「本端」于（「字符串转字节串」于『ABCD』））而
    虑「验」者「且」于「验」于（「版本可得吗」于（「读取版本行」于「前置」）于「净版」于（「字符串转字节串」于『ABCD』））而
    虑「旧兼容」者「拼接字节串」于（「字符串转字节串」于『SSH-1.99-test』）于（「单字节串」于「一零」）而
    虑「验」者「且」于「验」于（「版本可得吗」于（「读取版本行」于「旧兼容」）于（「字符串转字节串」于『SSH-1.99-test』）于「空」）而
    虑「旧版」者「拼接字节串」于（「字符串转字节串」于『SSH-1.0-old』）于（「拼接字节串」于（「单字节串」于「一三」）于（「单字节串」于「一零」））而
    虑「验」者「且」于「验」于（「版本拒绝吗」于（「读取版本行」于「旧版」））而
    虑「有零」者「拼接字节串」于（「拼接字节串」于（「字符串转字节串」于『SSH-2.0-』）于（「单字节串」于「零」））于（「拼接字节串」于（「单字节串」于「一三」）于（「单字节串」于「一零」））而
    虑「验」者「且」于「验」于（「版本拒绝吗」于（「读取版本行」于「有零」））而
    虑「坏名」者「拼接字节串」于（「字符串转字节串」于『SSH-2.0-bad-name』）于（「拼接字节串」于（「单字节串」于「一三」）于（「单字节串」于「一零」））而
    虑「验」者「且」于「验」于（「版本拒绝吗」于（「读取版本行」于「坏名」））而
    虑「过长」者「拼接字节串」于（「拼接字节串」于（「字符串转字节串」于『SSH-2.0-』）于（「造标识填充」于「二四六」））于（「拼接字节串」于（「单字节串」于「一三」）于（「单字节串」于「一零」））而
    「且」于「验」于（「版本拒绝吗」于（「读取版本行」于「过长」））
也。

「可选字节同吗」乃化（「或可有」于「字节串」）而化「字节串」而「爻」也。
「可选字节同吗」者会「结果」而会「预期」而
    鉴「结果」而
    有（「可有」于「实得」）则「字节同吗」于「实得」于「预期」
    或有「可无」则「阴」
也。

「协商含名吗」乃化（「或可有」于「字节串」）而化「字节串」而「爻」也。
「协商含名吗」者会「结果」而会「名」而
    鉴「结果」而
    有（「可有」于「名称列」）则「名称列含名吗」于「名称列」于「名」
    或有「可无」则「阴」
也。

「验协商」乃化「有」而「爻」也。
「验协商」者会「无」而
    虑「载荷」者「本端客户协商载荷」于「元」而
    虑「验」者「协商载荷可用吗」于「载荷」而
    虑「验」者「且」于「验」于（「等于」于（「字节串取字节」于「载荷」于「零」）于「二零」）而
    虑「验」者「且」于「验」于（「可选字节同吗」于（「读取协商名称列」于「载荷」于「零」）于（「字符串转字节串」于『curve25519-sha256,curve25519-sha256@libssh.org』））而
    虑「验」者「且」于「验」于（「可选字节同吗」于（「读取协商名称列」于「载荷」于「一」）于（「字符串转字节串」于『ssh-ed25519』））而
    虑「验」者「且」于「验」于（「协商含名吗」于（「读取协商名称列」于「载荷」于「零」）于（「字符串转字节串」于『curve25519-sha256』））而
    虑「验」者「且」于「验」于（「非」于（「协商含名吗」于（「读取协商名称列」于「载荷」于「零」）于（「字符串转字节串」于『curve25519-sha25』）））而
    虑「验」者「且」于「验」于（「可选字节同吗」于（「读取协商名称列」于「载荷」于「八」）于（「空字节串」于「元」））而
    虑「验」者「且」于「验」于（「非」于（「协商载荷可用吗」于（「截取字节串」于「载荷」于「零」于（「减」于（「字节串长度」于「载荷」）于「一」））））而
    虑「伪首名」者「拼接字节串」于（「截取字节串」于「载荷」于「零」于「二一」）于
        （「拼接字节串」于（「单字节串」于「四四」）于（「截取字节串」于「载荷」于「二二」于（「减」于（「字节串长度」于「载荷」）于「二二」）））而
    虑「验」者「且」于「验」于（「非」于（「协商载荷可用吗」于「伪首名」））而
    虑「末位」者「减」于（「字节串长度」于「载荷」）于「五」而
    虑「伪猜测」者「拼接字节串」于（「截取字节串」于「载荷」于「零」于「末位」）于（「拼接字节串」于（「单字节串」于「二」）于（「截取字节串」于「载荷」于（「加」于「末位」于「一」）于「四」））而
    虑「验」者「且」于「验」于（「非」于（「协商载荷可用吗」于「伪猜测」））而
    虑「伪保留」者「拼接字节串」于（「截取字节串」于「载荷」于「零」于（「减」于（「字节串长度」于「载荷」）于「一」））于（「单字节串」于「一」）而
    虑「验」者「且」于「验」于（「非」于（「协商载荷可用吗」于「伪保留」））而
    虑「明文帧」者「编码明文报文」于「载荷」而
    「且」于「验」于（「明文可还吗」于（「解码明文报文」于「明文帧」）于「载荷」）
也。

「验正数编码」乃化「有」而「爻」也。
「验正数编码」者会「无」而
    虑「空」者「空字节串」于「元」而
    虑「零文」者「造零字节」于「四」而
    虑「验」者「字节同吗」于（「编码正数多字节」于「零文」）于（「编码四字节无符号数」于「零」）而
    虑「八零」者「单字节串」于「一二八」而
    虑「期八零」者「拼接字节串」于（「编码四字节无符号数」于「二」）于（「拼接字节串」于（「单字节串」于「零」）于「八零」）而
    虑「验」者「且」于「验」于（「字节同吗」于（「编码正数多字节」于「八零」）于「期八零」）而
    虑「有前零」者「拼接字节串」于（「单字节串」于「零」）于（「单字节串」于「九」）而
    虑「期九」者「拼接字节串」于（「编码四字节无符号数」于「一」）于（「单字节串」于「九」）而
    「且」于「验」于（「字节同吗」于（「编码正数多字节」于「有前零」）于「期九」）
也。

「回报可读吗」乃化（「或可有」于（「字节串」合「字节串」合「字节串」））而化「字节串」而化「字节串」而化「字节串」而「爻」也。
「回报可读吗」者会「结果」而会「主钥」而会「公钥」而会「签名」而
    鉴「结果」而
    有（「可有」于「字段」）则
        「且」于（「字节同吗」于（「字段」中「零」）于「主钥」）于
            （「且」于（「字节同吗」于（「字段」中「一」）于「公钥」）于（「字节同吗」于（「字段」中「二」）于「签名」））
    或有「可无」则「阴」
也。

「回报拒绝吗」乃化（「或可有」于（「字节串」合「字节串」合「字节串」））而「爻」也。
「回报拒绝吗」者会「结果」而
    鉴「结果」而
    有「可无」则「阳」
    或有（「可有」于「字段」）则「阴」
也。

「验曲线换钥」乃化「有」而「爻」也。
「验曲线换钥」者会「无」而
    虑「客户种」者「获取安全随机字节串」于「三二」而
    虑「服务种」者「获取安全随机字节串」于「三二」而
    虑「主种」者「获取安全随机字节串」于「三二」而
    虑「客户公」者「求X25519公钥」于「客户种」而
    虑「服务公」者「求X25519公钥」于「服务种」而
    虑「共密」者「求X25519共密」于「客户种」于「服务公」而
    虑「主公」者「求Ed25519公钥」于「主种」而
    虑「主钥」者「拼接字节串」于（「编码长度字节串」于（「字符串转字节串」于『ssh-ed25519』））于（「编码长度字节串」于「主公」）而
    虑「哈希」者「求曲线交换哈希」于（「字符串转字节串」于『SSH-2.0-client』）于（「字符串转字节串」于『SSH-2.0-server』）于（「单字节串」于「二零」）于（「单字节串」于「二零」）于「主钥」于「客户公」于「服务公」于「共密」而
    虑「签名」者「拼接字节串」于（「编码长度字节串」于（「字符串转字节串」于『ssh-ed25519』））于（「编码长度字节串」于（「签Ed25519」于「主种」于「哈希」））而
    虑「回报」者「拼接字节串」于（「单字节串」于「三一」）于（「拼接字节串」于（「编码长度字节串」于「主钥」）于（「拼接字节串」于（「编码长度字节串」于「服务公」）于（「编码长度字节串」于「签名」）））而
    虑「验」者「字节同吗」于（「编码曲线换钥初报」于「客户公」）于（「拼接字节串」于（「单字节串」于「三零」）于（「编码长度字节串」于「客户公」））而
    虑「验」者「且」于「验」于（「回报可读吗」于（「读取曲线换钥回报」于「回报」）于「主钥」于「服务公」于「签名」）而
    虑「验」者「且」于「验」于（「验可信Ed25519回报」于「主钥」于「签名」于「哈希」于「主钥」）而
    虑「验」者「且」于「验」于（「非」于（「验可信Ed25519回报」于「主钥」于「签名」于「哈希」于（「空字节串」于「元」）））而
    虑「改首字」者若「等于」于（「字节串取字节」于「哈希」于「零」）于「零」则「一」否则「零」而
    虑「改哈希」者「拼接字节串」于（「单字节串」于「改首字」）于（「截取字节串」于「哈希」于「一」于「三一」）而
    虑「验」者「且」于「验」于（「非」于（「验可信Ed25519回报」于「主钥」于「签名」于「改哈希」于「主钥」））而
    虑「坏主钥」者「截取字节串」于「主钥」于「零」于（「减」于（「字节串长度」于「主钥」）于「一」）而
    虑「验」者「且」于「验」于（「非」于（「验可信Ed25519回报」于「坏主钥」于「签名」于「哈希」于「坏主钥」））而
    虑「验」者「且」于「验」于（「回报拒绝吗」于（「读取曲线换钥回报」于（「截取字节串」于「回报」于「零」于（「减」于（「字节串长度」于「回报」）于「一」））））而
    「且」于「验」于（「回报拒绝吗」于（「读取曲线换钥回报」于（「拼接字节串」于「回报」于（「单字节串」于「零」））））
也。

「验服务换钥」乃化「有」而「爻」也。
「验服务换钥」者会「无」而
    虑「客户种」者「获取安全随机字节串」于「三二」而
    虑「服务种」者「获取安全随机字节串」于「三二」而
    虑「主种」者「获取安全随机字节串」于「三二」而
    虑「客户公」者「求X25519公钥」于「客户种」而
    虑「初报」者「编码曲线换钥初报」于「客户公」而
    虑「客协商」者「本端客户协商载荷」于「元」而
    虑「服协商」者「本端服务协商载荷」于「元」而
    虑「客户版」者「字符串转字节串」于『SSH-2.0-client』而
    虑「服务版」者「字符串转字节串」于『SSH-2.0-server』而
    虑「回报与密哈」者「生成曲线服务端回报」于「客户版」于「服务版」于「客协商」于「服协商」于「客户公」于「服务种」于「主种」而
    虑「回报」者「回报与密哈」中「零」而
    虑「主钥」者「编码Ed25519主钥载物」于「主种」而
    虑「服务公」者「求X25519公钥」于「服务种」而
    虑「客户端共密」者「求X25519共密」于「客户种」于「服务公」而
    虑「客户端哈希」者「求曲线交换哈希」于「客户版」于「服务版」于「客协商」于「服协商」于「主钥」于「客户公」于「服务公」于「客户端共密」而
    虑「签载」者「编码Ed25519换钥签载物」于「主种」于「客户端哈希」而
    虑「验」者「可选字节同吗」于（「读取曲线换钥初报」于「初报」）于「客户公」而
    虑「验」者「且」于「验」于（「明文拒绝吗」于（「读取曲线换钥初报」于（「拼接字节串」于「初报」于（「单字节串」于「零」））））而
    虑「验」者「且」于「验」于（「回报可读吗」于（「读取曲线换钥回报」于「回报」）于「主钥」于「服务公」于「签载」）而
    虑「验」者「且」于「验」于（「字节同吗」于（「回报与密哈」中「一」）于「客户端共密」）而
    虑「验」者「且」于「验」于（「字节同吗」于（「回报与密哈」中「二」）于「客户端哈希」）而
    「且」于「验」于（「验可信Ed25519回报」于「主钥」于「签载」于「客户端哈希」于「主钥」）
也。

「验派钥」乃化「有」而「爻」也。
「验派钥」者会「无」而
    虑「共密」者「字符串转字节串」于『0123456789abcdefghijklmnopqrstuv』而
    虑「哈希」者「字符串转字节串」于『ABCDEFGHIJKLMNOPQRSTUVWXYZabcdef』而
    虑「会话」者「字符串转字节串」于『abcdefghijklmnopqrstuvwxyzABCDEF』而
    虑「首段」者「解十六进制」于『ee8e2415ce3ff9cea41c1bd68853f483f6b2461fa9801cdf9e7bf86fadd0cd9b』而
    虑「次段」者「解十六进制」于『a8bd062a6d545a5686e511a0d22f30ee』而
    虑「期四八」者「拼接字节串」于「首段」于「次段」而
    虑「验」者「字节同吗」于（「派生SSH密钥材料」于「共密」于「哈希」于「会话」于「六七」于「三二」）于「首段」而
    虑「验」者「且」于「验」于（「字节同吗」于（「派生SSH密钥材料」于「共密」于「哈希」于「会话」于「六七」于「四八」）于「期四八」）而
    虑「期IV」者「解十六进制」于『b238d38dd2922298767b0fe0』而
    虑「验」者「且」于「验」于（「字节同吗」于（「派生SSH密钥材料」于「共密」于「哈希」于「会话」于「六五」于「一二」）于「期IV」）而
    虑「发钥」者「派生客户发送GCM钥」于「共密」于「哈希」于「会话」而
    虑「验」者「且」于「验」于（「字节同吗」于（「发钥」中「零」）于「首段」）而
    虑「验」者「且」于「验」于（「字节同吗」于（「发钥」中「一」）于「期IV」）而
    虑「验」者「且」于「验」于（「启用新钥载荷可用吗」于（「编码启用新钥载荷」于「元」））而
    虑「验」者「且」于「验」于（「非」于（「启用新钥载荷可用吗」于（「拼接字节串」于（「编码启用新钥载荷」于「元」）于（「单字节串」于「零」））））而
    虑「名」者「字符串转字节串」于『ssh-userauth』而
    虑「请求」者「编码服务请求载荷」于「名」而
    虑「接受」者「拼接字节串」于（「单字节串」于「六」）于（「编码长度字节串」于「名」）而
    虑「验」者「且」于「验」于（「字节同吗」于「请求」于（「拼接字节串」于（「单字节串」于「五」）于（「编码长度字节串」于「名」）））而
    虑「验」者「且」于「验」于（「服务请求载荷可用吗」于「请求」于「名」）而
    虑「验」者「且」于「验」于（「字节同吗」于（「编码服务接受载荷」于「名」）于「接受」）而
    虑「验」者「且」于「验」于（「服务接受载荷可用吗」于「接受」于「名」）而
    虑「验」者「且」于「验」于（「非」于（「服务接受载荷可用吗」于（「拼接字节串」于「接受」于（「单字节串」于「零」））于「名」））而
    「且」于「验」于（「非」于（「服务接受载荷可用吗」于「请求」于「名」））
也。

「认证失败可得吗」乃化（「或可有」于（「字节串」合「爻」））而化「字节串」而化「爻」而「爻」也。
「认证失败可得吗」者会「结果」而会「方法列」而会「部分」而
    鉴「结果」而
    有（「可有」于「字段」）则「且」于（「字节同吗」于（「字段」中「零」）于「方法列」）于（若（「字段」中「一」）则「部分」否则「非」于「部分」）
    或有「可无」则「阴」
也。

「认证失败拒绝吗」乃化（「或可有」于（「字节串」合「爻」））而「爻」也。
「认证失败拒绝吗」者会「结果」而
    鉴「结果」而
    有「可无」则「阳」
    或有（「可有」于「字段」）则「阴」
也。

「验用户认证」乃化「有」而「爻」也。
「验用户认证」者会「无」而
    虑「用户」者「字符串转字节串」于『testuser』而
    虑「服务名」者「字符串转字节串」于『ssh-connection』而
    虑「会话」者「获取安全随机字节串」于「三二」而
    虑「私种」者「获取安全随机字节串」于「三二」而
    虑「公钥」者「求Ed25519公钥」于「私种」而
    虑「请求」者「编码Ed25519认证请求」于「用户」于「服务名」于「会话」于「私种」而
    虑「验」者「验Ed25519认证请求」于「请求」于「用户」于「服务名」于「会话」于「公钥」而
    虑「验」者「且」于「验」于（「非」于（「验Ed25519认证请求」于「请求」于（「字符串转字节串」于『other』）于「服务名」于「会话」于「公钥」））而
    虑「验」者「且」于「验」于（「非」于（「验Ed25519认证请求」于「请求」于「用户」于（「字符串转字节串」于『other』）于「会话」于「公钥」））而
    虑「验」者「且」于「验」于（「非」于（「验Ed25519认证请求」于「请求」于「用户」于「服务名」于（「造零字节」于「三二」）于「公钥」））而
    虑「验」者「且」于「验」于（「非」于（「验Ed25519认证请求」于「请求」于「用户」于「服务名」于「会话」于（「造零字节」于「三二」）））而
    虑「末字」者「字节串取字节」于「请求」于（「减」于（「字节串长度」于「请求」）于「一」）而
    虑「改字」者若「等于」于「末字」于「二五五」则「零」否则「加」于「末字」于「一」而
    虑「伪签请求」者「拼接字节串」于（「截取字节串」于「请求」于「零」于（「减」于（「字节串长度」于「请求」）于「一」））于（「单字节串」于「改字」）而
    虑「验」者「且」于「验」于（「非」于（「验Ed25519认证请求」于「伪签请求」于「用户」于「服务名」于「会话」于「公钥」））而
    虑「无请求」者「编码无认证请求」于「用户」于「服务名」而
    虑「验」者「且」于「验」于（「无认证请求可用吗」于「无请求」于「用户」于「服务名」）而
    虑「验」者「且」于「验」于（「非」于（「无认证请求可用吗」于（「拼接字节串」于「无请求」于（「单字节串」于「零」））于「用户」于「服务名」））而
    虑「方法」者「字符串转字节串」于『publickey』而
    虑「失败」者「拼接字节串」于（「单字节串」于「五一」）于（「拼接字节串」于（「编码长度字节串」于「方法」）于（「单字节串」于「零」））而
    虑「验」者「且」于「验」于（「字节同吗」于（「编码认证失败载荷」于「方法」于「阴」）于「失败」）而
    虑「验」者「且」于「验」于（「认证失败可得吗」于（「读取认证失败」于「失败」）于「方法」于「阴」）而
    虑「验」者「且」于「验」于（「认证失败拒绝吗」于（「读取认证失败」于（「拼接字节串」于「失败」于（「单字节串」于「零」））））而
    虑「公钥载物」者「编码Ed25519公钥载物」于「私种」而
    虑「试探」者「编码Ed25519公钥试探请求」于「用户」于「服务名」于「公钥」而
    虑「验」者「且」于「验」于（「Ed25519公钥试探可用吗」于「试探」于「用户」于「服务名」于「公钥」）而
    虑「验」者「且」于「验」于（「非」于（「Ed25519公钥试探可用吗」于「试探」于（「字符串转字节串」于『other』）于「服务名」于「公钥」））而
    虑「验」者「且」于「验」于（「非」于（「Ed25519公钥试探可用吗」于「试探」于「用户」于（「字符串转字节串」于『other』）于「公钥」））而
    虑「验」者「且」于「验」于（「非」于（「Ed25519公钥试探可用吗」于「试探」于「用户」于「服务名」于（「造零字节」于「三二」）））而
    虑「验」者「且」于「验」于（「非」于（「Ed25519公钥试探可用吗」于（「拼接字节串」于「试探」于（「单字节串」于「零」））于「用户」于「服务名」于「公钥」））而
    虑「验」者「且」于「验」于（「非」于（「验Ed25519认证请求」于「试探」于「用户」于「服务名」于「会话」于「公钥」））而
    虑「待签」者「拼接字节串」于（「单字节串」于「六零」）于（「拼接字节串」于（「编码长度字节串」于（「字符串转字节串」于『ssh-ed25519』））于（「编码长度字节串」于「公钥载物」））而
    虑「验」者「且」于「验」于（「字节同吗」于（「编码Ed25519公钥待签载荷」于「公钥」）于「待签」）而
    虑「验」者「且」于「验」于（「Ed25519公钥待签可用吗」于「待签」于「公钥载物」）而
    虑「验」者「且」于「验」于（「非」于（「Ed25519公钥待签可用吗」于（「拼接字节串」于「待签」于（「单字节串」于「零」））于「公钥载物」））而
    虑「验」者「且」于「验」于（「认证成功载荷可用吗」于（「单字节串」于「五二」））而
    虑「验」者「且」于「验」于（「字节同吗」于（「编码认证成功载荷」于「元」）于（「单字节串」于「五二」））而
    「且」于「验」于（「非」于（「认证成功载荷可用吗」于（「拼接字节串」于（「单字节串」于「五二」）于（「单字节串」于「零」））））
也。

「验明文与分帧」乃化「有」而「爻」也。
「验明文与分帧」者会「无」而
    虑「空」者「空字节串」于「元」而
    虑「载荷」者「字符串转字节串」于『abc』而
    虑「报文」者「编码明文报文」于「载荷」而
    虑「验」者「等于」于（「字节串长度」于「报文」）于「一六」而
    虑「验」者「且」于「验」于（「字节同吗」于（「截取字节串」于「报文」于「零」于「四」）于（「编码四字节无符号数」于「一二」））而
    虑「验」者「且」于「验」于（「等于」于（「字节串取字节」于「报文」于「四」）于「八」）而
    虑「验」者「且」于「验」于（「总长正确吗」于（「探明文报文总长」于「报文」）于「一六」）而
    虑「验」者「且」于「验」于（「明文可还吗」于（「解码明文报文」于「报文」）于「载荷」）而
    虑「验」者「且」于「验」于（「待帧吗」于（「提取明文报文」于（「截取字节串」于「报文」于「零」于「三」）））而
    虑「验」者「且」于「验」于（「待帧吗」于（「提取明文报文」于（「截取字节串」于「报文」于「零」于「四」）））而
    虑「验」者「且」于「验」于（「首帧可得吗」于（「提取明文报文」于「报文」）于「报文」于「空」）而
    虑「双报」者「拼接字节串」于「报文」于「报文」而
    虑「验」者「且」于「验」于（「首帧可得吗」于（「提取明文报文」于「双报」）于「报文」于「报文」）而
    虑「伪头」者「编码四字节无符号数」于「一三」而
    虑「验」者「且」于「验」于（「非法帧吗」于（「提取明文报文」于「伪头」））而
    虑「伪填」者「拼接字节串」于（「截取字节串」于「报文」于「零」于「四」）于
        （「拼接字节串」于（「单字节串」于「三」）于（「截取字节串」于「报文」于「五」于「一一」））而
    虑「验」者「且」于「验」于（「明文拒绝吗」于（「解码明文报文」于「伪填」））而
    虑「大载荷」者「获取安全随机字节串」于「三二七六八」而
    虑「大报」者「编码明文报文」于「大载荷」而
    虑「验」者「且」于「验」于（「等于」于（「字节串长度」于「大报」）于「三二七八四」）而
    虑「验」者「且」于「验」于（「明文可还吗」于（「解码明文报文」于「大报」）于「大载荷」）而
    虑「钥」者「获取安全随机字节串」于「三二」而
    虑「IV」者「拼接字节串」于（「字符串转字节串」于『ABCD』）于（「造零字节」于「八」）而
    虑「加密帧」者（「加密AES256GCM报文」于「钥」于「IV」于「载荷」）中「零」而
    虑「验」者「且」于「验」于（「待帧吗」于（「提取AES256GCM报文」于（「截取字节串」于「加密帧」于「零」于「四」）））而
    虑「验」者「且」于「验」于（「首帧可得吗」于（「提取AES256GCM报文」于「加密帧」）于「加密帧」于「空」）而
    虑「验」者「且」于「验」于（「首帧可得吗」于（「提取AES256GCM报文」于（「拼接字节串」于「加密帧」于「加密帧」））于「加密帧」于「加密帧」）而
    虑「伪密头」者「拼接字节串」于（「单字节串」于「二五五」）于（「截取字节串」于「加密帧」于「一」于（「减」于（「字节串长度」于「加密帧」）于「一」））而
    「且」于「验」于（「非法帧吗」于（「提取AES256GCM报文」于「伪密头」））
也。

「断开可得吗」乃化（「或可有」于（「整数」合「字节串」合「字节串」））而「爻」也。
「断开可得吗」者会「结果」而鉴「结果」而
    有（「可有」于「字段」）则「且」于（「等于」于（「字段」中「零」）于「七」）于（「且」于（「字节同吗」于（「字段」中「一」）于（「字符串转字节串」于『no service』））于（「等于」于（「字节串长度」于（「字段」中「二」））于「零」））
    或有「可无」则「阴」
也。

「断开拒绝吗」乃化（「或可有」于（「整数」合「字节串」合「字节串」））而「爻」也。
「断开拒绝吗」者会「结果」而鉴「结果」而有「可无」则「阳」或有（「可有」于「字段」）则「阴」也。

「调试可得吗」乃化（「或可有」于（「爻」合「字节串」合「字节串」））而「爻」也。
「调试可得吗」者会「结果」而鉴「结果」而
    有（「可有」于「字段」）则（若「字段」中「零」则「且」于（「字节同吗」于（「字段」中「一」）于（「字符串转字节串」于『hello』））于（「字节同吗」于（「字段」中「二」）于（「字符串转字节串」于『zh』））否则「阴」）
    或有「可无」则「阴」
也。

「调试拒绝吗」乃化（「或可有」于（「爻」合「字节串」合「字节串」））而「爻」也。
「调试拒绝吗」者会「结果」而鉴「结果」而有「可无」则「阳」或有（「可有」于「字段」）则「阴」也。

「未实现拒绝吗」乃化（「或可有」于「整数」）而「爻」也。
「未实现拒绝吗」者会「结果」而鉴「结果」而有「可无」则「阳」或有（「可有」于「字段」）则「阴」也。

「验传输控制」乃化「有」而「爻」也。
「验传输控制」者会「无」而
    虑「空」者「空字节串」于「元」而
    虑「断开」者「编码断开载荷」于「七」于『no service』于『』而
    虑「期断开」者「解十六进制」于『01000000070000000a6e6f207365727669636500000000』而
    虑「验」者「字节同吗」于「断开」于「期断开」而
    虑「验」者「且」于「验」于（「断开可得吗」于（「读取断开载荷」于「断开」））而
    虑「验」者「且」于「验」于（「断开拒绝吗」于（「读取断开载荷」于（「拼接字节串」于「断开」于（「单字节串」于「零」））））而
    虑「零原因」者「拼接字节串」于（「单字节串」于「一」）于（「拼接字节串」于（「编码四字节无符号数」于「零」）于（「拼接字节串」于（「编码长度字节串」于「空」）于（「编码长度字节串」于「空」）））而
    虑「验」者「且」于「验」于（「断开拒绝吗」于（「读取断开载荷」于「零原因」））而
    虑「忽略」者「编码忽略载荷」于（「字符串转字节串」于『abc』）而
    虑「验」者「且」于「验」于（「后继等于吗」于（「读取忽略载荷」于「忽略」）于（「字符串转字节串」于『abc』））而
    虑「验」者「且」于「验」于（「后继已满吗」于（「读取忽略载荷」于（「拼接字节串」于「忽略」于（「单字节串」于「零」））））而
    虑「未实现」者「编码未实现载荷」于「四二九四九六七二九五」而
    虑「验」者「且」于「验」于（「字节同吗」于「未实现」于（「解十六进制」于『03ffffffff』））而
    虑「验」者「且」于「验」于（「总长正确吗」于（「读取未实现载荷」于「未实现」）于「四二九四九六七二九五」）而
    虑「验」者「且」于「验」于（「未实现拒绝吗」于（「读取未实现载荷」于（「拼接字节串」于「未实现」于（「单字节串」于「零」））））而
    虑「调试」者「编码调试载荷」于「阳」于『hello』于『zh』而
    虑「验」者「且」于「验」于（「调试可得吗」于（「读取调试载荷」于「调试」））而
    虑「验」者「且」于「验」于（「调试拒绝吗」于（「读取调试载荷」于（「拼接字节串」于（「单字节串」于「四」）于（「拼接字节串」于（「单字节串」于「二」）于（「截取字节串」于「调试」于「二」于（「减」于（「字节串长度」于「调试」）于「二」））））））而
    「且」于「验」于（「调试拒绝吗」于（「读取调试载荷」于（「拼接字节串」于「调试」于（「单字节串」于「零」））））
也。

「验报文」乃化「有」而「爻」也。
「验报文」者会「无」而
    虑「钥」者「获取安全随机字节串」于「三二」而
    虑「首」者「字符串转字节串」于『ABCD』而
    虑「初IV」者「拼接字节串」于「首」于（「拼接字节串」于（「造零字节」于「七」）于（「单字节串」于「二五四」））而
    虑「次IV」者「拼接字节串」于「首」于（「拼接字节串」于（「造零字节」于「七」）于（「单字节串」于「二五五」））而
    虑「三IV」者「拼接字节串」于「首」于（「拼接字节串」于（「造零字节」于「六」）于（「拼接字节串」于（「单字节串」于「一」）于（「单字节串」于「零」）））而
    虑「验」者「后继等于吗」于（「下一GCM随机数」于「初IV」）于「次IV」而
    虑「验」者「且」于「验」于（「后继等于吗」于（「下一GCM随机数」于「次IV」）于「三IV」）而
    虑「验」者「且」于「验」于（「后继已满吗」于（「下一GCM随机数」于（「拼接字节串」于「首」于（「造满字节」于「八」））））而
    虑「空」者「空字节串」于「元」而
    虑「首报与次」者「加密AES256GCM报文」于「钥」于「初IV」于「空」而
    虑「首报」者「首报与次」中「零」而
    虑「验」者「且」于「验」于（「字节同吗」于（「首报与次」中「一」）于「次IV」）而
    虑「验」者「且」于「验」于（「等于」于（「字节串长度」于「首报」）于「三六」）而
    虑「验」者「且」于「验」于（「字节同吗」于（「截取字节串」于「首报」于「零」于「四」）于（「编码四字节无符号数」于「一六」））而
    虑「验」者「且」于「验」于（「总长正确吗」于（「探AES256GCM报文总长」于「首报」）于「三六」）而
    虑「验」者「且」于「验」于（「报文可还吗」于（「解密AES256GCM报文」于「钥」于「初IV」于「首报」）于「空」于「次IV」）而
    虑「载荷」者「字符串转字节串」于『hello』而
    虑「次报与三」者「加密AES256GCM报文」于「钥」于「次IV」于「载荷」而
    虑「验」者「且」于「验」于（「报文可还吗」于（「解密AES256GCM报文」于「钥」于「次IV」于（「次报与三」中「零」））于「载荷」于「三IV」）而
    虑「伪长」者「拼接字节串」于（「单字节串」于「二五五」）于（「截取字节串」于「首报」于「一」于（「减」于（「字节串长度」于「首报」）于「一」））而
    虑「验」者「且」于「验」于（「报文拒绝吗」于（「解密AES256GCM报文」于「钥」于「初IV」于「伪长」））而
    虑「末字」者「字节串取字节」于「首报」于（「减」于（「字节串长度」于「首报」）于「一」）而
    虑「改字」者若「等于」于「末字」于「二五五」则「零」否则「加」于「末字」于「一」而
    虑「伪签」者「拼接字节串」于（「截取字节串」于「首报」于「零」于（「减」于（「字节串长度」于「首报」）于「一」））于（「单字节串」于「改字」）而
    虑「验」者「且」于「验」于（「报文拒绝吗」于（「解密AES256GCM报文」于「钥」于「初IV」于「伪签」））而
    虑「长文」者「编码四字节无符号数」于「一六」而
    虑「伪明」者「拼接字节串」于（「单字节串」于「三」）于（「拼接字节串」于（「字符串转字节串」于『abcdefghijkl』）于（「造零字节」于「三」））而
    虑「伪填报」者「拼接字节串」于「长文」于（「加密AES256GCM」于「钥」于「三IV」于「长文」于「伪明」）而
    虑「验」者「且」于「验」于（「报文拒绝吗」于（「解密AES256GCM报文」于「钥」于「三IV」于「伪填报」））而
    虑「大载荷」者「获取安全随机字节串」于「三二七六八」而
    虑「大报与后继」者「加密AES256GCM报文」于「钥」于「三IV」于「大载荷」而
    「且」于「验」于（「报文可还吗」于（「解密AES256GCM报文」于「钥」于「三IV」于（「大报与后继」中「零」））于「大载荷」于（「大报与后继」中「一」））
也。

虑「结论」者「且」于（「且」于（「且」于（「且」于（「且」于（「且」于（「且」于（「且」于（「且」于（「验报文」于「元」）于（「验明文与分帧」于「元」））于（「验版本」于「元」））于（「验协商」于「元」））于（「验正数编码」于「元」））于（「验曲线换钥」于「元」））于（「验服务换钥」于「元」））于（「验派钥」于「元」））于（「验用户认证」于「元」））于（「验传输控制」于「元」）而
若「结论」则「打印行」于『安全外壳报文验证通过』否则「发生事故」授以「有」于『安全外壳报文验证失败』。
