寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「癸象工具」之「总集」之书。
寻观「癸象工具」之「癸象访问」之书。
寻观「豫言操作系统网页入站」之「请求」之书。
寻观「豫言操作系统网页答复」之「响应」之书。
寻观「豫言操作系统密码摘要」之「摘要」之书。
寻观「豫言操作系统编译运行」之「编译」之书。

「：
文言：此应用惟一事：于一事之内依脚本逐步调编译运行公约之术，返各步之果。盖 Worker 不许一事之运行续于他事，故诸步须同处一事。
汉语：一致性验证的试验应用。POST 任意路径，请求体 {"steps":[步骤…]}，在**同一个事件里**依次执行步骤，返回 {"results":[每步的结果…]}。步骤都有 op；run 字段是此前 启动 步骤的序号（整数，从 0 起）或直接给的运行号字符串；name 缺省为 COMPILER_RUNTIME。接口抛出的豫言异常在该步的结果里是 {"error":消息}，脚本继续。
操作：启动 {request,padding?}→{run:序号,id:完整运行号}；事件 {run,wait}→{state,event}；读尽 {run,wait?}→{events:[事件文字…],timeouts:状态 1 次数}；交错 {run,run2,wait?}→{terminals:[甲终止事件文字,乙终止事件文字]}（两运行轮流各读一次）；产物 {run}→{bytes,sha256,magic}；产物文 {run}→{base64}；结束 {run}→{ok:真}。
：」
「答JSON」乃化「整数」而化「癸象」而「有」也。
「答JSON」者会「状态」而会「值」而
  「回应入站带头文字」
    于「状态」于『application/json』
    于（「罄」授以（「字符串」合「字符串」））
    于（「癸象表示」于「值」）
也。

「结果错」乃化「字符串」而「癸象」也。
「结果错」者会「信息」而
  「癸象对象」于（「列」【『error』与（「癸象字符串」于「信息」）】）
也。

「：
文言：以倍增之法重复一串。汉语：把字符串重复 次 次（按二进制倍增，只需对数次拼接）；用于造超限的请求文字。
：」
「重复串」乃化「字符串」而化「整数」而「字符串」也。
「重复串」者会「串」而会「次」而
  若「小于」于「次」于「一」则
    『』
  否则
    虑「半」者
      「重复串」于（「串」附「串」）于（「除以」于「次」于「二」）
    而
    若「等于」于（「减」于「次」于（「乘」于（「除以」于「次」于「二」）于「二」））于「零」则
      「半」
    否则
      「串」附「半」
也。

「：
文言：取运行号：整数为已启之序，字串则径用。汉语：解读步骤里的 run 字段（或 run2 等指定字段）：整数是此前 启动 步骤的序号（越界得空串），字符串原样作为运行号。
：」
「按字段取运行号」乃
  化「癸象」而
  化「字符串」而
  化（「列」于「字符串」）而
  「字符串」
也。
「按字段取运行号」者会「步」而会「字段」而会「诸号」而
  虑「值」者「癸象字段」于「步」于「字段」而
  鉴「值」而
    有（「癸象整数」于「序」）则（
      若「或者」于（「小于」于「序」于「零」）于（「非」于（「小于」于「序」于（「长度」授以「字符串」于「诸号」）））则
        『』
      否则
        「第N个」授以「字符串」于「序」于「诸号」
    ）
    或有（「癸象字符串」于「串」）则「串」
    或有「其他」则『』
也。

「取名」乃化「癸象」而「字符串」也。
「取名」者会「步」而
  「癸象字段字符串」于「步」于『name』于『COMPILER_RUNTIME』
也。

「：
文言：读尽：候至状态二；状态一者数之。汉语：循环读取事件直到状态 2，返回（倒序的事件文字，状态 1 的次数）；至多 5000 轮。
：」
「读尽」乃
  化「字符串」而
  化「字符串」而
  化「整数」而
  化（「列」于「字符串」）而
  化「整数」而
  化「整数」而
  （（「列」于「字符串」）合「整数」）
也。
「读尽」者会「名」而会「号」而会「等待」而会「逆事件」而会「超时数」而会「轮」而
  若「大于」于「轮」于「五零零零」则（「逆事件」与「超时数」）否则
    虑「果」者「读取编译运行事件」于「名」于「号」于「等待」而
    若「等于」于（「果」中「零」）于「二」则（「逆事件」与「超时数」）否则
      若「等于」于（「果」中「零」）于「一」则
        「读尽」于「名」于「号」于「等待」于「逆事件」于（「加」于「超时数」于「一」）
        于（「加」于「轮」于「一」）
      否则
        「读尽」
          于「名」
          于「号」
          于「等待」
          于（「缀」于（「果」中「一」）于「逆事件」）
          于「超时数」
          于（「加」于「轮」于「一」）
