豫言源码浏览器

yuyan · 664 行 · 32504 字节 · UTF-8
寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「操作系统」之「异步子进程」之书。
寻观「标准库」之「控制」之「异步」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。
寻观「编译器核心」之「网页汇编核心」之「存储模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态二进制」之书。
寻观「裸机后端」之「机器编码」之书。
寻观「裸机后端」之「存储镜像」之书。
寻观「裸机后端」之「模拟平台」之书。
寻观「裸机后端」之「设备驱动镜像」之书。
寻观「裸机后端」之「持久盘构造」之书。
寻观「裸机后端」之「系统构造」之书。

「：文言：普通豫言程序之验：以真编译器造 WasmGC 模块，嵌入客体执行器二号，二架构 QEMU 各运行，与参照输出逐字相校。汉语：验证普通豫言程序在用户态客体执行器二号中的运行：读 豫言操作系统/裸机/普通探针 下的每个 .豫 源程序，用 ./yy豫构 以 wasmgc 目标编译，把模块嵌入由 豫言操作系统/裸机/客体二号（底层模式的普通豫言包）构建出的执行器，生成 ARM64 与 AMD64 镜像，在 QEMU 运行并要求串口输出恰为“豫言核心启动”、程序参照输出、“用户任务全部退出”。参照输出取自宿主 Node 运行同一模块的结果，存于同名 .期望 文件。另有 豫言操作系统/裸机/壳/测试 下的壳测试（名.输入 由串口送入壳，名.期望 为壳的完整输出；带 名.预置 目录树者另挂离线造好的持久盘，树中以 。豫 结尾的文件先编成 wasmgc 模块、以 .wasm 之名入盘，供运行命令启动真子进程）。另有 豫言操作系统/裸机/底层探针 下的底层包：直接编译成用户程序装入内核镜像（不经执行器），用于检验内核服务。用法：yy普通豫言验证 [--只验 名] [--豫构 ./yy豫构.wasm] [--编译器 ./yy4_bs.wasm]。：」
「临时原文」者「运行工具」于『mktemp』于（「列」【『-d』，『/tmp/yy裸机验证.XXXXXX』】）也。

「目录」者「去除串结尾」于『「：换行：」』于「临时原文」也。

「路径」乃化「字符串」而「字符串」也。
「路径」者会「名」而
  「目录」附『/』附「名」
也。

「等待模拟」乃
  化（「异步任务」于「子进程结果」）而
  化「整数」而
  化「字符串」而
  「子进程结果」
也。
「等待模拟」者会「任务」而会「余」而会「进程文件」而
  若「完成了吗」授以「子进程结果」于「任务」则
    「等待」授以「子进程结果」于「任务」
  否则
    若「等于」于「余」于「零」则
      虑「存在」者
        「检查」
          于（「文件系统」之「路径存在」于「进程文件」）
          于『模拟器超时且无进程号文件』
      而
      虑「号」者「理解整数」于（「文件系统」之「读文件」于「进程文件」）
      而
      虑「安全」者
        「检查」于（「大于」于「号」于「一」）于『模拟器进程号非法』
      而
      虑「终止」者
        「操作系统」之「子进程」之「获取输出」于『/bin/kill』
        于（「列」【『-KILL』，「整数表示」于「号」】）
      而
      「发生事故」于『模拟器超过等待上限，已终止本轮进程』
    否则
      虑「进」者「限时让出」于「五零」而
      「等待模拟」于「任务」于（「减」于「余」于「一」）于「进程文件」
也。

「等待出现」乃
  化（「异步任务」于「子进程结果」）而
  化「整数」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「有」
也。
「等待出现」者会「任务」而会「余」而会「进程文件」而会「输出文件」而会「标记」而
  若「完成了吗」授以「子进程结果」于「任务」则
    「发生事故」于『模拟器已退出，串口尚未出现就绪标记』
  否则
    若「是子字符串吗」于「标记」于（「文件系统」之「读文件」于「输出文件」）则「元」否则
      若「等于」于「余」于「零」则虑「终」者
        「等待模拟」于「任务」于「零」于「进程文件」而「发生事故」
        于『串口就绪标记等待超时』
      否则
        虑「进」者「限时让出」于「五零」而
        「等待出现」
          于「任务」
          于（「减」于「余」于「一」）
          于「进程文件」于「输出文件」于「标记」
