寻观「标准库」之书。
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「爻术」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻「标准库」之「数据结构」之「小数操作」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「安全外壳协议」之「派钥」之书。
寻观「安全外壳协议」之「报文」之书。
寻观「安全外壳会话」之「重换钥」之书。
寻观「安全外壳会话」之「重换钥传输」之书。
寻观「安全外壳会话」之「加密收包」之书。

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

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

「必须切换」乃化（「或可有」于（「重换钥状态」合「字节串」合「字节串」））而（「重换钥状态」合「字节串」合「字节串」）也。
「必须切换」者会「结果」而鉴「结果」而
    有（「可有」于「值」）则「值」
    或有「可无」则「发生事故」授以（「重换钥状态」合「字节串」合「字节串」）于『重换钥切换过早失败』
也。

「重复切换拒绝吗」乃化（「或可有」于（「重换钥状态」合「字节串」合「字节串」））而「爻」也。
「重复切换拒绝吗」者会「结果」而鉴「结果」而
    有「可无」则「阳」
    或有（「可有」于「值」）则「阴」
也。

「报文匹配吗」乃化（「或可有」于（「字节串」合「字节串」））而化「字节串」而「爻」也。
「报文匹配吗」者会「结果」而会「预期」而鉴「结果」而
    有（「可有」于「载荷与IV」）则「字节同」于（「载荷与IV」中「零」）于「预期」
    或有「可无」则「阴」
也。

「：文言：旧钥封 NEWKEYS，继以新钥报；双向各自启，首会话号不改。汉语：模拟双方用旧钥发送 NEWKEYS、分别切换收发钥，并以新钥互解后续载荷。：」
「验重换钥」乃化「有」而「爻」也。
「验重换钥」者会「无」而
    虑「首会话号」者「字符串转字节串」于『abcdefghijklmnopqrstuvwxyzABCDEF』而
    虑「旧共密」者「字符串转字节串」于『0123456789abcdefghijklmnopqrstuv』而
    虑「旧哈希」者「字符串转字节串」于『ABCDEFGHIJKLMNOPQRSTUVWXYZabcdef』而
    虑「新共密」者「字符串转字节串」于『ponmlkjihgfedcba9876543210uvwxyz』而
    虑「新哈希」者「字符串转字节串」于『ZYXWVUTSRQPONMLKJIHGFEDCBAabcdef』而
    虑「旧客发」者「派生客户发送GCM钥」于「旧共密」于「旧哈希」于「首会话号」而
    虑「旧服发」者「派生客户接收GCM钥」于「旧共密」于「旧哈希」于「首会话号」而
    虑「客态」者「准备重换钥」于「首会话号」于「新共密」于「新哈希」于「阳」而
    虑「服态」者「准备重换钥」于「首会话号」于「新共密」于「新哈希」于「阴」而
    虑「验」者「非」于（「重换钥完成吗」于「客态」）而
    虑「验」者「且」于「验」于（「字节同」于（「重换钥会话号」于「客态」）于「首会话号」）而
    虑「验」者「且」于「验」于（「非」于（「字节同」于「首会话号」于「新哈希」））而
    虑「新钥预期」者「派生客户发送GCM钥」于「新共密」于「新哈希」于「首会话号」而
    虑「错会话钥」者「派生客户发送GCM钥」于「新共密」于「新哈希」于「新哈希」而
    虑「验」者「且」于「验」于（「非」于（「字节同」于（「新钥预期」中「零」）于（「错会话钥」中「零」）））而
    虑「新钥报」者「编码启用新钥载荷」于「元」而
    虑「旧客报」者「加密AES256GCM报文」于（「旧客发」中「零」）于（「旧客发」中「一」）于「新钥报」而
    虑「旧服报」者「加密AES256GCM报文」于（「旧服发」中「零」）于（「旧服发」中「一」）于「新钥报」而
    虑「验」者「且」于「验」于（「报文匹配吗」于（「解密AES256GCM报文」于（「旧客发」中「零」）于（「旧客发」中「一」）于（「旧客报」中「零」））于「新钥报」）而
    虑「验」者「且」于「验」于（「报文匹配吗」于（「解密AES256GCM报文」于（「旧服发」中「零」）于（「旧服发」中「一」）于（「旧服报」中「零」））于「新钥报」）而
    虑「客已发」者「必须切换」于（「切换重换发送钥」于「客态」）而
    虑「服已收」者「必须切换」于（「切换重换接收钥」于「服态」）而
    虑「验」者「且」于「验」于（「字节同」于（「客已发」中「一」）于（「服已收」中「一」））而
    虑「验」者「且」于「验」于（「字节同」于（「客已发」中「二」）于（「服已收」中「二」））而
    虑「验」者「且」于「验」于（「非」于（「重换钥完成吗」于（「客已发」中「零」）））而
    虑「验」者「且」于「验」于（「重复切换拒绝吗」于（「切换重换发送钥」于（「客已发」中「零」）））而
    虑「服已发」者「必须切换」于（「切换重换发送钥」于（「服已收」中「零」））而
    虑「客已收」者「必须切换」于（「切换重换接收钥」于（「客已发」中「零」））而
    虑「验」者「且」于「验」于（「字节同」于（「服已发」中「一」）于（「客已收」中「一」））而
    虑「验」者「且」于「验」于（「重换钥完成吗」于（「服已发」中「零」））而
    虑「验」者「且」于「验」于（「重换钥完成吗」于（「客已收」中「零」））而
    虑「验」者「且」于「验」于（「重复切换拒绝吗」于（「切换重换接收钥」于（「客已收」中「零」）））而
    虑「新载」者「字符串转字节串」于『after-rekey』而
    虑「新报」者「加密AES256GCM报文」于（「客已发」中「一」）于（「客已发」中「二」）于「新载」而
    「且」于「验」于（「报文匹配吗」于（「解密AES256GCM报文」于（「服已收」中「一」）于（「服已收」中「二」）于（「新报」中「零」））于「新载」）
