「：
文言：以标准文为准绳，同词异白之本，排之皆当归一。
汉语：目录只保存排好的标准文件；它们是逐字节期望输出。
自仓库根目录运行；本测试核验标准文本及等价空白扰动。
：」

寻观「标准库」之书。
寻观「标准库」之「操作系统」之「文件系统」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「词法解析」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「抽象语法分析」之书。
寻观「源码排版」之书。

「单片源码文字」乃化「单词法排版结果」而「字符串」也。
「单片源码文字」者会「结果」而
  鉴「结果」而
    有「左括号结果」则『（』
    或有「右括号结果」则『）』
    或有「左方括号结果」则『【』
    或有「右方括号结果」则『】』
    或有（「普通排版结果」于「片」）则
      鉴「片」而
        有（「文字片」于「文字」）则「文字」
        或有（「原子片」于「文字」）则「文字」
        或有「句号片」则『。』
        或有「分号片」则『；』
        或有（「注释片」于「文字」于「方向」）则
          『「』附『：』附「文字」附『：』附『」』
        或有「其他」则「发生事故」于『无法还原词法文字』
也。

「布局词法源码文字」乃化「布局词法」而「字符串」也。
「布局词法源码文字」者会「词法」而
  鉴「词法」而
    有（「布局原子词法」于「忽略词法」于「原文」）则「原文」
    或有（「布局普通词法」于「普通词法」）则
      「单片源码文字」于（「普通词法转单片」于「普通词法」）
    或有「其他」则「发生事故」于『换行词法不应在此还原』
也。

「收集改缩进的源码片段」乃
  化（「列」于「布局词法」）而
  化「字符串」而
  化（「列」于「字符串」）而
  （「列」于「字符串」）
也。
「收集改缩进的源码片段」者会「词法们」而会「新缩进」而会「反片段」而
  鉴「词法们」而
    有「罄」则（「反转」授以「字符串」）于「反片段」
    或有（「缀」于「当前」于「尾」）则
      鉴「当前」而
        有（「布局换行词法」于「换行数」于「忽略旧缩进」）则（
          虑「换行文字」者「重复字符串」于『「：换行：」』于「换行数」而
          鉴「尾」而
            有「罄」则
              「收集改缩进的源码片段」于「尾」于「新缩进」
                于（「缀」于「换行文字」于「反片段」）
            或有「其他」则
              「收集改缩进的源码片段」于「尾」于「新缩进」
                于（「缀」于「新缩进」于（「缀」于「换行文字」于「反片段」））
        ）
        或有「其他」则
          「收集改缩进的源码片段」于「尾」于「新缩进」
            于（「缀」于（「布局词法源码文字」于「当前」）于「反片段」）
也。

「改写行首缩进」乃化「字符串」而化「字符串」而「字符串」也。
「改写行首缩进」者会「标准」而会「新缩进」而
  虑「词法们」者「词法解析顶层」于「标准」而
  虑「布局们」者「扫描源码布局」于（「获取字符」于「标准」）而
  虑「合并布局」者「结合源码布局与词法」于「布局们」于「词法们」而
  「串组合并」于（「收集改缩进的源码片段」于「合并布局」于「新缩进」于「罄」）
也。

「布局含注释」乃化（「列」于「布局词法」）而「爻」也。
「布局含注释」者会「词法们」而
  鉴「词法们」而
    有「罄」则「阴」
    或有（「缀」于「当前」于「尾」）则
      鉴「当前」而
        有（「布局普通词法」于「普通词法」）则（
          鉴「普通词法转单片」于「普通词法」而
            有（「普通排版结果」于（「注释片」于「文字」于「方向」））则「阳」
            或有「其他」则「布局含注释」于「尾」
        ）
        或有「其他」则「布局含注释」于「尾」
也。

「收集改断行的源码片段」乃
  化（「列」于「布局词法」）而
  化「整数」而
  化（「列」于「字符串」）而
  （「列」于「字符串」）