也。

「命令行值」乃化「字符串」而化「字符串」而「字符串」也。
「命令行值」者会「键」而
  会「缺省」而
    递归虑「找」其化（「列」于「字符串」）而「字符串」者会「们」而
      鉴「们」而
        有「罄」则「缺省」
        或有「缀」于「首」于「尾」则
          若「串相等」于「首」于「键」则鉴「尾」而
            有「缀」于「值」于「后」则「值」
            或有「罄」则「缺省」
          否则
            「找」于「尾」
    而
    「找」于（「命令行参数」之「获取参数」于「元」）
也。

「构令」乃「字符串」也。
「构令」者「命令行值」于『--豫构』于『./yy豫构.wasm』也。

「编令」乃「字符串」也。
「编令」者「命令行值」于『--编译器』于『./yy4_bs.wasm』也。

「构建执行器」乃化「字符串」而化「字符串」而「字符串」也。
「构建执行器」者会「构」而会「编」而
  「构建豫言包」于「构」于「编」于『客体二号』于（「路径」于『yy客体二号.wasm』）
也。

「执行器状态」乃「网页状态模块」也。
「执行器状态」者「读取状态二进制」于（「文件系统」之「读文件字节串」于（「构建执行器」于「构令」于「编令」））也。

「探针目录」乃「字符串」也。
「探针目录」者『豫言操作系统/裸机/普通探针』也。

「探针名们」乃「列」于「字符串」也。
「探针名们」者
  「态射」授以「字符串」授以「字符串」
    于（「滤」授以「字符串」
      于（会「名」而「串结尾是它吗」于『。豫』于「名」）
      于（「文件系统」之「读文件夹」于「探针目录」））
      于（会「名」而「去除串结尾」于『。豫』于「名」）
也。

「壳测试名们」乃「列」于「字符串」也。
「壳测试名们」者
  「态射」授以「字符串」授以「字符串」
    于（「滤」授以「字符串」
      于（会「名」而「串结尾是它吗」于『.输入』于「名」）
      于（「文件系统」之「读文件夹」于『豫言操作系统/裸机/壳/测试』））
      于（会「名」而「去除串结尾」于『.输入』于「名」）
也。

「排序名」乃化（「列」于「字符串」）而（「列」于「字符串」）也。
「排序名」者会「们」而
  「们」
也。

「造执行器」乃化「爻」而化「字节串」而化「爻」而化「爻」而「字节串」也。
「造执行器」者会「臂」而会「客字」而会「格式化」而会「盘式」而
  「造执行器镜像」于「臂」于「执行器状态」于「客字」于「格式化」于「盘式」
也。

「构建底层探针」乃化「字符串」而化「字符串」而化「字符串」而「字符串」也。
「构建底层探针」者会「构」而会「编」而会「包名」而
  「构建豫言包」于「构」于「编」于「包名」于（「路径」于（『yy』附「包名」附『.wasm』））
也。

「造底层镜像」乃化「爻」而化「字符串」而「字节串」也。
「造底层镜像」者会「臂」而会「模块路径」而
  虑「状」者
    「读取状态二进制」于（「文件系统」之「读文件字节串」于「模块路径」）
  而
  「生成常规状态镜像」于「臂」于「状」
也。

「编译探针」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「字符串」
也。
「编译探针」者会「构」而会「编」而会「源」而会「名」而
  「编译豫言源」于「构」于「编」于「源」于（「路径」于（「名」附『.wasm』））
也。

「首行」乃化「字符串」而「字符串」也。
「首行」者会「文」而
  鉴「串从左搜索单个」于（「字节转字符串」于「一零」）于「文」而
    有「可有」于「位」则
      「获取子字符串」于「零」于「位」于「文」
    或有「可无」则「文」
