寻观「标准库」之书。
寻观「标准库」之「操作系统」之「文件系统」之书。
寻观「豫言终端」之「命令解析」之书。
寻观「豫言终端」之「程序解析」之书。
寻观「豫言终端」之「交互编辑」之书。

「断言」乃化「爻」而化「字符串」而「有」也。
「断言」者会「条件」而会「消息」而
    若「条件」则「元」否则「发生事故」于「消息」
也。

虑「解析结果」者「解析命令行」于『printf "甲 乙" '' 丙\ 丁』而
虑「无」者「断言」于（「解析结果」中「零」）于『带引号命令应解析成功』而
虑「无」者「断言」于
    （「串组相等」于（「解析结果」中「一」）于（（「列」【『printf』，『甲 乙』，『』，『丙 丁』】）））
    于『引号、空参数或反斜杠转义解析错误』而
虑「双引号转义结果」者「解析命令行」于『printf "\n" "\""』而
虑「无」者「断言」于
    （「串组相等」于（「双引号转义结果」中「一」）于（（「列」【『printf』，『\n』，『"』】）））
    于『双引号内的反斜杠规则错误』而
虑「错误结果」者「解析命令行」于『printf "未闭合』而
虑「无」者「断言」于（「非」于（「错误结果」中「零」））于『未闭合引号应该失败』而
虑「无」者「断言」于
    （「串组相等」于（「按字符分隔」于『:』于『:甲::乙:』）于（（「列」【『』，『甲』，『』，『乙』，『』】）））
    于『环境路径分隔应保留空段』而
虑「全拼」者「字符串转无调拼音」于『简易网页服务器』而
虑「简拼」者「字符串转拼音首字母」于『简易网页服务器』而
虑「无」者「断言」于（「或者」于（「字符串相等吗」于「全拼」于『jianyiwangyefuwuqi』）于（「字符串相等吗」于「全拼」于『jywyfwq』））于『全拼转换结果错误』而
虑「无」者「断言」于（「字符串相等吗」于「简拼」于『jywyfwq』）于『拼音首字母转换结果错误』而
虑「候选甲」者（『./你好』与『你好』与『nihao』与『nh』）而
虑「候选乙」者（『./拟好』与『拟好』与『nihao』与『nh』）而
虑「候选们」者（「列」【「候选甲」，「候选乙」】）而
虑「实时结果」者「实时匹配程序」于『nih』于「候选们」而
虑「无」者「断言」于（「等于」于（（「长度」授以「程序候选」）于「实时结果」）于「二」）于『实时拼音候选过滤错误』而
虑「模糊结果」者「实时匹配程序」于『na』于「候选们」而
虑「无」者「断言」于（「等于」于（（「长度」授以「程序候选」）于「模糊结果」）于「二」）于『拼音模糊子序列过滤错误』而
虑「混合候选」者（『./abc你好xyz』与『abc你好xyz』与『abcnihaoxyz』与『abcnhxyz』）而
虑「无」者「断言」于（「候选符合模糊拼音」于『abcxyz』于「混合候选」）于『模糊匹配应能跳过名称中的中文部分』而
虑「无」者「断言」于（「非」于（「串含非阿斯基字符吗」于『README.md』））于『纯 ASCII 名称识别错误』而
虑「无」者「断言」于（「串含非阿斯基字符吗」于『read我.md』）于『非 ASCII 名称识别错误』而
虑「无」者「断言」于（「字符串相等吗」于（「删除末字符」于『甲乙』）于『甲』）于『交互退格未按通字符删除』而
虑「无」者「断言」于（「字符串相等吗」于（「引用程序名」于『甲 乙』）于『"甲 乙"』）于『含空格程序名引用错误』而
虑「无」者「断言」于（「等于」于（「下个选中序数」于「一」于「二」）于「零」）于『候选循环序数错误』而
虑「补全甲」者（『甲』与『甲』）而
虑「补全乙」者（『乙』与『乙』）而
虑「补全丙」者（『丙』与『丙』）而
虑「补全丁」者（『丁』与『丁』）而
虑「补全戊」者（『戊』与『戊』）而
虑「补全己」者（『己』与『己』）而
虑「六个补全」者
    （「列」【「补全甲」，「补全乙」，「补全丙」，「补全丁」，「补全戊」，「补全己」】）而
