寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「语言服务信息」之书。
「：文言：新旧相校，空、短、异字与长尾皆验。汉语：保留旧的完整求值实现作为参考，覆盖固定声明后缀的截断、单字变异、追加字符，以及任意字符串前缀匹配。验证结果相同，不改变通用列表函数的求值语义。：」
「诸缀」者（「列」于「字符串」也（「列」【『的类型可以是』，『的类型是』，『的定义是』，『其实就是』，『是一种』，『乃』，『者』，『立』，『即』，『号』】））也。
「诸字」者（「列」于「字符串」也（「列」【『的』，『类』，『型』，『可』，『以』，『是』，『定』，『义』，『其』，『实』，『就』，『一』，『种』，『乃』，『者』，『立』，『即』，『号』，『X』，『「：换行：」』，『😀』】））也。
「次数」者「新引用」授以「整数」于「零」也。
「验」乃化「字符串」而「有」也。
「验」者会「文」而
 虑「状态」者（「获取字符」于「文」）与「零」与「零」而
 虑「旧」者「存在吗」授以「字符串」于（会「缀」而「以起否」授以「字符串」于「串相等」于（「获取字符」于「缀」）于（「源码状态剩余」于「状态」））于「诸缀」而
 虑「新」者「声明后缀」于「状态」而
 虑「无」者若（若「旧」则「新」否则「非」于「新」）则「元」否则「发生事故」授以「有」于（『声明后缀不同：』附「文」）而
 虑「无」者「态射」授以「字符串」授以「有」于（「缀」于『』于「诸缀」）于（会「前」而
  虑「原」者「以起否」授以「字符串」于「串相等」于（「获取字符」于「前」）于（「源码状态剩余」于「状态」）而
  虑「后」者「源码状态以串开头」于「状态」于「前」而
  若（若「原」则「后」否则「非」于「后」）则「元」否则「发生事故」授以「有」于（『源码前缀不同：』附「文」））而
 「写引用」于「次数」于（「加」于（「读引用」于「次数」）于「一」）也。
「穷举」乃化「整数」而化「字符串」而「有」也。
「穷举」者会「深」而会「前」而
 虑「无」者「验」于「前」而
 若「等」于「深」于「零」则「元」否则
 虑「无」者「态射」授以「字符串」授以「有」于「诸字」于（会「字」而「穷举」于（「减」于「深」于「一」）于（「前」附「字」））而「元」也。
「穷举」于「三」于『』。
虑「无」者「态射」授以「字符串」授以「有」于「诸缀」于（会「缀」而
 虑「字符」者「获取字符」于「缀」而
 虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于（「加」于「一」于（「长度」授以「字符串」于「字符」）））于（会「位」而
  「验」于（「串组合并」于（「取」授以「字符串」于「位」于「字符」）））而
 虑「无」者「态射」授以「字符串」授以「有」于「诸字」于（会「字」而「验」于（「缀」附「字」））而
 虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于（「长度」授以「字符串」于「字符」））于（会「位」而
  虑「无」者「态射」授以「字符串」授以「有」于「诸字」于（会「字」而
   「验」于（（「串组合并」于（「取」授以「字符串」于「位」于「字符」））附「字」附（「串组合并」于（「放」授以「字符串」于（「加」于「位」于「一」）于「字符」））））而「元」）而「元」）而「元」。
「打印行」于（『源码前缀差分通过：』附（「整数表示」于（「读引用」于「次数」）））。
