寻观「标准库」之书。
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「爻术」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「安全外壳协议」之「通道」之书。
寻观「安全外壳协议」之「通道寿命」之书。
寻观「安全外壳协议」之「会话」之书。
寻观「安全外壳协议」之「全局请求」之书。

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

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

「开请可得吗」乃化（「或可有」于（「整数」合「整数」合「整数」））而「爻」也。
「开请可得吗」者会「结果」而
    鉴「结果」而
    有（「可有」于「值」）则「且」于（「等于」于（「值」中「零」）于「三」）于（「且」于（「等于」于（「值」中「一」）于「六五五三六」）于（「等于」于（「值」中「二」）于「三二七六八」））
    或有「可无」则「阴」
也。

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

「确认可得吗」乃化（「或可有」于（「整数」合「整数」合「整数」合「整数」））而「爻」也。
「确认可得吗」者会「结果」而
    鉴「结果」而
    有（「可有」于「值」）则「且」于（「且」于（「等于」于（「值」中「零」）于「三」）于（「等于」于（「值」中「一」）于「七」））于（「且」于（「等于」于（「值」中「二」）于「六五五三六」）于（「等于」于（「值」中「三」）于「三二七六八」））
    或有「可无」则「阴」
也。

「数据可得吗」乃化（「或可有」于（「整数」合「字节串」合「整数」））而化「字节串」而「爻」也。
「数据可得吗」者会「结果」而会「内容」而
    鉴「结果」而
    有（「可有」于「值」）则「且」于（「等于」于（「值」中「零」）于「七」）于（「且」于（「字节同」于（「值」中「一」）于「内容」）于（「等于」于（「值」中「二」）于「七」））
    或有「可无」则「阴」
也。

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

「扩展可得吗」乃化（「或可有」于（「整数」合「整数」合「字节串」合「整数」））而化「字节串」而「爻」也。
「扩展可得吗」者会「结果」而会「内容」而鉴「结果」而
    有（「可有」于「值」）则「且」于（「且」于（「等于」于（「值」中「零」）于「七」）于（「等于」于（「值」中「一」）于「一」））于（「且」于（「字节同」于（「值」中「二」）于「内容」）于（「等于」于（「值」中「三」）于「七」））
    或有「可无」则「阴」
也。

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

「可选整数等于吗」乃化（「或可有」于「整数」）而化「整数」而「爻」也。
「可选整数等于吗」者会「结果」而会「期」而鉴「结果」而有（「可有」于「值」）则「等于」于「值」于「期」或有「可无」则「阴」也。

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

「小包开请可得吗」乃化（「或可有」于（「整数」合「整数」合「整数」））而「爻」也。
「小包开请可得吗」者会「结果」而鉴「结果」而有（「可有」于「值」）则「等于」于（「值」中「二」）于「一零二四」或有「可无」则「阴」也。

「增窗可得吗」乃化（「或可有」于（「整数」合「整数」））而「爻」也。
「增窗可得吗」者会「结果」而鉴「结果」而有（「可有」于「值」）则「且」于（「等于」于（「值」中「零」）于「七」）于（「等于」于（「值」中「一」）于「五」）或有「可无」则「阴」也。

「结束可得吗」乃化（「或可有」于（「整数」合「爻」））而化「爻」而「爻」也。
「结束可得吗」者会「结果」而会「应闭」而
    鉴「结果」而有（「可有」于「值」）则「且」于（「等于」于（「值」中「零」）于「七」）于（若「值」中「一」则「应闭」否则「非」于「应闭」）或有「可无」则「阴」
也。

「PTY可得吗」乃化（「或可有」于（「整数」合「爻」合「字节串」合「整数」合「整数」合「整数」合「整数」合「字节串」））而化「字节串」而「爻」也。
「PTY可得吗」者会「结果」而会「模式」而
    鉴「结果」而
    有（「可有」于「值」）则（
        若「值」中「一」
        则「且」于（「等于」于（「值」中「零」）于「七」）于（「且」于（「字节同」于（「值」中「二」）于（「字符串转字节串」于『xterm』））于（
            「且」于（「等于」于（「值」中「三」）于「八零」）于（「且」于（「等于」于（「值」中「四」）于「二四」）于（「且」于（「等于」于（「值」中「五」）于「零」）于（「且」于（「等于」于（「值」中「六」）于「零」）于（「字节同」于（「值」中「七」）于「模式」））））））
        否则「阴」）
    或有「可无」则「阴」