虑「第二项窗口」者「候选显示窗口」于「一」于「六个补全」而
虑「无」者「断言」于（「字符串相等吗」于（（（「第N个」授以「补全候选」）于「零」于「第二项窗口」）中「一」）于『甲』）于『Tab 不应重排当前候选页』而
虑「无」者「断言」于（「等于」于（「候选窗口选中行」于「一」）于「一」）于『Tab 应移动当前页的选中行』而
虑「第六项窗口」者「候选显示窗口」于「五」于「六个补全」而
虑「无」者「断言」于（「字符串相等吗」于（（（「第N个」授以「补全候选」）于「零」于「第六项窗口」）中「一」）于『己』）于『超过五项时应切到下一候选页』而
虑「无」者「断言」于（「空词可打开候选吗」于『echo 』）于『空格后的 Tab 应能打开当前目录候选』而
虑「无」者「断言」于（「非」于（「空词可打开候选吗」于『echo』））于『非空当前词不应按空词处理』而
虑「无」者「断言」于（「是右方向键」于（「逃逸字符」附『[C』））于『右方向键识别错误』而
虑「无」者「断言」于（「非」于（「只含命令名」于『nihao 参数』））于『参数输入不应继续显示程序候选』而
虑「目录候选」者「枚举路径候选」于『ku』于「阳」而
虑「无」者「断言」于
    （（「存在吗」授以「程序候选」）于（会「候选」而「字符串相等吗」于（「候选」中「零」）于『库/』）于「目录候选」）
    于『中文目录拼音补全错误』而
虑「标准候选」者「枚举路径候选」于『库/bz』于「阴」而
虑「无」者鉴「标准候选」而
    有（「缀」于「首项」于「其余」）则「断言」于（「串开头是它吗」于『库/标准库』于（「首项」中「零」））于『路径前缀匹配应排在弱模糊匹配之前』
    或有「罄」则「断言」于「阴」于『标准库候选不应为空』而
虑「斜线后候选」者「枚举路径候选」于『库/』于「阴」而
虑「无」者「断言」于
    （（「存在吗」授以「程序候选」）于（会「候选」而「串开头是它吗」于『库/标准库/』于（「候选」中「零」））于「斜线后候选」）
    于『路径以斜线结尾时应列出目录下的候选』而
虑「参数补全」者「当前匹配候选」于『cd ku』于「罄」而
虑「无」者「断言」于
    （（「存在吗」授以「补全候选」）于（会「候选」而「字符串相等吗」于（「候选」中「零」）于『cd 库/』）于「参数补全」）
    于『cd 参数没有生成中文目录补全』而
虑「切换文件补全」者「当前匹配候选」于『cd zs』于「罄」而
虑「无」者「断言」于
    （（「存在吗」授以「补全候选」）于（会「候选」而「字符串相等吗」于（「候选」中「零」）于『cd 自述.汉语.md 』）于「切换文件补全」）
    于『cd 不应对普通文件作特殊过滤』而
虑「空格后补全」者「当前匹配候选可列空词」于『cd 』于「罄」于「阳」而
虑「无」者「断言」于
    （（「存在吗」授以「补全候选」）于（会「候选」而「字符串相等吗」于（「候选」中「零」）于『cd 自述.汉语.md 』）于「空格后补全」）
    于『空格后按 Tab 应列出当前目录文件』而
虑「命令位置目录补全」者「当前匹配候选」于『ku』于「罄」而
虑「无」者「断言」于
    （（「存在吗」授以「补全候选」）于（会「候选」而「字符串相等吗」于（「候选」中「零」）于『库/』）于「命令位置目录补全」）
    于『命令位置没有把中文目录作为候选』而
虑「命令位置普通文件补全」者「当前匹配候选」于『zs』于「罄」而
虑「无」者「断言」于
    （（「存在吗」授以「补全候选」）于（会「候选」而「字符串相等吗」于（「候选」中「一」）于『自述.汉语.md』）于「命令位置普通文件补全」）
    于『命令位置没有把中文普通文件作为候选』而
虑「纯英文路径候选」者「枚举路径候选」于『README』于「阴」而
虑「无」者「断言」于（「等于」于（（「长度」授以「程序候选」）于「纯英文路径候选」）于「零」）于『纯 ASCII 文件不应成为候选』而
虑「带引号当前词」者「分解当前词」于『echo "甲 乙/"bz』而
虑「带引号解读」者「解读当前词」于（「带引号当前词」中「一」）而
虑「无」者「断言」于（「字符串相等吗」于（「带引号当前词」中「零」）于『echo 』）于『带引号参数的文本前缀拆分错误』而
虑「无」者「断言」于（「且」于（「带引号解读」中「零」）于（「字符串相等吗」于（「带引号解读」中「一」）于『甲 乙/bz』））于『带引号路径参数解读错误』而
虑「可执行结果」者「查找可执行程序」于『sh』而
虑「无」者「断言」于（「可执行结果」中「零」）于『应该能在 PATH 中找到 sh』而
虑「本地可执行结果」者「查找可执行程序」于『yy_bs_stable』而
虑「无」者「断言」于（「本地可执行结果」中「零」）于『本地可执行文件应该无需 ./ 即可找到』而
「打印行」于『豫言终端测试通过』。