也。

「补末换行」乃化「字符串」而「字符串」也。
「补末换行」者会「文」而
  若「或者」于（「串相等」于「文」于『』）于（「串结尾是它吗」于（「字节转字符串」于「一零」）于「文」）则
    「文」
  否则
    「文」附（「字节转字符串」于「一零」）
也。

「：文言：分段送入：输入文件中以 @ 起首之行为指令，其余为原文。@等待 X：先把已积之文写入串口，待串口输出于其前所见之后新现 X 再续；@中断：于此处送入一字节 Ctrl-C（0x03）；@原样 文：写入其文而不加换行。无指令者仍一次写尽。汉语：交互测试的分段输入。壳的 Ctrl-C 之类要在程序真正开始运行之后才能送，所以输入文件里以 @ 开头的行是指令，其余行按原样送入（每行加换行）：“@等待 标记” 先把已积的文本写进串口，再等串口输出里在已见内容之后出现 标记，之后已见内容更新为当时的全部输出；“@中断” 在此处放一个 Ctrl-C 字节（0x03）；“@原样 文字” 送入文字但不加换行（例如在提示符后敲了半行再按 Ctrl-C）。没有这些指令的输入文件仍一次写进去，与从前完全一样。：」
「分行累」乃
  化（「列」于「字符串」）而
  化「字符串」而
  化（「列」于「字符串」）而
  （「列」于「字符串」）
也。
「分行累」者会「余」而会「当前」而会「结果」而
  鉴「余」而
    有「罄」则（
      若「串相等」于「当前」于『』则
        「反转」授以「字符串」于「结果」
      否则
        「反转」授以「字符串」于（「缀」于「当前」于「结果」）
    ）
    或有「缀」于「字」于「尾」则
      若「串相等」于「字」于（「字节转字符串」于「一零」）则
        「分行累」于「尾」于『』于（「缀」于「当前」于「结果」）
      否则
        「分行累」于「尾」于（「当前」附「字」）于「结果」
也。

「等待新出现」乃
  化（「异步任务」于「子进程结果」）而
  化「整数」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「字符串」
也。
「等待新出现」者会「任务」而会「余」而会「输出文件」而会「已见」而会「标记」而
  虑「全」者「文件系统」之「读文件」于「输出文件」而
  若「是子字符串吗」于「标记」于（「去除串开头」于「已见」于「全」）则
    「全」
  否则
    若「完成了吗」授以「子进程结果」于「任务」则
      「发生事故」于（『模拟器已退出，串口没有出现：』附「标记」）
    否则
      若「等于」于「余」于「零」则
        「发生事故」于（『等待串口出现超时：』附「标记」）
      否则
        虑「进」者「限时让出」于「五零」而
        「等待新出现」
          于「任务」
          于（「减」于「余」于「一」）于「输出文件」于「已见」于「标记」
也。

「写入串口」乃化「字符串」而化「字符串」而「有」也。
「写入串口」者会「入文件」而会「缓」而
  若「串相等」于「缓」于『』则
    「元」
  否则
    「文件系统」之「写文件」于「入文件」于「缓」
也。

「分段送入」乃
  化（「异步任务」于「子进程结果」）而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化（「列」于「字符串」）而
  化「字符串」而
  「有」
也。
「分段送入」者会「任务」而会「入文件」而会「出文件」而会「已见」而会「行们」而会「缓」而
  鉴「行们」而
    有「罄」则「写入串口」于「入文件」于「缓」
    或有「缀」于「句」于「余」则
      若「串开头是它吗」于『@等待 』于「句」则
        虑「无」者「写入串口」于「入文件」于「缓」而
        虑「见」者
          「等待新出现」
            于「任务」
            于「六零零」
            于「出文件」于「已见」
            于（「去除串开头」于『@等待 』于「句」）
        而
        「分段送入」于「任务」于「入文件」于「出文件」于「见」于「余」于『』
      否则
        （
          若「串相等」于「句」于『@中断』则
            「分段送入」
              于「任务」
              于「入文件」
              于「出文件」
              于「已见」于「余」
              于（「缓」附（「字节转字符串」于「三」））
          否则
            （
              若「串开头是它吗」于『@原样 』于「句」则
                「分段送入」
                  于「任务」
                  于「入文件」
                  于「出文件」
                  于「已见」
                  于「余」
                  于（「缓」附（「去除串开头」于『@原样 』于「句」））
              否则
                「分段送入」
                  于「任务」
                  于「入文件」
                  于「出文件」
                  于「已见」
                  于「余」
                  于（「缓」附「句」附（「字节转字符串」于「一零」））
            ）
        ）
