「：
文言：验全树测试之纯术；有违则告事故而退。
汉语：全树测试纯函数的单元测试；任一检查不成立即报事故退出（退出码非零）。
：」

寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「全树测试」之「核心」之书。

「验」乃化「爻」而化「字符串」而「有」也。
「验」者会「成立」而会「说明」而
  若「成立」则
    「元」
  否则
    「发生事故」授以「有」于（『全树测试核心自测失败：』附「说明」）
也。

「可有文」乃化（「或可有」于「字符串」）而「字符串」也。
「可有文」者会「可选」而
  鉴「可选」而
    有（「可有」于「所有值」）则「所有值」
    或有「可无」则『〈无〉』
也。

「验文」乃化「字符串」而化「字符串」而化「字符串」而「有」也。
「验文」者会「期望」而会「实际」而会「说明」而
  「验」于（「串相等」于「期望」于「实际」）于（「说明」附『：期望“』附「期望」附『”，实际“』附「实际」附『”』）
也。

「：文言：去首尾之空白。汉语：去首尾空白。：」
「验文」于『甲乙』于（「去首尾空白」于『 甲乙「：换行：」「：制表：」 』）于『去首尾空白』。
「验文」于『』于（「去首尾空白」于『 「：换行：」 』）于『全为空白』。

「：文言：断单元测试之报。汉语：判定单元测试库的计数输出。：」
「验」于（「汇报有失败」于『当前成功数：3    当前失败数：12』）于『失败计数非零』。
「验」于（「非」于（「汇报有失败」于『当前成功数：3    当前失败数：0』））于『失败计数为零』。

「：文言：辨试之类。汉语：按路径辨认测试类别。：」
「验文」于『单元测试』于（「测试类别」于『库/标准库/测试/数据结构/字节串。测试。豫』）于『单元测试类别』。
「验文」于『JS测试』于（「测试类别」于『豫言操作系统/宿主/浏览器/同步值桥。测试.mjs』）于『JS 测试类别』。
「验文」于『JS测试』于（「测试类别」于『豫言操作系统/适配/日志/一致性验证/日志.test.mjs』）于『点号 JS 测试类别』。
「验文」于『测试页』于（「测试类别」于『豫言操作系统/宿主/浏览器/中断。测试页.html』）于『测试页类别』。
「验文」于『』于（「测试类别」于『豫言操作系统/裸机/外部模块夹具.c』）于『C 测试类别』。
「验文」于『』于（「测试类别」于『库/标准库/数据结构/字节串。豫』）于『普通源码不是测试』。
「验文」于『』于（「测试类别」于『某库_v0/某。测试。豫』）于『忽略 _v0 目录』。

「：文言：识样例之组基。汉语：识别黄金样例的组基路径。：」
「验文」
  于『应用/豫言编译器/测试/语法/通用序列/通用序列』
  于（「可有文」于（「样例组基」于『应用/豫言编译器/测试/语法/通用序列/通用序列-1。豫』））
  于『单份样例组基』。
「验文」
  于『库/标准库/测试/字符串/模式』
  于（「可有文」于（「样例组基」于『库/标准库/测试/字符串/模式-10。豫』））于『两位编号组基』。
「验文」于『〈无〉』于（「可有文」于（「样例组基」于『库/标准库/数据结构/字节串。豫』））于『无编号不是样例』。
「验文」于『〈无〉』于（「可有文」于（「样例组基」于『库/甲-。豫』））于『无数字不是样例』。

「：文言：断同组之引。汉语：判断同组文件之间的导入。：」
「验」
  于（「被引用」于『循环导入-2』于（「列」【『寻测试之语法之类型检查之循环导入-2之书。』】））于
    『旧写法导入视为被引用』。
「验」于（「被引用」于『名-3』于（「列」【『甲』，『寻观「测试」之「名-3」之书。』】））于『新写法导入视为被引用』。
「验」于（「非」于（「被引用」于『模式-1』于（「列」【『「打印行」于『三「：』：」。』】）））于『未导入不算被引用』。

「：文言：析规则而查之。汉语：解析规则表并查找。：」
「样规则文」者
  『# 注释「：换行：」跳过「：制表：」库/甲/「：制表：」须浏览器「：换行：」「：换行：」参数「：制表：」库/乙。测试。豫「：制表：」./yy豫构 ./yy4_bs「：换行：」已知失败「：制表：」库/丙。测试。豫』
也。

「样规则」乃「列」于「规则项」也。
「样规则」者「解析规则」于「样规则文」也。

「验」于（「等」于（「长度」授以「规则项」于「样规则」）于「三」）于『规则条数』。
「验文」于『须浏览器』于（「可有文」于（「查规则」于「样规则」于『跳过』于『库/甲/子。测试。豫』））于『前缀规则』。
「验文」于『〈无〉』于（「可有文」于（「查规则」于「样规则」于『跳过』于『库/甲乙。测试。豫』））于『前缀须到斜线』。
「验文」于『〈无〉』于（「可有文」于（「查规则」于「样规则」于『只检查』于『库/甲/子。测试。豫』））于『类别须相同』。
「验文」于『./yy豫构 ./yy4_bs』于（「可有文」于（「查规则」于「样规则」于『参数』于『库/乙。测试。豫』））于
  『参数规则』。
「验文」于『』于（「可有文」于（「查规则」于「样规则」于『已知失败』于『库/丙。测试。豫』））于『两栏规则的说明为空』。

「：文言：分片无重无漏。汉语：分片按顺序切段，不重不漏。：」
「十项」乃「列」于「测试项」也。
「十项」者
  「列」【
    （「项」于『单元测试』于『零』于『』），
    （「项」于『单元测试』于『一』于『』），
    （「项」于『单元测试』于『二』于『』），
    （「项」于『单元测试』于『三』于『』），
    （「项」于『单元测试』于『四』于『』），
    （「项」于『单元测试』于『五』于『』），
    （「项」于『单元测试』于『六』于『』），
    （「项」于『单元测试』于『七』于『』），
    （「项」于『单元测试』于『八』于『』），
    （「项」于『单元测试』于『九』于『』）
  】
也。

「径串」乃化（「列」于「测试项」）而「字符串」也。
「径串」者会「项们」而
  「间合」于『,』于（（「态射」授以「测试项」授以「字符串」）于「项们」于「项路径」）
也。

「验文」于『零,一,二』于（「径串」于（「取分片」于「十项」于「一」于「三」））于『第一片』。
「验文」于『三,四,五』于（「径串」于（「取分片」于「十项」于「二」于「三」））于『第二片』。
「验文」于『六,七,八,九』于（「径串」于（「取分片」于「十项」于「三」于「三」））于『第三片』。
「验文」于『』于（「径串」于（「取分片」于「十项」于「一」于「一六」））于『片多于项时可为空』。
「验文」于『三』于（「径串」于（「按前缀筛」于（「取分片」于「十项」于「二」于「三」）于『三』））于『先分片后筛选』。
「样分片」乃「整数」合「整数」也。
「样分片」者「解析分片」于『3/16』也。

「验」于（「等」于（「样分片」中「零」）于「三」）于『分片序号』。
「验」于（「等」于（「样分片」中「一」）于「一六」）于『分片总数』。
「验文」于『二「：换行：」三』于（「末若干行」于「二」于『一「：换行：」二「：换行：」三』）于『末若干行』。

「打印行」于『全树测试核心自测通过』。