也。

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

「窗变可得吗」乃化（「或可有」于（「整数」合「整数」合「整数」合「整数」合「整数」））而「爻」也。
「窗变可得吗」者会「结果」而
    鉴「结果」而
    有（「可有」于「值」）则「且」于（「且」于（「等于」于（「值」中「零」）于「七」）于（「等于」于（「值」中「一」）于「一二零」））于（「且」于（「等于」于（「值」中「二」）于「四零」）于（「且」于（「等于」于（「值」中「三」）于「零」）于（「等于」于（「值」中「四」）于「零」）））
    或有「可无」则「阴」
也。

「应答可得吗」乃化（「或可有」于（「整数」合「爻」））而「爻」也。
「应答可得吗」者会「结果」而鉴「结果」而有（「可有」于「值」）则（若「值」中「一」则「等于」于（「值」中「零」）于「三」否则「阴」）或有「可无」则「阴」也。

「退出状态可得吗」乃化（「或可有」于（「整数」合「整数」））而「爻」也。
「退出状态可得吗」者会「结果」而鉴「结果」而有（「可有」于「值」）则「且」于（「等于」于（「值」中「零」）于「七」）于（「等于」于（「值」中「一」）于「二三」）或有「可无」则「阴」也。

「退出状态拒绝吗」乃化（「或可有」于（「整数」合「整数」））而「爻」也。
「退出状态拒绝吗」者会「结果」而鉴「结果」而有「可无」则「阳」或有（「可有」于「值」）则「阴」也。

「验通道」乃化「有」而「爻」也。
「验通道」者会「无」而
    虑「开请」者「编码会话通道开启」于「三」于「六五五三六」于「三二七六八」而
    虑「验」者「开请可得吗」于（「读取会话通道开启」于「开请」）而
    虑「验」者「且」于「验」于（「开请拒绝吗」于（「读取会话通道开启」于（「截取字节串」于「开请」于「零」于（「减」于（「字节串长度」于「开请」）于「一」））））而
    虑「验」者「且」于「验」于（「开请拒绝吗」于（「读取会话通道开启」于（「拼接字节串」于「开请」于（「单字节串」于「零」））））而
    虑「验」者「且」于「验」于（「小包开请可得吗」于（「读取会话通道开启」于（「编码会话通道开启」于「三」于「六五五三六」于「一零二四」）））而
    虑「确认」者「编码通道开启确认」于「三」于「七」于「六五五三六」于「三二七六八」而
    虑「验」者「且」于「验」于（「确认可得吗」于（「读取通道开启确认」于「确认」））而
    虑「内容」者「字符串转字节串」于『abc』而
    虑「数据」者「编码通道数据」于「七」于「一零」于「三二七六八」于「内容」而
    虑「验」者「且」于「验」于（「数据可得吗」于（「读取通道数据」于「数据」于「一零」于「三二七六八」）于「内容」）而
    虑「验」者「且」于「验」于（「数据拒绝吗」于（「读取通道数据」于「数据」于「二」于「三二七六八」））而
    虑「验」者「且」于「验」于（「数据拒绝吗」于（「读取通道数据」于（「拼接字节串」于「数据」于（「单字节串」于「零」））于「一零」于「三二七六八」））而
    虑「扩展」者「编码通道扩展数据」于「七」于「一零」于「三二七六八」于「一」于「内容」而
    虑「验」者「且」于「验」于（「扩展可得吗」于（「读取通道扩展数据」于「扩展」于「一零」于「三二七六八」）于「内容」）而
    虑「验」者「且」于「验」于（「扩展拒绝吗」于（「读取通道扩展数据」于「扩展」于「二」于「三二七六八」））而
    虑「验」者「且」于「验」于（「扩展拒绝吗」于（「读取通道扩展数据」于（「拼接字节串」于「扩展」于（「单字节串」于「零」））于「一零」于「三二七六八」））而
    虑「验」者「且」于「验」于（「增窗可得吗」于（「读取通道增窗」于（「编码通道增窗」于「七」于「五」）））而
    虑「验」者「且」于「验」于（「结束可得吗」于（「读取通道结束」于（「编码通道EOF」于「七」））于「阴」）而
    虑「验」者「且」于「验」于（「结束可得吗」于（「读取通道结束」于（「编码通道关闭」于「七」））于「阳」）而
    虑「验」者「且」于「验」于（「可选整数等于吗」于（「调整通道窗口」于「四二九四九六七二九零」于「五」）于「四二九四九六七二九五」）而
    「且」于「验」于（「可选整数拒绝吗」于（「调整通道窗口」于「四二九四九六七二九零」于「六」））