也。

「送入输入」乃
  化（「异步任务」于「子进程结果」）而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「有」
也。
「送入输入」者会「任务」而会「入文件」而会「出文件」而会「文」而
  若「是子字符串吗」于（（「字节转字符串」于「一零」）附『@』）
  于（（「字节转字符串」于「一零」）附「文」）
  则
    「分段送入」
      于「任务」
      于「入文件」于「出文件」于『』
      于（「分行累」于（「串转通字符」于「文」）于『』于（「罄」授以「字符串」））
      于『』
  否则
    「文件系统」之「写文件」于「入文件」于「文」
也。

「验证一个」乃
  化「爻」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「有」
也。
「验证一个」者会「臂」而会「名」而会「模块路径」而会「期望路径」而会「输入路径」而会「盘组」而
  虑「盘式」者「非」于（「串相等」于「盘组」于『』）而
  虑「壳盘」者「串开头是它吗」于『壳-』于「盘组」而
  虑「首阶」者「或者」于（「串结尾是它吗」于『-一』于「名」）于「壳盘」而
  虑「架构」者
    若「臂」则『臂六十四』否则『兼容六十四』而
    虑「项名」者『普通-』附「名」附『-』附「架构」而
    虑「客字」者「文件系统」之「读文件字节串」于「模块路径」而
    虑「期望」者「补末换行」于（「文件系统」之「读文件」于「期望路径」）而
    虑「交互」者「非」于（「串相等」于「输入路径」于『』）而
    虑「是底层」者「串结尾是它吗」于『探针。包。豫』于「模块路径」而
    虑「预置树」者
      （
        若「壳盘」则（『豫言操作系统/裸机/壳/测试/』附（「去除串开头」于『壳-』于「盘组」）附『.预置』）否则
          （『豫言操作系统/裸机/普通探针/盘/』附「盘组」附『.预置』）
      ）
    而
    虑「有预置」者
      「且」于「盘式」于（「文件系统」之「路径存在」于「预置树」）
    而
    虑「镜像」者
      若「是底层」则
        「造底层镜像」
          于「臂」
          于（「构建底层探针」于「构令」于「编令」于（（「去除串开头」于『底层-』于「名」）附『探针』））
      否则
        「造执行器」
          于「臂」
          于「客字」
          于（「且」于（「且」于「盘式」于「首阶」）于（「非」于「有预置」））
          于「盘式」
    而
    虑「盘路径」者
      「路径」于（「架构」附『-普通盘-』附「盘组」附『.盘』）
    而
    虑「建盘」者
      若「且」于「盘式」于「首阶」则
        「文件系统」之「写文件字节串」
          于「盘路径」
          于（
          若「有预置」则
            「按参数造持久盘」
              于（若「壳盘」则「一六三八四」否则「二零四八」）
              于（「编译预置们」于「构令」于「编令」于（「路径」于「项名」）于（「目录树造盘参数」于「预置树」于『』））
          否则
            「零字节」于「一零四八五七六」）
      否则
        「元」
    而
    虑「文件」者「路径」于（「项名」附『.镜像』）而
    虑「写」者「文件系统」之「写文件字节串」于「文件」于「镜像」而
    虑「进程文件」者「路径」于（「项名」附『.进程』）而
    虑「串口前缀」者「路径」于（「项名」附『.串口』）而
    虑「建入」者
      若「交互」则「运行工具」于『mkfifo』于（「列」【「串口前缀」附『.in』】）否则『』
    而
    虑「建出」者
      若「交互」则「文件系统」之「写文件」于（「串口前缀」附『.out』）于『』否则「元」
    而
    虑「共参」者
      （（「列」于「字符串」）也（「列」【
        『-accel』，
        『tcg』，
        『-m』，
        『128M』，
        『-smp』，
        『1』，
        『-display』，
        『none』，
        『-monitor』，
        『none』，
        『-serial』，
        （若「交互」则『pipe:』附「串口前缀」否则『stdio』），
        『-no-reboot』，
        『-rtc』，
        『base=2031-07-15T08:09:10』，
        『-pidfile』，
        「进程文件」，
        『-kernel』，
        「文件」
      】）
      ）
    而
    虑「机参」者「裸机模拟平台参数」于「臂」于「盘式」于「盘式」而
    虑「设备参」者
      （（「列」于「字符串」）也
        若「盘式」则
          「列」【
            『-drive』，
            『file=』附「盘路径」附『,if=none,id=yy_disk,format=raw』，
            『-device』，
            「裸机磁盘设备参数」于「阳」
          】
        否则
          「罄」
      ）
    而
    虑「任务」者
      「异步获取输出」
        于（若「臂」则『qemu-system-aarch64』否则『qemu-system-x86_64』）
        于（「附加」授以「字符串」于「设备参」于（「附加」授以「字符串」于「机参」于「共参」））
    而
    虑「就绪」者
      若「交互」则
        「等待出现」于「任务」于「六零零零零」于「进程文件」
        于（「串口前缀」附『.out』）
        于（「首行」于「期望」）
      否则
        「元」
    而
    虑「送入」者
      若「交互」则
        「送入输入」
          于「任务」
          于（「串口前缀」附『.in』）
          于（「串口前缀」附『.out』）
          于（「文件系统」之「读文件」于「输入路径」）
      否则
        「元」
    而
    虑「原果」者「等待模拟」于「任务」于「一二零零零零」于「进程文件」而
    虑「果」者（「原果」中「零」）与（「原果」中「一」）
      与（若「交互」则「文件系统」之「读文件」于（「串口前缀」附『.out』）否则「原果」中「二」）与（「原果」中「三」）
    而
    虑「日志」者
      「文件系统」之「写文件」于（「路径」于（「项名」附『.日志』））
      于（（「果」中「二」）附（「果」中「三」））
    而
    虑「期码」者
      若「臂」则「零」否则「三三」
    而
    虑「码检」者
      「检查」
        于（「等于」于（「果」中「一」）于「期码」）
        于（「项名」附『退出码不符：』附（「整数表示」于（「果」中「一」））附『，见日志：』附「目录」）
    而
    虑「期文」者
      （
        若「盘式」则『豫言核心启动「：换行：」设备地址隔离初置已确认「：换行：」设备窗口已启用「：换行：」』否则
          『豫言核心启动「：换行：」』
      ）附「期望」附（
        若「盘式」则『设备退出清理完成「：换行：」用户任务全部退出「：换行：」』否则『用户任务全部退出「：换行：」』
      ）
    而
    虑「文检」者
      「检查」于（「串相等」于「期文」于（「果」中「二」））于（「项名」附『串口输出与参照不一致，见日志：』附「目录」）
    而
    「打印行」于（『普通豫言验证通过：』附「项名」）