也。
「收集改断行的源码片段」者会「词法们」而会「剩余词数」而会「反片段」而
  鉴「词法们」而
    有「罄」则（「反转」授以「字符串」）于「反片段」
    或有（「缀」于「当前」于「尾」）则
      鉴「当前」而
        有（「布局换行词法」于「换行数」于「忽略旧缩进」）则
          「收集改断行的源码片段」于「尾」于「一二」
            于（「缀」于（「重复字符串」于『「：换行：」』于「换行数」）于「反片段」）
        或有「其他」则
          虑「文字」者「布局词法源码文字」于「当前」而
          若「等于」于「剩余词数」于「零」则
            「收集改断行的源码片段」于「尾」于「一二」
              于（「缀」于「文字」于（「缀」于『「：换行：」  』于「反片段」））
          否则
            「收集改断行的源码片段」于「尾」于（「减」于「剩余词数」于「一」）
              于（「缀」于「文字」于「反片段」）
也。

「改写代码断行」乃化「字符串」而「字符串」也。
「改写代码断行」者会「标准」而
  虑「词法们」者「词法解析顶层」于「标准」而
  虑「布局们」者「扫描源码布局」于（「获取字符」于「标准」）而
  虑「合并布局」者「结合源码布局与词法」于「布局们」于「词法们」而
  「串组合并」于（「收集改断行的源码片段」于「合并布局」于「一二」于「罄」）
也。

「收集压平源码片段」乃化（「列」于「布局词法」）而（「列」于「字符串」）也。
「收集压平源码片段」者会「词法们」而
  鉴「词法们」而
    有「罄」则「罄」
    或有（「缀」于（「布局换行词法」于「忽略换行数」于「忽略缩进」）于「尾」）则
      「收集压平源码片段」于「尾」
    或有（「缀」于「当前」于「尾」）则
      「缀」于（「布局词法源码文字」于「当前」）于（「收集压平源码片段」于「尾」）
也。

「压平代码断行」乃化「字符串」而「字符串」也。
「压平代码断行」者会「标准」而
  虑「词法们」者「词法解析顶层」于「标准」而
  虑「布局们」者「扫描源码布局」于（「获取字符」于「标准」）而
  虑「合并布局」者「结合源码布局与词法」于「布局们」于「词法们」而
  「串组合并」于（「收集压平源码片段」于「合并布局」）
也。

「检验单样本变体词法」乃化「字符串」而「有」也。
「检验单样本变体词法」者会「文件名」而
  虑「路径」者『库/源码排版/测试/规范样本/标准/』附「文件名」而
  虑「标准」者「读文件」于「路径」而
  虑「零缩进输入」者「改写行首缩进」于「标准」于『』而
  虑「改缩进输入」者「改写行首缩进」于「标准」于『       』而
  虑「零缩进词法」者「词法解析顶层」于「零缩进输入」而
  虑「七格缩进词法」者「词法解析顶层」于「改缩进输入」而
  虑「忽略零缩进语法」者
    「抽象语法解析编译单元带注释」于「文件名」于「零缩进词法」
  而
  虑「忽略七格缩进语法」者
    「抽象语法解析编译单元带注释」于「文件名」于「七格缩进词法」
  而
  虑「零缩进同词」者「词法列相等」
    于（「词法解析顶层」于「标准」）
    于「零缩进词法」
  而
  虑「七格缩进同词」者「词法列相等」
    于（「词法解析顶层」于「标准」）
    于「七格缩进词法」
  而
  虑「无」者若「且」于「零缩进同词」于「七格缩进同词」则「元」否则
    「发生事故」于（『改缩进输入改变词法：』附「文件名」）而
  若「布局含注释」于（「结合源码布局与词法」
    于（「扫描源码布局」于（「获取字符」于「标准」））
    于（「词法解析顶层」于「标准」））则「元」否则
    虑「改断行输入」者「改写代码断行」于「标准」而
    虑「改断行词法」者「词法解析顶层」于「改断行输入」而
    虑「忽略断行语法」者
      「抽象语法解析编译单元带注释」于「文件名」于「改断行词法」
    而
    若「词法列相等」于（「词法解析顶层」于「标准」）于「改断行词法」则
      虑「压平输入」者「压平代码断行」于「标准」而
      虑「压平词法」者「词法解析顶层」于「压平输入」而
      虑「忽略压平语法」者
        「抽象语法解析编译单元带注释」于「文件名」于「压平词法」而
      若「词法列相等」于（「词法解析顶层」于「标准」）于「压平词法」则「元」否则
        「发生事故」于（『压平输入改变词法：』附「文件名」）
    否则
      「发生事故」于（『改断行输入改变词法：』附「文件名」）