也。

「shell可得吗」乃化（「或可有」于（「整数」合「爻」））而「爻」也。
「shell可得吗」者会「结果」而鉴「结果」而有（「可有」于「值」）则（若「值」中「一」则「等于」于（「值」中「零」）于「七」否则「阴」）或有「可无」则「阴」也。

「exec可得吗」乃化（「或可有」于（「整数」合「爻」合「字节串」））而「爻」也。
「exec可得吗」者会「结果」而鉴「结果」而有（「可有」于「值」）则（若「值」中「一」则「且」于（「等于」于（「值」中「零」）于「七」）于（「字节同」于（「值」中「二」）于（「字符串转字节串」于『date』））否则「阴」）或有「可无」则「阴」也。

「全局请求可得吗」乃化（「或可有」于（「字节串」合「爻」合「字节串」））而「爻」也。
「全局请求可得吗」者会「结果」而鉴「结果」而
    有（「可有」于「字段」）则（若「字段」中「一」则「且」于（「字节同」于（「字段」中「零」）于（「字符串转字节串」于『probe@example.com』））于（「字节同」于（「字段」中「二」）于（「字符串转字节串」于『abc』））否则「阴」）
    或有「可无」则「阴」
也。

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

「全局应答失败吗」乃化（「或可有」于（「爻」合「字节串」））而「爻」也。
「全局应答失败吗」者会「结果」而鉴「结果」而
    有（「可有」于「字段」）则（若「字段」中「零」则「阴」否则「等于」于（「字节串长度」于（「字段」中「一」））于「零」）
    或有「可无」则「阴」
也。

「验全局请求」乃化「有」而「爻」也。
「验全局请求」者会「无」而
    虑「名」者「字符串转字节串」于『probe@example.com』而
    虑「文」者「字符串转字节串」于『abc』而
    虑「请求」者「编码全局请求载荷」于「名」于「阳」于「文」而
    虑「坏布尔」者「拼接字节串」于（「截取字节串」于「请求」于「零」于（「加」于（「字节串长度」于「名」）于「五」））于（「拼接字节串」于（「单字节串」于「二」）于「文」）而
    虑「验」者「全局请求可得吗」于（「读取全局请求载荷」于「请求」）而
    虑「验」者「且」于「验」于（「全局请求拒绝吗」于（「读取全局请求载荷」于「坏布尔」））而
    虑「验」者「且」于「验」于（「非」于（「全局请求名称可用吗」于（「空字节串」于「元」）））而
    虑「验」者「且」于「验」于（「非」于（「全局请求名称可用吗」于（「单字节串」于「二五五」）））而
    虑「验」者「且」于「验」于（「字节同」于（「编码全局请求失败载荷」于「元」）于（「单字节串」于「八二」））而
    「且」于「验」于（「全局应答失败吗」于（「读取全局请求应答」于（「编码全局请求失败载荷」于「元」）））
也。

「可选寿命拒绝吗」乃化（「或可有」于（「爻」合「爻」合「爻」合「爻」））而「爻」也。
「可选寿命拒绝吗」者会「结果」而鉴「结果」而有「可无」则「阳」或有（「可有」于「值」）则「阴」也。