也。

「只名」乃「字符串」也。
「只名」者「命令行值」于『--只验』于『』也。

「探针项」即
  「字符串」
  合「字符串」
  合「字符串」
  合「字符串」
  合「字符串」
也。

「盘目录」乃「字符串」也。
「盘目录」者『豫言操作系统/裸机/普通探针/盘』也。

「盘阶们」乃「列」于「字符串」也。
「盘阶们」者「列」【『一』，『二』，『三』，『四』，『五』】也。

「盘组名们」乃「列」于「字符串」也。
「盘组名们」者
  「态射」授以「字符串」授以「字符串」
    于（「滤」授以「字符串」
      于（会「名」而「串结尾是它吗」于『-一。豫』于「名」）
      于（「文件系统」之「读文件夹」于「盘目录」））
      于（会「名」而「去除串结尾」于『-一。豫』于「名」）
也。

「盘组项们」乃化「字符串」而（「列」于「探针项」）也。
「盘组项们」者会「组」而
  「态射」授以「字符串」授以「探针项」
    于（「滤」授以「字符串」
      于（会「阶」而「文件系统」之「路径存在」于（「盘目录」附『/』附「组」附『-』附「阶」附『。豫』））
      于「盘阶们」）
      于（会「阶」而（（「组」附『-』附「阶」）与（「盘目录」附『/』附「组」附『-』附「阶」附『。豫』）
        与（「盘目录」附『/』附「组」附『-』附「阶」附『.期望』）与『』与「组」
        ））