也。

「：文言：任一向报数至限乃换；低位越界计数如常。汉语：验证两个方向的包数阈值，并覆盖低 16 位回绕。：」
「验自动阈值」乃化「有」而「爻」也。
「验自动阈值」者会「无」而
    虑「基准」者「字符串转字节串」于『abcdefghijkl』而
    虑「一报」者「必须下一GCM随机数」于「基准」而
    虑「二报」者「必须下一GCM随机数」于「一报」而
    虑「三报」者「必须下一GCM随机数」于「二报」而
    虑「四报」者「必须下一GCM随机数」于「三报」而
    虑「前缀」者「字符串转字节串」于『abcdefghij』而
    虑「界前」者「拼接字节串」于「前缀」于（「拼接字节串」于（「单字节串」于「二五五」）于（「单字节串」于「二五四」））而
    虑「界后」者「必须下一GCM随机数」于（「必须下一GCM随机数」于「界前」）而
    虑「双满」者「拼接字节串」于（「单字节串」于「二五五」）于（「单字节串」于「二五五」）而
    虑「高满」者「拼接字节串」于「双满」于（「拼接字节串」于「双满」于「双满」）而
    虑「将尽」者「拼接字节串」于（「字符串转字节串」于『abcd』）于（「拼接字节串」于「高满」于（「拼接字节串」于（「单字节串」于「二五五」）于（「单字节串」于「二四零」）））而
    「且」于（「非」于（「应自动重换钥吗」于「基准」于「基准」于「基准」于「基准」于「四」））于
        （「且」于（「非」于（「应自动重换钥吗」于「三报」于「基准」于「基准」于「基准」于「四」））于
            （「且」于（「应自动重换钥吗」于「四报」于「基准」于「基准」于「基准」于「四」）于
                （「且」于（「应自动重换钥吗」于「基准」于「基准」于「四报」于「基准」于「四」）于
                    （「且」于（「应自动重换钥吗」于「界后」于「界前」于「基准」于「基准」于「二」）于
                        （「应自动重换钥吗」于「将尽」于「将尽」于「基准」于「基准」于「三二七六七」）））））
也。

「：文言：时限未至则否，足一秒乃是。汉语：验证单调时钟的时间阈值在恰好一秒时触发。：」
「验定时阈值」乃化「有」而「爻」也。
「验定时阈值」者会「无」而
    虑「起时」者「小数操作」之「理解小数」于『1000000000』而
    虑「界前」者「小数操作」之「理解小数」于『1999999999』而
    虑「界时」者「小数操作」之「理解小数」于『2000000000』而
    「且」于（「非」于（「应按时重换钥吗」于「起时」于「起时」于「一」））于
        （「且」于（「非」于（「应按时重换钥吗」于「起时」于「界前」于「一」））于
            （「应按时重换钥吗」于「起时」于「界时」于「一」））
也。

「：文言：密报未全勿进 IV，既齐乃验而递增。汉语：验证半包保留密文和接收 IV，完整报文到齐后才认证并递进 IV。：」
「验半包接收」乃化「有」而「爻」也。
「验半包接收」者会「无」而
    虑「首会话号」者「字符串转字节串」于『abcdefghijklmnopqrstuvwxyzABCDEF』而
    虑「共密」者「字符串转字节串」于『0123456789abcdefghijklmnopqrstuv』而
    虑「哈希」者「字符串转字节串」于『ABCDEFGHIJKLMNOPQRSTUVWXYZabcdef』而
    虑「钥与IV」者「派生客户发送GCM钥」于「共密」于「哈希」于「首会话号」而
    虑「载荷」者「字符串转字节串」于『fragmented-session-packet』而
    虑「密报」者「加密AES256GCM报文」于（「钥与IV」中「零」）于（「钥与IV」中「一」）于「载荷」而
    虑「半文」者「截取字节串」于（「密报」中「零」）于「零」于（「除以」于（「字节串长度」于（「密报」中「零」））于「二」）而
    虑「未足」者「尝试解密缓冲报」于「半文」于（「钥与IV」中「零」）于（「钥与IV」中「一」）而
    虑「已全」者「尝试解密缓冲报」于（「密报」中「零」）于（「钥与IV」中「零」）于（「钥与IV」中「一」）而
    虑「验」者「且」于（「等于」于（「未足」中「零」）于「零」）于（「字节同」于（「未足」中「二」）于「半文」）而
    虑「验」者「且」于「验」于（「字节同」于（「未足」中「三」）于（「钥与IV」中「一」））而
    虑「验」者「且」于「验」于（「等于」于（「已全」中「零」）于「一」）而
    虑「验」者「且」于「验」于（「字节同」于（「已全」中「一」）于「载荷」）而
    「且」于「验」于（「字节同」于（「已全」中「三」）于（「密报」中「一」））
也。

若「且」于（「且」于（「且」于（「验重换钥」于「元」）于（「验自动阈值」于「元」））于（「验定时阈值」于「元」））于（「验半包接收」于「元」）则「打印行」于『安全外壳重换钥状态验证通过』否则「发生事故」授以「有」于『安全外壳重换钥状态验证失败』。
