寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。
寻观「编译器核心」之「网页汇编核心」之「存储模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态二进制」之书。
寻观「裸机后端」之「机器编码」之书。
寻观「裸机后端」之「存储镜像」之书。
寻观「裸机后端」之「设备驱动镜像」之书。
寻观「裸机后端」之「持久盘构造」之书。

「：文言：系统之构：以真编译器造执行器、程序与库，并造带客体之镜像与预置之盘；验证之器与豫言系统之器所共用。汉语：豫言系统的构造函数库（验证工具 普通豫言验证 与命令行工具 豫言系统 共用）：运行外部工具；用豫构构建底层包或编译普通豫言源为 wasmgc 模块；把客体模块嵌进执行器状态造出 ARM64／AMD64 镜像（有磁盘时含设备驱动镜像）；把预置树里的豫言源（。豫）与底层库标记（.底层库）先编成模块再按 盘内路径=本地文件 的参数造盘。：」
「检查」乃化「爻」而化「字符串」而「有」也。
「检查」者会「真」而会「名」而
  若「真」则
    「元」
  否则
    「发生事故」于（『裸机验证失败：』附「名」）
也。

「运行工具」乃化「字符串」而化（「列」于「字符串」）而「字符串」也。
「运行工具」者会「程序」而会「参数」而
  虑「果」者「操作系统」之「子进程」之「获取输出」于「程序」于「参数」而
  虑「检」者
    「检查」于（「果」中「零」）于（「程序」附『：』附（「果」中「二」））
  而
  「果」中「一」
也。

「构建豫言包」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「字符串」
也。
「构建豫言包」者会「构」而会「编」而会「包名」而会「出」而
  虑「果」者
    「运行工具」
      于『env』
      于（「列」【
        『YY_GC_INITIAL_HEAP_SIZE_MB=1024』，
        「构」，
        『构建』，
        「包名」，
        『--编译器』，
        「编」，
        『--输出』，
        「出」，
        『-j』，
        『24』
      】）
  而
  「出」
也。

「编译豫言源」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「字符串」
也。
「编译豫言源」者会「构」而会「编」而会「源」而会「出」而
  虑「果」者
    「运行工具」
      于『env』
      于（「列」【
        『YY_GC_INITIAL_HEAP_SIZE_MB=1024』，
        「构」，
        『文件』，
        「源」，
        『--编译器』，
        「编」，
        『--输出』，
        「出」，
        『-j』，
        『24』
      】）
  而
  「出」
也。

「：文言：造执行器之镜像：客体模块置于 0x10000，其长写于 0x408；有格式化之标者，挂载遇空盘则自格式化；无盘者预置块态为二（无设备）。汉语：造执行器镜像：把客体模块作为主动数据段追加到执行器状态（客体 0x10000、模块长 0x408、自动格式化标志 0x884、无盘运行时块态 0x940=2），再生成裸机镜像；盘式为真则用设备驱动镜像。臂 为真是 ARM64，否则 AMD64。：」
「造执行器镜像」乃
  化「爻」而
  化「网页状态模块」而
  化「字节串」而
  化「爻」而
  化「爻」而
  「字节串」
也。
「造执行器镜像」者会「臂」而会「状」而会「客字」而会「格式化」而会「盘式」而
  虑「新」者
    （（（「状」中「零」）中「零」）与（（「状」中「零」）中「一」）
  与（「附加」授以「网页数据声明」
    于（（「状」中「零」）中「二」）
    于（「附加」授以「网页数据声明」
      于（「附加」授以「网页数据声明」
        于（「列」【
          「网页主动数据」于「零」于「六五五三六」于「客字」，
          「网页主动数据」
            于「零」
            于「一零三二」
            于（「小端字节」于「四」于（「字节串长度」于「客字」））
        】）于（
          若「格式化」则「列」【「网页主动数据」于「零」于「二一八零」于（「小端字节」于「四」于「一」）】否则「罄」
        ））
        于（若「盘式」则「罄」否则「列」【「网页主动数据」于「零」于「二三六八」于（「小端字节」于「四」于「二」）】）））
    ）与（「状」中「一」）而
  若「盘式」则
    「生成设备驱动镜像」于「臂」于「新」
  否则
    「生成常规状态镜像」于「臂」于「新」