也。

「检验规范样本」乃化「字符串」而「有」也。
「检验规范样本」者会「文件名」而
  虑「路径」者『库/源码排版/测试/规范样本/标准/』附「文件名」而
  虑「标准」者「读文件」于「路径」而
  虑「实得」者「格式化源码」于「文件名」于「一零零」于「标准」而
  虑「无」者若「串相等」于「实得」于「标准」则「元」否则
    「发生事故」于（『规范排版结果不符：』附「文件名」）而
  虑「零缩进输入」者「改写行首缩进」于「标准」于『』而
  虑「零缩进结果」者「格式化源码」于「文件名」于「一零零」于「零缩进输入」而
  虑「无」者若「串相等」于「零缩进结果」于「标准」则「元」否则
    「发生事故」于（『零缩进后未归一：』附「文件名」）而
  虑「改缩进输入」者「改写行首缩进」于「标准」于『       』而
  虑「改缩进结果」者「格式化源码」于「文件名」于「一零零」于「改缩进输入」而
  虑「无」者若「串相等」于「改缩进结果」于「标准」则「元」否则
    「发生事故」于（『改缩进后未归一：』附「文件名」）而
  若「布局含注释」于（「结合源码布局与词法」
    于（「扫描源码布局」于（「获取字符」于「标准」））
    于（「词法解析顶层」于「标准」））则「元」否则
    虑「改断行输入」者「改写代码断行」于「标准」而
    虑「改断行结果」者「格式化源码」于「文件名」于「一零零」于「改断行输入」而
    虑「无」者若「串相等」于「改断行结果」于「标准」则「元」否则
      「发生事故」于（『改断行后未归一：』附「文件名」）而
    虑「压平输入」者「压平代码断行」于「标准」而
    虑「压平结果」者「格式化源码」于「文件名」于「一零零」于「压平输入」而
    若「串相等」于「压平结果」于「标准」则「元」否则
      「发生事故」于（『压平后未归一：』附「文件名」）
也。

「检验目录项词法们」乃化（「列」于「字符串」）而「整数」也。
「检验目录项词法们」者会「名称们」而
  鉴「名称们」而
    有「罄」则「零」
    或有（「缀」于「文件名」于「尾」）则
      若「串结尾是它吗」于『。豫』于「文件名」则
        虑「无」者「检验单样本变体词法」于「文件名」而
        「加」于「一」于（「检验目录项词法们」于「尾」）
      否则
        「检验目录项词法们」于「尾」
也。

「检验目录项们」乃化（「列」于「字符串」）而「整数」也。
「检验目录项们」者会「名称们」而
  鉴「名称们」而
    有「罄」则「零」
    或有（「缀」于「文件名」于「尾」）则
      若「串结尾是它吗」于『。豫』于「文件名」则
        虑「无」者「检验规范样本」于「文件名」而
        「加」于「一」于（「检验目录项们」于「尾」）
      否则
        「检验目录项们」于「尾」
也。

虑「已验词法数」者
  「检验目录项词法们」于（「读文件夹」于『库/源码排版/测试/规范样本/标准』）
而
虑「数量」者「检验目录项们」于（「读文件夹」于『库/源码排版/测试/规范样本/标准』）而
若「且」于（「大于」于「数量」于「零」）于（「等于」于「数量」于「已验词法数」）则
  「打印行」于（『规范排版样本通过，共』附（「整数表示」于「数量」）附『份』）
否则
  「发生事故」于『规范排版目录中没有豫言样本』。
