寻观「标准库」之书。
寻观「标准库」之「操作系统」之「文件系统」之书。
寻观「标准库」之「操作系统」之「路径」之书。
寻观「构建基础」之「包定位」之书。
寻观「包配置」之「语言服务」之书。
寻观「编译器核心」之「编译数据」之「语言服务信息」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。

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

「：文言：注中之串不数，转义与异面字皆计原位。汉语：核验嵌套注释、转义结束引号、换行及 UTF-16 列号。：」
「范围们」者
  「包字符串范围」
    于『试。包。豫』
    于（（「获取字符」
      于（『「』附『：注』附『「』附『：内注：」『假「：』：」：」😀『甲「：』：」
『乙』附『「』附『：「：』：」：」丙「：』：」』））与「零」与「零」
    ）
也。

鉴「范围们」而
  有（「列」【「甲」，「乙」】）则
    （「断言」于（「等于」于（「源码范围开始列」于「甲」）于「17」）于『非基本平面字符应占两个码元』；
      「断言」于（「等于」于（「源码范围结束列」于「甲」）于「18」）于『第一串终点错误』；
      「断言」
        于（「且」
          于（「等于」于（「源码范围开始行」于「乙」）于「一」）
          于（「等于」于（「源码范围开始列」于「乙」）于「一」））
          于『换行后的起点错误』；
          「断言」
            于（「等于」于（「源码范围结束列」于「乙」）于「八」）
            于『转义串应保留源码宽度』）
  或有「其他」则
    「发生事故」授以「有」于『注释被误识别为配置字符串』。

「资料」乃化「字符串」而化「字符串」而「字符串」也。
「资料」者会「名」而会「主」而
  『「名称」者『』附「名」附『「：』：」也。「所有者」者『』附「主」附『「：』：」也。
「版本」者『0.1.0「：』：」也。「简介」者『共用「：』：」也。
「说明」者「典」【「汉语」者『说明.汉语.md「：』：」也，「文言」者『说明.文言.md「：』：」也，】也。』也。

「临时」者「操作系统」之「子进程」之「获取输出」于『mktemp』于（「列」【『-d』，『/tmp/豫构语言服务.XXXXXX』】）也。

「断言」于（「临时」中「零」）于『建立临时目录失败』。
「根」者「真实路径」于（「串查找替换」于（「临时」中「一」）于『「：换行：」』于『』）也。

「结果」者
  「尝试运行」授以「字符串」
    于（会「无」而
    虑「无」者「建立目录」于（「根」附『/程序/源码』）而
    虑「无」者「建立目录」于（「根」附『/甲』）而
    虑「无」者「建立目录」于（「根」附『/乙』）而
    虑「文件」者「根」附『/程序/应用。包。豫』而
    虑「甲文件」者「根」附『/甲/共用。包。豫』而
    虑「乙文件」者「根」附『/乙/共用。包。豫』而
    虑「类型」者『「类型」者「典」【「种类」者『库「：』：」也，】也。』而
    虑「无」者
      「写文件」于「甲文件」于（（「资料」于『共用』于『甲』）附「类型」）而
      虑「无」者
        「写文件」于「乙文件」于（（「资料」于『共用』于『乙』）附「类型」）而
        虑「无」者
          「写文件」
            于「文件」
            于（（「资料」于『应用』于『甲』）附
              『「类型」者「典」【「种类」者『可执行文件「：』：」也，「入口」者「列」【『源码「：』：」，『入口「：』：」】也，「文件名」者『yy应用「：』：」也，】也。