也。

「盘探针项们」乃「列」于「探针项」也。
「盘探针项们」者
  「串联」授以「探针项」于（「态射」授以「字符串」授以（「列」于「探针项」）于「盘组名们」于「盘组项们」）
也。

「：文言：覆盖之试：取语言测试集中可无子进程而行之数例，与执行器一并验之。汉语：覆盖测试：从 应用/豫言编译器/测试/网页汇编（后端语义的回归测试，每例是 名-1。豫 与期望输出 名。成功）里挑选不依赖子进程、不依赖网络的若干例，以“普通-网页汇编-名”为项名在 QEMU 里运行；期望文件没有末尾换行，验证时补上。：」
「名在表中」乃化「字符串」而化（「列」于「字符串」）而「爻」也。
「名在表中」者会「名」而会「们」而
  鉴「们」而
    有「罄」则「阴」
    或有「缀」于「首」于「尾」则（
      若「串相等」于「首」于「名」则「阳」否则「名在表中」于「名」于「尾」）
也。

「：文言：覆盖之除：其一需三任务槽（自行复制子进程之试），其二逾模块窗口（编译器库所致），皆不可作嵌入镜像之主程序。汉语：覆盖排除名：数组索引边界、双步陷阱、宿主参数、整数除法边界、私有条件边界、纯整条件边界、进程等待、重复索引边界这八个测试会自己 fork 子进程（主程序再起子进程，共三个任务槽，内核只有两个）；去柯里化边界、替换共享、整数专门化、构造常量、私有入口这五个用了编译器库，产物 0.7–1 MB，超过嵌入镜像的 448 KiB 模块窗口（它们可以由壳从磁盘运行，见壳测试 大程序）。加 --全部覆盖 是 时，覆盖项取 应用/豫言编译器/测试/网页汇编 里除此之外的全部测试，否则只取精选的十二例。：」
「覆盖排除名们」乃「列」于「字符串」也。
「覆盖排除名们」者
  「列」【
    『数组索引边界』，
    『双步陷阱』，
    『宿主参数』，
    『整数除法边界』，
    『私有条件边界』，
    『纯整条件边界』，
    『进程等待』，
    『重复索引边界』，
    『去柯里化边界』，
    『替换共享』，
    『整数专门化』，
    『构造常量』，
    『私有入口』
  】
也。

「精选覆盖名们」乃「列」于「字符串」也。
「精选覆盖名们」者
  「列」【
    『基础』，
    『深栈』，
    『递归回收』，
    『大数组』，
    『长打表』，
    『整数文本』，
    『虚拟数组』，
    『排序逐项』，
    『双整组矩阵』，
    『双步循环』，
    『私有整组排序』，
    『癸象转义』
  】
也。

「全部覆盖名们」乃「列」于「字符串」也。
「全部覆盖名们」者
  「滤」授以「字符串」
    于（会「名」而「非」于（「名在表中」于「名」于「覆盖排除名们」））
    于（「态射」授以「字符串」授以「字符串」
      于（「滤」授以「字符串」
        于（会「名」而「串结尾是它吗」于『。成功』于「名」）
        于（「文件系统」之「读文件夹」于『应用/豫言编译器/测试/网页汇编』））
        于（会「名」而「去除串结尾」于『。成功』于「名」））