也。

「癸象字串列」乃化（「列」于「字符串」）而（「列」于「癸象」）也。
「癸象字串列」者会「诸」而
  「态射」授以「字符串」授以「癸象」
    于「诸」
    于（会「串」而「癸象字符串」于「串」）
也。

「：
文言：交错：两运轮流各读一事，直至皆终。汉语：轮流对两个运行各读一次事件，直到两个都取得终止事件（finished 或 failed）；返回两个终止事件文字（读不到则空串）。至多 5000 轮。
：」
「是终止事件文吗」乃化「字符串」而「爻」也。
「是终止事件文吗」者会「文」而
  虑「型」者「癸象字段字符串」于（「癸象解析」于「文」）于『type』于『』而
  「或者」于（「串相等」于「型」于『finished』）于（「串相等」于「型」于『failed』）
也。

「读一事」乃化「字符串」而化「字符串」而化「整数」而「字符串」也。
「读一事」者会「名」而会「号」而会「等待」而
  虑「果」者「读取编译运行事件」于「名」于「号」于「等待」而
  若「等于」于（「果」中「零」）于「零」则（
    若「是终止事件文吗」于（「果」中「一」）则（「果」中「一」）否则『』）
  否则
    『』
也。

「交错读」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「整数」而
  化「字符串」而
  化「字符串」而
  化「整数」而
  （「字符串」合「字符串」）
也。
「交错读」者会「名」而会「甲号」而会「乙号」而会「等待」而会「甲终」而会「乙终」而会「轮」而
  若「或者」
    于（「大于」于「轮」于「五零零零」）
    于（「且」于（「非」于（「串相等」于「甲终」于『』））于（「非」于（「串相等」于「乙终」于『』）））则
    （「甲终」与「乙终」）
  否则
    虑「新甲」者
      若「串相等」于「甲终」于『』则「读一事」于「名」于「甲号」于「等待」否则「甲终」
    而
    虑「新乙」者
      若「串相等」于「乙终」于『』则「读一事」于「名」于「乙号」于「等待」否则「乙终」
    而
    「交错读」于「名」于「甲号」于「乙号」于「等待」于「新甲」于「新乙」
    于（「加」于「轮」于「一」）
也。

「：
文言：一步之行：启者增运，余者不增。汉语：执行一个步骤，返回（新的运行号列表，该步结果）。启动步骤把新运行号追加到列表并返回其序号；其余步骤不改列表。步骤里接口抛出的异常都转成 {"error":…} 结果。
：」
「步果」即（「列」于「字符串」）
  合「癸象」
也。

「行启动」乃化「癸象」而化（「列」于「字符串」）而「步果」也。
「行启动」者会「步」而会「诸号」而
  虑「补」者「癸象字段整数」于「步」于『padding』于「零」而
  虑「果」者
    「尝试运行」授以（「字符串」合「字符串」）
    于（会「无」而（『』
  与（「启动编译运行」
    于（「取名」于「步」）
    于（（「癸象字段字符串」于「步」于『request』于『』）附（「重复串」于『x』于「补」）））））
    于（会「信息」而（「信息」与『』））而
      若「串相等」于（「果」中「零」）于『』则（（「附加」授以「字符串」于「诸号」于（「列」【「果」中「一」】））
  与（「癸象对象」于（「列」【
    『run』与（「癸象整数」于（「长度」授以「字符串」于「诸号」）），
    『id』与（「癸象字符串」于（「果」中「一」））
  】））
      ）
      否则
        （「诸号」与（「结果错」于（「果」中「零」）））
也。