「依赖」者「列」【『共用「：』：」，「典」【「包」者『共用「：』：」也，「所有者」者『乙「：』：」也，】】也。』）而
  虑「入口」者「根」附『/程序/源码/入口。豫』而
  虑「无」者「写文件」于「入口」于『』而
  虑「记录」者「包记录」也（『甲』与『应用』与「文件」与（「列」【（『甲』与『共用』），（『乙』与『共用』）】）与『』）
  而
  虑「索引」者
    「列」【
      「记录」，
      （『甲』与『共用』与「甲文件」与（「罄」授以「包标识」）与『』），
      （『乙』与『共用』与「乙文件」与（「罄」授以「包标识」）与『』）
    】而
    虑「输出」者
      「根」附『/.yybuild/豫构语言服务/程序/应用。包.语言服务.json』而
      虑「无」者「生成包语言服务」于「索引」于「记录」于「输出」而
      虑「无」者
        「断言」于（「路径存在」于「输出」）于『缺少包描述语言服务 JSON』而
        虑「无」者
          鉴「反转」授以「语言服务信息」
          于（「读引用」授以（「列」于「语言服务信息」）于「当前语言服务信息」）而
            有（「列」【
              （「定义位置信息」于「一位」于「一标」），
              （「定义位置信息」于「二位」于「二标」），
              （「定义位置信息」于「三位」于「三标」），
              （「定义位置信息」于「四位」于「四标」），
              （「定义位置信息」于「五位」于「五标」）
            】）则
              （「断言」
                于（「且」
                  于（「串相等」于（「源码范围文件」于「一标」）于「入口」）
                  于（「串相等」于（「源码范围文件」于「二标」）于「入口」））
                  于『入口段没有指向同一个源文件』；
                  「断言」
                    于（「串相等」于（「源码范围文件」于「三标」）于「甲文件」）
                    于『省略所有者未沿用本包所有者』；
                    「断言」
                      于（「且」
                        于（「串相等」于（「源码范围文件」于「四标」）于「乙文件」）
                        于（「串相等」于（「源码范围文件」于「五标」）于「乙文件」））
                        于『具名依赖未定位到对应所有者』）
            或有「其他」则
              「发生事故」授以「有」于『定义记录数量错误，或简介被错误标注』
        而
        虑「无」者「删文件」于「入口」而
        虑「无」者「生成包语言服务」于「索引」于「记录」于「输出」而
        虑「无」者
          「断言」
            于（「等于」于（「长度」授以「语言服务信息」于（「读引用」于「当前语言服务信息」））于「三」）
            于『缺失入口不应产生跳转或阻断依赖信息』而
            虑「无」者
              「写文件」于「文件」于（（「资料」于『应用』于『甲』）附「类型」）而
              虑「无」者「生成包语言服务」于「索引」于「记录」于「输出」而
              虑「无」者
                「断言」
                  于（「等于」于（「长度」授以「语言服务信息」于（「读引用」于「当前语言服务信息」））于「零」）
                  于『删除依赖后残留旧跳转』而
              「：文言：层级之包，父子互跳。汉语：“包含在”跳到父包描述文件，“包含包”逐项跳到子包描述文件；简介里的同名文字不误配。：」
      虑「无」者「建立目录」于（「根」附『/层级/父』）而
      虑「无」者「建立目录」于（「根」附『/层级/子』）而
      虑「无」者「建立目录」于（「根」附『/层级/子二』）而
      虑「父文件」者「根」附『/层级/父/父。包。豫』而
      虑「子文件」者「根」附『/层级/子/子。包。豫』而
      虑「子二文件」者「根」附『/层级/子二/子二。包。豫』而
      虑「无」者
        「写文件」
          于「父文件」
          于（（「资料」于『父』于『甲』）附「类型」附『「包含包」者「列」【『子「：』：」，『子二「：』：」】也。』）而
          虑「无」者
            「写文件」
              于「子文件」
              于（（「资料」于『子』于『甲』）附「类型」附『「包含在」者『父「：』：」也。』）而
              虑「无」者
                「写文件」
                  于「子二文件」
                  于（（「资料」于『子二』于『甲』）附「类型」附『「包含在」者『父「：』：」也。』）而
                  虑「父记录」者「包记录」也（『甲』与『父』与「父文件」与（「罄」授以「包标识」）与『』）而
                  虑「子记录」者「包记录」也（『甲』与『子』与「子文件」与（「罄」授以「包标识」）与『父』）而
                  虑「子二记录」者「包记录」也（『甲』与『子二』与「子二文件」与（「罄」授以「包标识」）与『父』）而
                  虑「层索引」者
                    「列」【「父记录」，「子记录」，「子二记录」】而
                    虑「父输出」者
                      「根」附『/.yybuild/豫构语言服务/层级/父/父。包.语言服务.json』而
                      虑「子输出」者
                        「根」附『/.yybuild/豫构语言服务/层级/子/子。包.语言服务.json』而
                        虑「无」者
                          「生成包语言服务」于「层索引」于「子记录」于「子输出」而
                          虑「无」者
                            鉴「反转」授以「语言服务信息」
                            于（「读引用」授以（「列」于「语言服务信息」）于「当前语言服务信息」）而
                              有（（「列」【（「定义位置信息」于「父位」于「父标」）】））则
                                「断言」
                                  于（「且」
                                    于（「串相等」于（「源码范围文件」于「父位」）于「子文件」）
                                    于（「串相等」于（「源码范围文件」于「父标」）于「父文件」））
                                    于『包含在应跳到父包描述文件』
                              或有「其他」则
                                「发生事故」授以「有」
                                于『子包应恰有一个包含在跳转』
                          而
                          虑「无」者
                            「生成包语言服务」
                              于「层索引」于「父记录」于「父输出」而
                              虑「无」者
                                鉴「反转」授以「语言服务信息」
                                于（「读引用」授以（「列」于「语言服务信息」）于「当前语言服务信息」）而
                                  有（（「列」【
                                    （「定义位置信息」于「甲位」于「甲标」），
                                    （「定义位置信息」于「乙位」于「乙标」）
                                  】））则
                                    「断言」
                                      于（「且」
                                        于（「串相等」于（「源码范围文件」于「甲标」）于「子文件」）
                                        于（「串相等」于（「源码范围文件」于「乙标」）于「子二文件」））
                                        于『包含包应逐项跳到对应子包描述文件』
                                  或有「其他」则
                                    「发生事故」授以「有」
                                    于『父包应为每个登记的子包生成一个跳转，且简介不应被标注』
                              而
                              『』
    ）
    于（会「错误」而「错误」）
也。

「操作系统」之「子进程」之「获取输出」于『rm』于（「列」【『-rf』，「根」】）。
「断言」于（「串相等」于「结果」于『』）于「结果」。
「打印行」于『包语言服务测试通过。』。