也。

「覆盖测试名们」乃「列」于「字符串」也。
「覆盖测试名们」者若「串相等」于（「命令行值」于『--全部覆盖』于『』）于『是』则「全部覆盖名们」否则「精选覆盖名们」也。

「覆盖探针项们」乃「列」于「探针项」也。
「覆盖探针项们」者
  「态射」授以「字符串」授以「探针项」
    于「覆盖测试名们」
    于（会「名」而（（『网页汇编-』附「名」）与（『应用/豫言编译器/测试/网页汇编/』附「名」附『-1。豫』）
      与（『应用/豫言编译器/测试/网页汇编/』附「名」附『。成功』）与『』与『』
      ））
也。

「底层探针目录」乃「字符串」也。
「底层探针目录」者『豫言操作系统/裸机/底层探针』也。

「底层探针名们」乃「列」于「字符串」也。
「底层探针名们」者
  「滤」授以「字符串」
    于（会「名」而「文件系统」之「路径存在」于（「底层探针目录」附『/』附「名」附『/』附「名」附『探针。包。豫』））
    于（「文件系统」之「读文件夹」于「底层探针目录」）
也。

「探针项们」乃「列」于「探针项」也。
「探针项们」者
  「附加」授以「探针项」
    于（「附加」授以「探针项」
      于（「附加」授以「探针项」
        于（「态射」授以「字符串」授以「探针项」
          于「探针名们」
          于（会「名」而（「名」与（『豫言操作系统/裸机/普通探针/』附「名」附『。豫』）
            与（『豫言操作系统/裸机/普通探针/』附「名」附『.期望』）与『』与『』）））
            于（「态射」授以「字符串」授以「探针项」
              于「壳测试名们」
              于（会「名」而（（『壳-』附「名」）与『豫言操作系统/裸机/壳/壳。豫』
                与（『豫言操作系统/裸机/壳/测试/』附「名」附『.期望』）
                  与（『豫言操作系统/裸机/壳/测试/』附「名」附『.输入』）
                    与（
                      若「文件系统」之「路径存在」
                        于（『豫言操作系统/裸机/壳/测试/』附「名」附『.预置』）则（『壳-』附「名」）
                      否则
                        『』
                    ）
              ））））于（「态射」授以「字符串」授以「探针项」
                于「底层探针名们」
                于（会「名」而（（『底层-』附「名」）
                  与（「底层探针目录」附『/』附「名」附『/』附「名」附『探针。包。豫』）
                    与（「底层探针目录」附『/』附「名」附『/』附「名」附『.期望』）与『』与『』
                ））））于（「附加」授以「探针项」于「盘探针项们」于「覆盖探针项们」）
也。

「逐个」乃化（「列」于「探针项」）而「有」也。
「逐个」者会「们」而
  鉴「们」而
    有「罄」则「元」
    或有「缀」于「项」于「余」则
      虑「名」者「项」中「零」而
      虑「本」者
        （
          若「或者」
            于（「串相等」于「只名」于『』）
            于（「是子字符串吗」于「只名」于（『普通-』附「名」））
          则
            （
              虑「模」者
                若「串结尾是它吗」于『探针。包。豫』于（「项」中「一」）则
                  「项」中「一」
                否则
                  「编译探针」
                    于「构令」于「编令」
                    于（「项」中「一」）于「名」
              而
              虑「甲」者
                「验证一个」
                  于「阳」
                  于「名」
                  于「模」
                  于（「项」中「二」）
                  于（「项」中「三」）
                  于（「项」中「四」）
              而
              「验证一个」
                于「阴」
                于「名」
                于「模」
                于（「项」中「二」）
                于（「项」中「三」）
                于（「项」中「四」）
            ）否则「元」
        ）
      而
      「逐个」于「余」
也。

「逐个」于「探针项们」。