也。

「：文言：嵌客体于执行器之模块：客体之字置于 0x10000，其长书于 0x408；原生之执行器（Linux 等）用之。汉语：把客体模块嵌进执行器的状态模块：客体字节作为数据段放在 0x10000（模块窗口），长度写到 0x408（状态_模块长）。路二的独立可执行文件（如 Linux 上的执行器）用它。待办事项：客体超过 448 KiB 的模块窗口时尚不支持。：」
「嵌入客体」乃化「网页状态模块」而化「字节串」而「网页状态模块」也。
「嵌入客体」者会「状」而会「客字」而
  （（（「状」中「零」）中「零」）
    与（（「状」中「零」）中「一」）
  与（「附加」授以「网页数据声明」
    于（（「状」中「零」）中「二」）
    于（「列」【
      「网页主动数据」于「零」于「六五五三六」于「客字」，
      「网页主动数据」于「零」于「一零三二」于（「小端字节」于「四」于（「字节串长度」于「客字」））
    】））
  ）
    与（「状」中「一」）
也。

「路径末名」乃化「字符串」而「字符串」也。
「路径末名」者会「路」而
  鉴「串从右搜索单个」于『/』于「路」而
    有「可有」于「位」则
      「获取子字符串」于（「加」于「位」于「一」）于（「串长度」于「路」）于「路」
    或有「可无」则「路」
也。

「：文言：预置树之编：豫言源、底层库之标，先编为模块，方入盘。汉语：编译预置树造盘参数：参数形如 +盘内目录 或 盘内路径=本地文件；本地文件以 。豫 结尾的是普通豫言源程序，编成 wasmgc 模块，盘内路径去掉 。豫 加 .wasm（如 /程序/你好。豫 成 /程序/你好.wasm）；以 .底层库 结尾的是空的标记文件，其文件名去掉后缀就是要构建的底层包名，构建后以 .wasm 入盘（/库/库甲.底层库 成 /库/库甲.wasm）；其余原样。产物写在 输出前缀 开头的路径。：」
「编译预置程序」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「字符串」
也。
「编译预置程序」者会「构」而会「编」而会「出名」而会「参」而
  若「是目录参数」于「参」则
    「参」
  否则
    （
      若「串结尾是它吗」于『。豫』于（「本地之路」于「参」）
      则
        （
          虑「出」者
            「编译豫言源」
              于「构」
              于「编」
              于（「本地之路」于「参」）
              于（「出名」附『.wasm』）
          而
          （（「去除串结尾」于『。豫』于（「盘内之路」于「参」））附『.wasm=』附「出」）
        ）
      否则
        （
          若「串结尾是它吗」于『.底层库』于（「本地之路」于「参」）
          则
            （
              虑「包名」者
                「去除串结尾」
                  于『.底层库』
                  于（「路径末名」于（「本地之路」于「参」））
              而
              （
                虑「出」者
                  「构建豫言包」
                    于「构」于「编」于「包名」
                    于（「出名」附『.wasm』）
                而
                （（「去除串结尾」于『.底层库』于（「盘内之路」于「参」））附『.wasm=』附「出」）
              ）
            ）
          否则
            「参」
        ）
    ）
也。

「编译预置们」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化（「列」于「字符串」）而
  （「列」于「字符串」）
也。
「编译预置们」者会「构」而
  会「编」而
    会「输出前缀」而
      会「参们」而
        递归虑「逐」其化「整数」而化（「列」于「字符串」）而（「列」于「字符串」）者会「序」而会「余」而
          鉴「余」而
            有「罄」则「罄」授以「字符串」
            或有「缀」于「首」于「尾」则
              「缀」
                于（「编译预置程序」
                  于「构」
                  于「编」
                  于（「输出前缀」附『-预置程序-』附（「整数表示」于「序」））
                  于「首」）
                  于（「逐」于（「加」于「序」于「一」）于「尾」）
        而
        「逐」于「零」于「参们」
也。