「行其余」乃化「字符串」而化「癸象」而化（「列」于「字符串」）而「癸象」也。
「行其余」者会「操作」而会「步」而会「诸号」而
  虑「名」者「取名」于「步」而
  虑「号」者「按字段取运行号」于「步」于『run』于「诸号」而
  虑「等待」者「癸象字段整数」于「步」于『wait』于「一零零零」而
  若「串相等」于「操作」于『事件』则（
    虑「果」者「读取编译运行事件」于「名」于「号」于「等待」而
    「癸象对象」于（「列」【
      『state』与（「癸象整数」于（「果」中「零」）），
      『event』与（「癸象字符串」于（「果」中「一」））
    】）
  ）否则
    若「串相等」于「操作」于『读尽』则（
      虑「果」者
        「读尽」
          于「名」
          于「号」
          于（「癸象字段整数」于「步」于『wait』于「五零零零」）
          于（「罄」授以「字符串」）于「零」于「零」
      而
      「癸象对象」于（「列」【
        『events』与（「癸象数组」于（「癸象字串列」于（「反转」授以「字符串」于（「果」中「零」）））），
        『timeouts』与（「癸象整数」于（「果」中「一」））
      】）
    ）否则
      若「串相等」于「操作」于『交错』则（
        虑「乙号」者「按字段取运行号」于「步」于『run2』于「诸号」
        而
        虑「果」者
          「交错读」
            于「名」
            于「号」
            于「乙号」
            于（「癸象字段整数」于「步」于『wait』于「五零零零」）
            于『』于『』于「零」
        而
        「癸象对象」于（「列」【
          『terminals』
            与（「癸象数组」于（「列」【「癸象字符串」于（「果」中「零」），「癸象字符串」于（「果」中「一」）】））
        】）
      ）否则
        若「串相等」于「操作」于『产物』则（
          虑「字节」者「读取编译产物」于「名」于「号」
          而
          虑「魔数」者
            若「小于」于（「字节串长度」于「字节」）于「四」则
              『』
            否则
              （「整数表示」于（「字节串取字节」于「字节」于「零」））附『,』附（「整数表示」
                于（「字节串取字节」于「字节」于「一」））附『,』附（「整数表示」
                  于（「字节串取字节」于「字节」于「二」））附
                    『,』附（「整数表示」于（「字节串取字节」于「字节」于「三」））
          而
          「癸象对象」于（「列」【
            『bytes』与（「癸象整数」于（「字节串长度」于「字节」）），
            『sha256』与（「癸象字符串」于（「摘要SHA256字节十六进制」于「字节」）），
            『magic』与（「癸象字符串」于「魔数」）
          】）
        ）否则
          若「串相等」于「操作」于『产物文』则
            （「癸象对象」于（「列」【『base64』与（「癸象字符串」于（「读取编译产物Base64」于「名」于「号」））】））
          否则
            若「串相等」于「操作」于『结束』则
              （虑「无」者「结束编译运行」于「名」于「号」而「癸象对象」于（「列」【『ok』与（「癸象爻」于「阳」）】））
            否则
              「结果错」于（『未知操作：』附「操作」）
也。

「行一步」乃化「癸象」而化（「列」于「字符串」）而「步果」也。
「行一步」者会「步」而会「诸号」而
  虑「操作」者「癸象字段字符串」于「步」于『op』于『』而
  若「串相等」于「操作」于『启动』则
    「行启动」于「步」于「诸号」
  否则
    虑「果」者
      「尝试运行」授以「癸象」
      于（会「无」而「行其余」于「操作」于「步」于「诸号」）
      于（会「信息」而「结果错」于「信息」）
    而
    （「诸号」与「果」）
也。

「行脚本」乃
  化（「列」于「癸象」）而
  化（「列」于「字符串」）而
  化（「列」于「癸象」）而
  （「列」于「癸象」）
也。
「行脚本」者会「诸步」而会「诸号」而会「逆果」而
  鉴「诸步」而
    有「罄」则「反转」授以「癸象」于「逆果」
    或有（「缀」于「步」于「余」）则（
      虑「结」者「行一步」于「步」于「诸号」而
      「行脚本」于「余」于（「结」中「零」）于（「缀」于（「结」中「一」）于「逆果」）
    ）
也。

「取体」乃化「有」而（「字符串」合「癸象」）也。
「取体」者会「无」而
  「尝试运行」授以（「字符串」合「癸象」）
  于（会「无」而（『』与（「癸象解析」于（「读取入站癸象正文文」于「元」））））
  于（会「信息」而（「信息」与「癸象空」））
也。

「主路」乃化「有」而「有」也。
「主路」者会「无」而
  虑「取」者「取体」于「元」而
  若「非」于（「串相等」于（「取」中「零」）于『』）则
    「回应入站带头文字」
      于「四零零」于『text/plain;charset=UTF-8』
      于（「罄」授以（「字符串」合「字符串」））
      于（「取」中「零」）
  否则
    「答JSON」
      于「二零零」
      于（「癸象对象」
        于（「列」【
          『results』
            与（「癸象数组」于（「行脚本」
              于（「癸象取数组」于（「癸象字段」于（「取」中「一」）于『steps』））
              于（「罄」授以「字符串」）
              于（「罄」授以「癸象」）））
        】））
也。

「主路」于「元」。