「验通道寿命」乃化「有」而「爻」也。
「验通道寿命」者会「无」而
    虑「初」者「新通道寿命」于「元」而
    鉴「记录对端EOF」于「初」而
    有（「可有」于「彼终」）则（
        鉴「记录本端EOF」于「彼终」而
        有（「可有」于「两终」）则（
            鉴「记录本端关闭」于「两终」而
            有（「可有」于「己闭」）则（
                鉴「记录对端关闭」于「己闭」而
                有（「可有」于「两闭」）则
                    「且」于（「通道可发数据吗」于「初」）于（「且」于（「通道可收数据吗」于「初」）于（「且」于（「非」于（「通道可收数据吗」于「彼终」））于（「且」于（「非」于（「通道可发数据吗」于「两终」））于（「且」于（「通道已尽吗」于「两闭」）于（「且」于（「可选寿命拒绝吗」于（「记录对端EOF」于「彼终」））于（「可选寿命拒绝吗」于（「记录本端关闭」于「己闭」）））））））
                或有「可无」则「阴」）
            或有「可无」则「阴」）
        或有「可无」则「阴」）
    或有「可无」则「阴」
也。

「验无EOF而关闭」乃化「有」而「爻」也。
「验无EOF而关闭」者会「无」而
    虑「初」者「新通道寿命」于「元」而
    鉴「记录本端关闭」于「初」而
    有（「可有」于「己闭」）则（
        鉴「记录对端关闭」于「己闭」而
        有（「可有」于「两闭」）则
            「且」于（「通道可收数据吗」于「己闭」）于（「且」于（「非」于（「通道可发数据吗」于「己闭」））于（「且」于（「通道已尽吗」于「两闭」）于（「可选寿命拒绝吗」于（「记录对端EOF」于「两闭」））））
        或有「可无」则「阴」）
    或有「可无」则「阴」
也。

「环境请求可得吗」乃化（「或可有」于（「整数」合「爻」合「字节串」合「字节串」））而「爻」也。
「环境请求可得吗」者会「结果」而鉴「结果」而
    有（「可有」于「字段」）则「且」于（「等于」于（「字段」中「零」）于「七」）于（「且」于（「非」于（「字段」中「一」））于（「且」于（「字节同」于（「字段」中「二」）于（「字符串转字节串」于『LANG』））于（「字节同」于（「字段」中「三」）于（「字符串转字节串」于『en_US.UTF-8』））））
    或有「可无」则「阴」
也。

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

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

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

「退出信号可得吗」乃化（「或可有」于（「整数」合「字节串」合「爻」合「字节串」合「字节串」））而「爻」也。
「退出信号可得吗」者会「结果」而鉴「结果」而
    有（「可有」于「字段」）则「且」于（「等于」于（「字段」中「零」）于「七」）于（「且」于（「字节同」于（「字段」中「一」）于（「字符串转字节串」于『TERM』））于（「且」于（「非」于（「字段」中「二」））于（「且」于（「字节同」于（「字段」中「三」）于（「空字节串」于「元」））于（「字节同」于（「字段」中「四」）于（「空字节串」于「元」）））））
    或有「可无」则「阴」
也。

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

「验环境请求」乃化「有」而「爻」也。
「验环境请求」者会「无」而
    虑「请求」者「编码环境请求」于「七」于「阴」于（「字符串转字节串」于『LANG』）于（「字符串转字节串」于『en_US.UTF-8』）而
    「且」于（「环境请求可得吗」于（「读取环境请求」于「请求」））于（「且」于（「环境请求拒绝吗」于（「读取环境请求」于（「截取字节串」于「请求」于「零」于（「减」于（「字节串长度」于「请求」）于「一」））））于（「环境请求拒绝吗」于（「读取环境请求」于（「拼接字节串」于「请求」于（「单字节串」于「零」）））））
也。

「验会话」乃化「有」而「爻」也。
「验会话」者会「无」而
    虑「零模式」者「单字节串」于「零」而
    虑「一模式」者「拼接字节串」于（「单字节串」于「一」）于（「拼接字节串」于（「单字节串」于「三」）于（「拼接字节串」于（「单字节串」于「零」）于（「拼接字节串」于（「单字节串」于「零」）于（「拼接字节串」于（「单字节串」于「零」）于「零模式」））））而
    虑「验」者「终端模式可用吗」于「零模式」而
    虑「验」者「且」于「验」于（「终端模式可用吗」于「一模式」）而
    虑「验」者「且」于「验」于（「非」于（「终端模式可用吗」于（「空字节串」于「元」）））而
    虑「验」者「且」于「验」于（「终端模式可用吗」于（「单字节串」于「一六零」））而
    虑「PTY」者「编码PTY请求」于「七」于「阳」于（「字符串转字节串」于『xterm』）于「八零」于「二四」于「零」于「零」于「一模式」而
    虑「验」者「且」于「验」于（「PTY可得吗」于（「读取PTY请求」于「PTY」）于「一模式」）而
    虑「验」者「且」于「验」于（「PTY拒绝吗」于（「读取PTY请求」于（「拼接字节串」于「PTY」于（「单字节串」于「零」））））而
    虑「窗变」者「编码终端窗口变化」于「七」于「一二零」于「四零」于「零」于「零」而
    虑「验」者「且」于「验」于（「窗变可得吗」于（「读取终端窗口变化」于「窗变」））而
    虑「验」者「且」于「验」于（「应答可得吗」于（「读取通道请求应答」于（「编码通道请求应答」于「三」于「阳」）））而
    虑「shell」者「编码Shell请求」于「七」于「阳」而
    虑「验」者「且」于「验」于（「shell可得吗」于（「读取Shell请求」于「shell」））而
    虑「验」者「且」于「验」于（「exec可得吗」于（「读取Exec请求」于（「编码Exec请求」于「七」于「阳」于（「字符串转字节串」于『date』））））而
    虑「信号」者「编码会话信号」于「七」于（「字符串转字节串」于『TERM』）而
    虑「验」者「且」于「验」于（「信号可得吗」于（「读取会话信号」于「信号」））而
    虑「验」者「且」于「验」于（「信号拒绝吗」于（「读取会话信号」于（「拼接字节串」于「信号」于（「单字节串」于「零」））））而
    虑「坏待答」者「拼接字节串」于（「截取字节串」于「信号」于「零」于「一五」）于（「拼接字节串」于（「单字节串」于「一」）于（「截取字节串」于「信号」于「一六」于（「减」于（「字节串长度」于「信号」）于「一六」）））而
    虑「验」者「且」于「验」于（「信号拒绝吗」于（「读取会话信号」于「坏待答」））而
    虑「退出信号」者「编码通道退出信号」于「七」于（「字符串转字节串」于『TERM』）于「阴」于（「空字节串」于「元」）于（「空字节串」于「元」）而
    虑「验」者「且」于「验」于（「退出信号可得吗」于（「读取通道退出信号」于「退出信号」））而
    虑「验」者「且」于「验」于（「退出信号拒绝吗」于（「读取通道退出信号」于（「拼接字节串」于「退出信号」于（「单字节串」于「零」））））而
    虑「坏转储」者「拼接字节串」于（「截取字节串」于「退出信号」于「零」于「二九」）于（「拼接字节串」于（「单字节串」于「二」）于（「截取字节串」于「退出信号」于「三零」于（「减」于（「字节串长度」于「退出信号」）于「三零」）））而
    虑「验」者「且」于「验」于（「退出信号拒绝吗」于（「读取通道退出信号」于「坏转储」））而
    虑「退出」者「编码通道退出状态」于「七」于「二三」而
    虑「验」者「且」于「验」于（「退出状态可得吗」于（「读取通道退出状态」于「退出」））而
    「且」于「验」于（「退出状态拒绝吗」于（「读取通道退出状态」于（「拼接字节串」于「退出」于（「单字节串」于「零」））））
也。

虑「结论」者「且」于（「且」于（「且」于（「且」于（「且」于（「验通道」于「元」）于（「验会话」于「元」））于（「验全局请求」于「元」））于（「验通道寿命」于「元」））于（「验无EOF而关闭」于「元」））于（「验环境请求」于「元」）而
若「结论」则「打印行」于『安全外壳会话验证通过』否则「发生事故」授以「有」于『安全外壳会话验证失败』。
