寻观「标准库」之书。
寻观「癸象工具」之「总集」之书。
寻观「云工宿主」之「核心」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「癸象工具」之「癸象访问」之书。
寻观「云工宿主」之「网址」之书。

「：文言：读态者，一答之读势也；表居实例之内，事毕随实例而弃，不越事而存。汉语：每个响应柄对应一条读取状态，表存放在本次事件的 Wasm 实例内，事件结束即随实例消失。字段依次为：响应柄、中断信号号、读取器号、解码器号、余块号、余块偏移、余块总长、结局（零读取中，一已读尽，二读取错误，三超时或已取消）、结局文、待出文字。：」
「读态」即
  「字符串」
  合「字符串」
  合「字符串」
  合「字符串」
  合「字符串」
  合「整数」
  合「整数」
  合「整数」
  合「字符串」
  合「字符串」
也。

「读态表」者「新引用」授以（「列」于「读态」）于（「罄」授以「读态」）也。

「：文言：造新读势，字段皆空。汉语：创建响应柄的初始读取状态：尚无读取器、解码器、余块，结局为读取中。：」
「新读态」乃化「字符串」而化「字符串」而「读态」也。
「新读态」者会「柄」而会「信号」而
  「柄」与「信号」与『』与『』与『』与「零」与「零」与「零」与『』与『』
也。

「：文言：易读器与解码器之柄。汉语：返回替换了读取器号与解码器号的新状态。：」
「读态换读器」乃化「读态」而化「字符串」而化「字符串」而「读态」也。
「读态换读器」者会「态」而会「读器」而会「解码器」而
  （「态」中「零」）与（「态」中「一」）与「读器」与「解码器」与（「态」中「四」）与（「态」中「五」）
    与（「态」中「六」）与（「态」中「七」）与（「态」中「八」）与（「态」中「九」）
也。

「：文言：易余块之柄、偏移与总长。汉语：返回替换了余块号、余块偏移与余块总长的新状态。：」
「读态换余块」乃化「读态」而化「字符串」而化「整数」而化「整数」而「读态」也。
「读态换余块」者会「态」而会「块」而会「偏移」而会「总长」而
  （「态」中「零」）与（「态」中「一」）与（「态」中「二」）与（「态」中「三」）与「块」与「偏移」与「总长」
    与（「态」中「七」）与（「态」中「八」）与（「态」中「九」）
也。

「：文言：易待出之文。汉语：返回替换了待出文字的新状态。：」
「读态换待出」乃化「读态」而化「字符串」而「读态」也。
「读态换待出」者会「态」而会「文」而
  （「态」中「零」）与（「态」中「一」）与（「态」中「二」）与（「态」中「三」）与（「态」中「四」）与（「态」中「五」）
    与（「态」中「六」）与（「态」中「七」）与（「态」中「八」）与「文」
也。

「：文言：柄非空则释之。汉语：句柄号非空时释放宿主句柄，空则什么也不做。：」
「释放非空句柄」乃化「字符串」而「有」也。
「释放非空句柄」者会「号」而
  若「串相等」于「号」于『』则「元」否则「云工释放句柄」于「号」
也。

「：文言：结局既定，则释读器、解码器、余块与信号诸柄，以免久占句柄表。汉语：进入终态时释放全部临时宿主句柄，并把结局写入状态。：」
「终结读态」乃化「读态」而化「整数」而化「字符串」而「读态」也。
「终结读态」者会「态」而会「结局」而会「文」而
  虑「无」者「释放非空句柄」于（「态」中「一」）而
  虑「无」者「释放非空句柄」于（「态」中「二」）而
  虑「无」者「释放非空句柄」于（「态」中「三」）而
  虑「无」者「释放非空句柄」于（「态」中「四」）而
  （「态」中「零」）与『』与『』与『』与『』与「零」与「零」与「结局」与「文」与（「态」中「九」）
也。

「：文言：表中同柄者易之，无则增。汉语：在状态表里替换同一响应柄的状态，表中没有则追加。：」
「换读态项」乃化（「列」于「读态」）而化「读态」而（「列」于「读态」）也。
「换读态项」者会「表」而会「新」而
  鉴「表」而
    有「罄」则「缀」于「新」于（「罄」授以「读态」）
    或有（「缀」于「首」于「余」）则
      若「串相等」于（「首」中「零」）于（「新」中「零」）则
        「缀」于「新」于「余」
      否则
        「缀」于「首」于（「换读态项」于「余」于「新」）
也。

「：文言：按柄查表，得（有无，态）。汉语：按响应柄查状态表，返回（是否找到，状态）。：」
「查读态项」乃化（「列」于「读态」）而化「字符串」而（「爻」合「读态」）也。
「查读态项」者会「表」而会「柄」而
  鉴「表」而
    有「罄」则「阴」与（「新读态」于『』于『』）
    或有（「缀」于「首」于「余」）则
      若「串相等」于（「首」中「零」）于「柄」则「阳」与「首」否则「查读态项」于「余」于「柄」
也。

「：文言：书态入表。汉语：把状态写回本次事件的状态表。：」
「存读态」乃化「读态」而「有」也。
「存读态」者会「态」而
  「写引用」授以（「列」于「读态」）
  于「读态表」
  于（「换读态项」于（「读引用」授以（「列」于「读态」）于「读态表」）于「态」）
也。

「：文言：新答柄入表，并记其信号。汉语：为新签发的响应柄登记初始状态并记下中断信号号（无信号为空串）。：」
「登记读态」乃化「字符串」而化「字符串」而「有」也。
「登记读态」者会「柄」而会「信号」而
  「存读态」于（「新读态」于「柄」于「信号」）
也。

「：文言：取柄之态；非本包所发者告事故。汉语：取响应柄的状态；不是本事件内由本包签发的柄抛豫言异常。：」
「取读态」乃化「字符串」而「读态」也。
「取读态」者会「柄」而
  虑「找」者
    「查读态项」于（「读引用」授以（「列」于「读态」）于「读态表」）于「柄」而
  若「找」中「零」则
    「找」中「一」
  否则
    「发生事故」授以「读态」于『网页上游响应柄无效，或不属于本次事件』
也。

「：文言：此柄之答已启增量之读者，不可再整读或转为终答。汉语：判断响应柄是否已开始增量读取（读取器已创建或已有结局）；旧的整体读取与原流转发函数据此拒绝，避免对已上锁的流抛出无法捕获的宿主错误。：」
「已开始读取」乃化「字符串」而「爻」也。
「已开始读取」者会「柄」而
  虑「找」者
    「查读态项」于（「读引用」授以（「列」于「读态」）于「读态表」）于「柄」而
  若「找」中「零」则（「或者」
    于（「非」于（「串相等」于（（「找」中「一」）中「二」）于『』））
    于（「不等于」于（（「找」中「一」）中「七」）于「零」））
  否则
    「阴」
也。

「：文言：宿主抛错之名与文合为一句，供应用记录。汉语：把安全方法调用返回的错误 JSON（名称与消息）合成一句“名称: 消息”。：」
「安全错误文」乃化「字符串」而「字符串」也。
「安全错误文」者会「原」而
  虑「值」者「癸象解析」于「原」而
  （「癸象字段字符串」于「值」于『名称』于『Error』）附『: 』附（「癸象字段字符串」于「值」于『消息』于「原」）
也。

「：文言：验 UTF-8 续字节（二进制十开头）。汉语：判断一个字节是否是 UTF-8 的续字节（0x80 至 0xBF）。：」
「续字节」乃化「整数」而「爻」也。
「续字节」者会「字节」而
  「且」于（「非」于（「小于」于「字节」于「一二八」））于（「小于」于「字节」于「一九二」）
也。

「：文言：自位向前求码点之首字节。汉语：从字节位置向前找到所在码点的首字节位置。：」
「码点起点」乃化「字符串」而化「整数」而「整数」也。
「码点起点」者会「文」而会「位」而
  若「等于」于「位」于「零」则
    「零」
  否则
    若「续字节」于（「字符转整数」于「文」于「位」）则「码点起点」于「文」
      于（「减」于「位」于「一」）
    否则
      「位」
也。

「：文言：数止位之前码点首字节之数。汉语：统计字节区间内码点首字节（非续字节）的个数，即码点数。：」
「数码点首」乃化「字符串」而化「整数」而化「整数」而化「整数」而「整数」也。
「数码点首」者会「文」而会「位」而会「止」而会「计」而
  若「等于」于「位」于「止」则
    「计」
  否则
    「数码点首」
      于「文」
      于（「加」于「位」于「一」）
      于「止」
      于（若「续字节」于（「字符转整数」于「文」于「位」）则「计」否则（「加」于「计」于「一」））
也。

「：文言：依字节之限裁文，必断于码点之界，不留半字。汉语：把文字切成不超过给定 UTF-8 字节数的前段和余段，切点落在码点边界，绝不产生被截断的半个字符。：」
「切文」乃化「字符串」而化「整数」而（「字符串」合「字符串」）也。
「切文」者会「文」而会「上限」而
  若「大于」于（「字节长度」于「文」）于「上限」则（
    虑「点」者「码点起点」于「文」于「上限」而
    虑「数」者「数码点首」于「文」于「零」于「点」于「零」而
    （（「获取子字符串」于「零」于「数」于「文」）与（「获取子字符串」于「数」于（「串长度」于「文」）于「文」））
  ）
  否则
    （「文」与『』）
也。

「：文言：造读器；有信号则以管道系之。汉语：创建读取器：没有信号时直接取正文流的读取器；有信号时经恒等转换流的管道把信号接到正文流再取读取器。返回（成功，读取器号或错误文）。：」
「造读器」乃化「字符串」而化「字符串」而（「爻」合「字符串」）也。
「造读器」者会「体号」而会「信号号」而
  若「串相等」于「信号号」于『』则（
    虑「读」者「云工调用方法安全」于「体号」于『getReader』于『[]』而
    若「读」中「零」则「阳」与（「取云工句柄」于（「读」中「一」））否则「阴」与（「安全错误文」于（「读」中「一」））
  ）
  否则
    （
      虑「变换」者
        「取云工句柄」于（「云工构造对象」于『TransformStream』于『[]』）
      而
      虑「管」者
        「云工调用方法安全」
          于「体号」
          于『pipeThrough』
          于（『[』附（「云工句柄引用文」于「变换」）附『,{"signal":』附（「云工句柄引用文」于「信号号」）附『}]』）
      而
      若「非」于（「管」中「零」）则
        （虑「无」者「云工释放句柄」于「变换」而「阴」与（「安全错误文」于（「管」中「一」）））
      否则
        虑「出号」者「取云工句柄」于（「管」中「一」）
        而
        虑「读」者「云工调用方法安全」于「出号」于『getReader』于『[]』
        而
        虑「无」者「云工释放句柄」于「变换」
        而
        虑「无」者「云工释放句柄」于「出号」
        而
        若「读」中「零」则「阳」与（「取云工句柄」于（「读」中「一」））否则「阴」
          与（「安全错误文」于（「读」中「一」））
    ）
也。

「：文言：初读乃开读器；有信号则以管道系之，使期满则读败而源亦消；无正文者径终。汉语：首次读取时才创建读取器：有中断信号时经恒等转换流的管道把信号接到正文流，超时后读取会失败且上游被取消；没有正文的响应直接进入已读尽状态。：」
「开读器」乃化「读态」而「读态」也。
「开读器」者会「态」而
  若「非」于（「串相等」于（「态」中「二」）于『』）则
    「态」
  否则
    若「不等于」于（「态」中「七」）于「零」则「态」否则
      虑「体」者「云工回应正文流句柄」于（「态」中「零」）
      而
      若「非」于（「体」中「零」）则
        「终结读态」于「态」于「一」于『』
      否则
        虑「造」者「造读器」于（「体」中「一」）于（「态」中「一」）
        而
        虑「无」者「云工释放句柄」于（「体」中「一」）
        而
        若「非」于（「造」中「零」）则
          「终结读态」于「态」于「二」于（「造」中「一」）
        否则
          「读态换读器」
            于「态」
            于（「造」中「一」）
            于（「云工创建解码器」于『utf-8』于「阴」于「阴」）
也。

「：文言：自余块取至多上限字节。汉语：从上次多出的余块中取至多上限个字节；取尽则释放余块。：」
「取余块段」乃
  化「读态」而
  化「整数」而
  （「读态」合「整数」合「字节串」合「字符串」）
也。
「取余块段」者会「态」而会「上限」而
  虑「余长」者「减」于（「态」中「六」）于（「态」中「五」）而
  虑「数」者
    若「小于」于「上限」于「余长」则「上限」否则「余长」而
    虑「片号」者
      「取云工句柄」于（「云工调用方法原始」
        于（「态」中「四」）
        于『subarray』
        于（『[』附（「整数表示」于（「态」中「五」））附『,』附（「整数表示」于（「加」于（「态」中「五」）于「数」））
        附『]』））
    而
    虑「字」者「云工句柄取字节」于「片号」而
    虑「无」者「云工释放句柄」于「片号」而
    虑「新偏」者「加」于（「态」中「五」）于「数」而
    虑「新态」者
      若「等于」于「新偏」于（「态」中「六」）
      则
        （虑「无」者「云工释放句柄」于（「态」中「四」）而「读态换余块」于「态」于『』于「零」于「零」）
      否则
        「读态换余块」于「态」于（「态」中「四」）于「新偏」于（「态」中「六」）
    而
    （「新态」与「零」与「字」与『』）
也。

「：文言：上游一块过大则留其余于状态。汉语：把上游一块按上限切开：块不大于上限则整取并释放；否则取前段，余部作为余块留在状态里。：」
「切原始块」乃
  化「读态」而
  化「字符串」而
  化「整数」而
  化「整数」而
  （「读态」合「整数」合「字节串」合「字符串」）
也。
「切原始块」者会「态」而会「块号」而会「长」而会「上限」而
  若「大于」于「长」于「上限」则（
    虑「片号」者
      「取云工句柄」于（「云工调用方法原始」于「块号」于『subarray』于（『[0,』附（「整数表示」于「上限」）附『]』））而
      虑「字」者「云工句柄取字节」于「片号」而
      虑「无」者「云工释放句柄」于「片号」而
      （（「读态换余块」于「态」于「块号」于「上限」于「长」）与「零」与「字」与『』）
  ）
  否则
    （虑「字」者「云工句柄取字节」于「块号」而虑「无」者「云工释放句柄」于「块号」而（「态」与「零」与「字」与『』））
也。

「：文言：取原字至多上限个；种类零得字，一流终，二读败。汉语：取下一段原始字节，至多上限个；上游一块过大则余部留在状态中。返回：新状态、种类（零得字节，一流已终，二读取失败）、字节、错误文。：」
「取原始段」乃
  化「读态」而
  化「整数」而
  （「读态」合「整数」合「字节串」合「字符串」）
也。
「取原始段」者会「态」而会「上限」而
  若「非」于（「串相等」于（「态」中「四」）于『』）则
    「取余块段」于「态」于「上限」
  否则
    虑「读」者「云工读取流块安全」于（「态」中「二」）
    而
    若「非」于（「读」中「零」）则（「态」与「二」与（「空字节串」于「元」）与（「读」中「一」））否则
      虑「值」者「癸象解析」于（「读」中「一」）
      而
      若「癸象字段爻」于「值」于『已终』于「阴」则（「态」与「一」与（「空字节串」于「元」）与『』）否则
        虑「块号」者「癸象字段字符串」于「值」于『字节句柄』于『』而
        「切原始块」于「态」于「块号」于（「理解整数」于（「云工读取属性」于「块号」于『byteLength』））于「上限」
也。

「：文言：流终则冲解码器之余，定局为一。汉语：流结束时冲刷解码器（残缺序列成 U+FFFD），把状态定为已读尽。：」
「读尽收尾」乃
  化「读态」而
  化「整数」而
  （「读态」合「整数」合「字符串」合「整数」）
也。
「读尽收尾」者会「态」而会「耗」而
  虑「尾」者「云工终解码」于（「态」中「三」）而
  虑「终态」者「终结读态」于「态」于「一」于『』而
  若「串相等」于「尾」于『』则（「终态」与「一」与『』与「耗」）否则（「终态」与「零」与「尾」与「耗」）
也。

「：文言：读败则察信号：期满为三，否则为二。汉语：读取失败时检查中断信号：已中断则定为超时（三），否则定为读取错误（二）。：」
「读取失败」乃
  化「读态」而
  化「字符串」而
  化「整数」而
  （「读态」合「整数」合「字符串」合「整数」）
也。
「读取失败」者会「态」而会「错文」而会「耗」而
  虑「已中断」者
    若「串相等」于（「态」中「一」）于『』则「阴」否则「云工中断信号已中断」
      于（「态」中「一」）
  而
  虑「终态」者
    「终结读态」于「态」于（若「已中断」则「三」否则「二」）
    于（若「已中断」则『超时』否则「错文」）
  而
  （「终态」与（「终态」中「七」）与（「终态」中「八」）与「耗」）
也。

「：文言：读一段原字而续解之；不成字则再读，至得文、流终、败或时尽。返回：新状态、种类（零得文，一流终，二败，三超时或已消）、文或说明、本次所耗原字数。汉语：读取并流式解码：不足一个完整字符时继续读取，直到得到非空文字、流结束、失败或超时/取消。返回：新状态、种类、文字或说明、本次消耗的原始字节数。：」
「读解码」乃
  化「读态」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「读态」合「整数」合「字符串」合「整数」）
也。
「读解码」者会「态」而会「上限」而会「耗」而会「空次」而
  若「不等于」于（「态」中「七」）于「零」则（「态」与（「态」中「七」）与（「态」中「八」）与「耗」）否则
    虑「开」者「开读器」于「态」而
    若「不等于」于（「开」中「七」）于「零」则（「开」与（「开」中「七」）与（「开」中「八」）与「耗」）否则
      虑「取」者「取原始段」于「开」于「上限」
      而
      虑「态二」者「取」中「零」
      而
      虑「种」者「取」中「一」
      而
      若「等于」于「种」于「零」则（
        虑「字」者「取」中「二」
        而
        虑「文」者「云工续解码」于（「态二」中「三」）于「字」
        而
        虑「耗二」者「加」于「耗」于（「字节串长度」于「字」）
        而
        若「串相等」于「文」于『』则（
          若「大于」于「空次」于「六三」则（「态二」与「零」与『』与「耗二」）否则「读解码」
            于「态二」于「上限」于「耗二」
            于（「加」于「空次」于「一」）
        ）否则（「态二」与「零」与「文」与「耗二」）
      ）否则
        若「等于」于「种」于「一」则「读尽收尾」于「态二」于「耗」否则
          「读取失败」于「态二」于（「取」中「三」）于「耗」
也。

「：文言：出块者，先出待出之文，次读上游；文之长逾限则裁而留其余。汉语：按上限出一块文字：先把上次多出的待出文字切出来；没有待出文字时读取上游并解码；解码所得若超过上限，则切出前段并把余段留作待出文字。返回：新状态、种类、文字。：」
「出块」乃化「读态」而化「整数」而（「读态」合「整数」合「字符串」）也。
「出块」者会「态」而会「最大」而
  虑「上限」者
    若「小于」于「最大」于「四」则「四」否则「最大」而
  若「非」于（「串相等」于（「态」中「九」）于『』）则（
    虑「分」者「切文」于（「态」中「九」）于「上限」而
    （（「读态换待出」于「态」于（「分」中「一」））与「零」与（「分」中「零」））
  ）
  否则
    虑「读」者「读解码」于「态」于「上限」于「零」于「零」而
    若「等于」于（「读」中「一」）于「零」则（
      虑「分」者「切文」于（「读」中「二」）于「上限」而
      （（「读态换待出」于（「读」中「零」）于（「分」中「一」））与「零」与（「分」中「零」））
    ）
    否则
      （（「读」中「零」）与（「读」中「一」）与（「读」中「二」））
也。

「：文言：取消者，经读器（未创读器则径对正文流）对源流行 cancel；幂等，已定局者不再动。汉语：取消响应读取：通过读取器（或尚未创建读取器时直接对正文流）执行 cancel，上游能否观察到取决于平台；幂等，已有结局的状态不变。：」
「取消读态」乃化「读态」而化「字符串」而「读态」也。
「取消读态」者会「态」而会「因」而
  若「不等于」于（「态」中「七」）于「零」则
    「态」
  否则
    虑「无」者
      （
        若「非」于（「串相等」于（「态」中「二」）于『』）
        则
          「云工调用方法安全」
            于（「态」中「二」）
            于『cancel』
            于（『[』附（「癸象表示」于（「癸象字符串」于「因」））附『]』）
        否则
          （
            虑「体」者「云工回应正文流句柄」于（「态」中「零」）
            而
            若「体」中「零」
            则
              （
                虑「取消果」者
                  「云工调用方法安全」
                    于（「体」中「一」）
                    于『cancel』
                    于（『[』附（「癸象表示」于（「癸象字符串」于「因」））附『]』）
                而
                虑「无」者「云工释放句柄」于（「体」中「一」）而
                「取消果」
              ）
            否则
              （「阴」与『』）
          ）
      ）
    而
    「终结读态」于「态」于「三」于「因」
也。

「：文言：验文自位至长皆十进制数字。汉语：判断字符串从位置到长度是否全是十进制数字字节。：」
「全是数字」乃化「字符串」而化「整数」而化「整数」而「爻」也。
「全是数字」者会「文」而会「位」而会「长」而
  若「等于」于「位」于「长」则
    「阳」
  否则
    虑「字节」者「字符转整数」于「文」于「位」
    而
    若「且」于（「非」于（「小于」于「字节」于「四八」））于（「小于」于「字节」于「五八」）则
      「全是数字」于「文」于（「加」于「位」于「一」）于「长」
    否则
      「阴」
也。

「：文言：观答之 Content-Length；无或坏则负一。汉语：读取响应的 Content-Length：缺失或不是数字返回 -1。：」
「查声明长度」乃化「读态」而「整数」也。
「查声明长度」者会「态」而
  虑「头」者「云工回应标头句柄」于（「态」中「零」）而
  虑「取」者「云工标头取」于「头」于『content-length』而
  若「非」于（「取」中「零」）则（「减」于「零」于「一」）否则
    若「且」
      于（「大于」于（「字节长度」于（「取」中「一」））于「零」）
      于（「且」
        于（「小于」于（「字节长度」于（「取」中「一」））于「一八」）
        于（「全是数字」于（「取」中「一」）于「零」于（「字节长度」于（「取」中「一」））））
    则
      「理解整数」于（「取」中「一」）
    否则
      （「减」于「零」于「一」）
也。

「：文言：累读至终，不逾上限；逾则取消而告过大。每次至多多读一字，故限内不多取。汉语：循环读取并累计原始字节：超过上限立即取消并返回状态一；流结束则拼接全部文字返回状态零；失败或超时返回二、三。：」
「累积有限」乃
  化「读态」而
  化「整数」而
  化「整数」而
  化（「列」于「字符串」）而
  （「读态」合「整数」合「字符串」）
也。
「累积有限」者会「态」而会「上限」而会「总」而会「片们」而
  虑「预算」者「减」于（「加」于「上限」于「一」）于「总」而
  虑「本次」者
    若「大于」于「预算」于「六五五三六」则「六五五三六」否则「预算」而
    虑「读」者「读解码」于「态」于「本次」于「零」于「零」而
    虑「态二」者「读」中「零」而
    虑「新总」者「加」于「总」于（「读」中「三」）而
    若「大于」于「新总」于「上限」则
      （虑「取消后」者「取消读态」于「态二」于『正文超过上限，已取消』而（「取消后」与「一」与『』））
    否则
      若「等于」于（「读」中「一」）于「零」则
        「累积有限」
          于「态二」
          于「上限」
          于「新总」
          于（「缀」授以「字符串」于（「读」中「二」）于「片们」）
      否则
        若「等于」于（「读」中「一」）于「一」则
          （「态二」与「零」与（「串组合并」于（「反转」授以「字符串」于「片们」）））
        否则
          （「态二」与（「读」中「一」）与（「读」中「二」））
也。

「：文言：整读余文而限其字节，结局定则径返。汉语：有限整读：已有错误或取消结局则直接返回；先看声明长度和待出文字，再循环累计。返回（新状态，状态，文字）。：」
「有限读」乃化「读态」而化「整数」而（「读态」合「整数」合「字符串」）也。
「有限读」者会「态」而会「上限」而
  若「或者」于（「等于」于（「态」中「七」）于「二」）于（「等于」于（「态」中「七」）于「三」）则
    （「态」与（「态」中「七」）与（「态」中「八」））
  否则
    虑「首」者
      若「串相等」于（「态」中「九」）于『』则（「罄」授以「字符串」）否则（「列」【（「态」中「九」）】）
    而
    虑「起总」者「字节长度」于（「态」中「九」）而
    虑「声明」者
      若「且」于（「串相等」于（「态」中「二」）于『』）于（「等于」于（「态」中「七」）于「零」）则
        「查声明长度」于「态」
      否则
        （「减」于「零」于「一」）
    而
    虑「清」者「读态换待出」于「态」于『』而
    若「大于」于「声明」于「上限」则
      （虑「取消后」者「取消读态」于「清」于『正文声明长度超过上限，已取消』而（「取消后」与「一」与『』））
    否则
      若「大于」于「起总」于「上限」则
        （虑「取消后」者「取消读态」于「清」于『正文超过上限，已取消』而（「取消后」与「一」与『』））
      否则
        「累积有限」于「清」于「上限」于「起总」于「首」
也。

「：文言：验字节是否合 HTTP 令牌。汉语：判断字节是否属于 HTTP 标头令牌字符集（字母、数字与 !#$%&'*+-.^_`|~）。：」
「令牌字节」乃化「整数」而「爻」也。
「令牌字节」者会「字节」而
  若「小于」于「字节」于「三三」则
    「阴」
  否则
    若「大于」于「字节」于「一二六」则
      「阴」
    否则
      若「且」
        于（「非」于（「小于」于「字节」于「四八」））
        于（「小于」于「字节」于「五八」）则
          「阳」
      否则
        若「且」
          于（「非」于（「小于」于「字节」于「六五」））
          于（「小于」于「字节」于「九一」）则
            「阳」
        否则
          若「且」
            于（「非」于（「小于」于「字节」于「九七」））
            于（「小于」于「字节」于「一二三」）则
            「阳」
          否则
            「是子字符串吗」
              于（「字节转字符串」于「字节」）
              于『!#$%&'*+-.^_`|~』
也。

「：文言：验字节为可见 ASCII（空格至波浪号）。汉语：判断字节是否是可见 ASCII 字符（0x20 至 0x7E）。：」
「可见字节」乃化「整数」而「爻」也。
「可见字节」者会「字节」而
  「且」于（「非」于（「小于」于「字节」于「三二」））于（「小于」于「字节」于「一二七」）
也。

「：文言：验文自位至长之字节皆合谓词。汉语：判断字符串从位置到长度的每个字节是否都满足给定条件。：」
「全字节合」乃
  化「字符串」而
  化「整数」而
  化「整数」而
  化（化「整数」而「爻」）而
  「爻」
也。
「全字节合」者会「文」而会「位」而会「长」而会「合」而
  若「等于」于「位」于「长」则
    「阳」
  否则
    若「合」于（「字符转整数」于「文」于「位」）则
      「全字节合」于「文」于（「加」于「位」于「一」）于「长」于「合」
    否则
      「阴」
也。

「：文言：标头名须为一至一二八字节之令牌。汉语：标头名须是 1 至 128 字节的合法令牌。：」
「标头名合法」乃化「字符串」而「爻」也。
「标头名合法」者会「名」而
  「且」
    于（「且」于（「大于」于（「字节长度」于「名」）于「零」）于（「小于」于（「字节长度」于「名」）于「一二九」））
    于（「全字节合」于「名」于「零」于（「字节长度」于「名」）于「令牌字节」）
也。

「：文言：逐字节转 ASCII 小写。汉语：逐字节把 ASCII 大写字母转成小写并累积。：」
「小写字节」乃化「字符串」而化「整数」而化「整数」而化「字符串」而「字符串」也。
「小写字节」者会「文」而会「位」而会「长」而会「积」而
  若「等于」于「位」于「长」则
    「积」
  否则
    虑「字节」者「字符转整数」于「文」于「位」
    而
    虑「小」者
      若「且」于（「非」于（「小于」于「字节」于「六五」））于（「小于」于「字节」于「九一」）则
        「加」于「字节」于「三二」
      否则
        「字节」
    而
    「小写字节」于「文」于（「加」于「位」于「一」）于「长」于（「积」附（「字节转字符串」于「小」））
也。

「：文言：仅施于已验为令牌之名，故字节皆在可见之域。汉语：把已验证为标头令牌的名字转成 ASCII 小写；不能用于含非 ASCII 字节的文字。：」
「小写名」乃化「字符串」而「字符串」也。
「小写名」者会「文」而
  「小写字节」于「文」于「零」于（「字节长度」于「文」）于『』
也。

「：文言：名已在列则阳。汉语：判断名字是否已在列表中出现。：」
「已用名」乃化「字符串」而化（「列」于「字符串」）而「爻」也。
「已用名」者会「名」而会「诸名」而
  鉴「诸名」而
    有「罄」则「阴」
    或有（「缀」于「首」于「余」）则
      若「串相等」于「名」于「首」则「阳」否则「已用名」于「名」于「余」
也。

「：文言：头值须可见 ASCII，首尾无空格，长不逾限。汉语：标头值须只含可见 ASCII 字符、首尾不得为空格、长度不超过给定上限。：」
「标头值合法限」乃化「字符串」而化「整数」而「爻」也。
「标头值合法限」者会「值」而会「上限」而
  「且」
    于（「小于」于（「字节长度」于「值」）于（「加」于「上限」于「一」））
    于（「且」
      于（「全字节合」于「值」于「零」于（「字节长度」于「值」）于「可见字节」）
      于（「且」于（「非」于（「串开头是它吗」于『 』于「值」））于（「非」于（「串结尾是它吗」于『 』于「值」））））
也。

「：文言：头值至多五一二字节。汉语：标头值的通用校验：上限 512 字节。：」
「标头值合法」乃化「字符串」而「爻」也。
「标头值合法」者会「值」而
  「标头值合法限」于「值」于「五一二」
也。

「：文言：请求 ID 之形，三十六位，惟小写十六进制与短横。汉语：X-Yuyan-Request-ID 的值须恰为 36 个字符，只含小写十六进制数字与连字符。：」
「请求编号字节」乃化「整数」而「爻」也。
「请求编号字节」者会「字节」而
  「或者」
    于（「且」于（「非」于（「小于」于「字节」于「四八」））于（「小于」于「字节」于「五八」））
    于（「或者」
      于（「且」于（「非」于（「小于」于「字节」于「九七」））于（「小于」于「字节」于「一零三」））
      于（「等于」于「字节」于「四五」））
也。

「：文言：请求 ID 须恰三十六字，小写十六进制与短横。汉语：请求编号须恰为 36 个字符，只含小写十六进制数字与连字符。：」
「请求编号合法」乃化「字符串」而「爻」也。
「请求编号合法」者会「值」而
  「且」于（「等于」于（「字节长度」于「值」）于「三六」）于（「全字节合」于「值」于「零」于「三六」于「请求编号字节」）
也。

「引文」乃化「字符串」而「字符串」也。
「引文」者会「文」而
  「癸象表示」于（「癸象字符串」于「文」）
也。

「读数」乃化「字符串」而「整数」也。
「读数」者会「原」而
  鉴「癸象解析」于「原」而
    有（「癸象整数」于「数」）则「数」
    或有「其他」则
      「发生事故」授以「整数」于『上游状态不是整数』
也。

「已用头」乃化「字符串」而化（「列」于「字符串」）而「爻」也。
「已用头」者会「名」而会「诸名」而
  鉴「诸名」而
    有「罄」则「阴」
    或有（「缀」于「首」于「余」）则
      若「串相等」于「名」于「首」则「阳」否则「已用头」于「名」于「余」
也。

「可请求头」乃化「字符串」而「爻」也。
「可请求头」者会「名」而
  「或者」
    于（「串相等」于「名」于『Authorization』）
    于（「或者」
      于（「串相等」于「名」于『Content-Type』）
      于（「或者」于（「串相等」于「名」于『Accept』）于（「串相等」于「名」于『X-Yuyan-Request-ID』）））
也。

「请求头值合法」乃化「字符串」而化「字符串」而「爻」也。
「请求头值合法」者会「名」而会「值」而
  若「串相等」于「名」于『X-Yuyan-Request-ID』则
    「请求编号合法」于「值」
  否则若「串相等」于「名」于『Authorization』则「标头值合法限」于「值」于「八一九二」否则「标头值合法」于「值」
也。

「可响应头」乃化「字符串」而「爻」也。
「可响应头」者会「名」而
  「或者」
    于（「串相等」于「名」于『Content-Type』）
    于（「或者」
      于（「串相等」于「名」于『Cache-Control』）
      于（「或者」于（「串相等」于「名」于『X-Yuyan-Model』）于（「串相等」于「名」于『X-Content-Type-Options』）））
也。

「造请求头」乃
  化（「列」于（「字符串」合「字符串」））而
  化（「列」于「字符串」）而
  （「列」于（「字符串」合「癸象」））
也。
「造请求头」者会「诸头」而会「已用」而
  鉴「诸头」而
    有「罄」则「罄」授以（「字符串」合「癸象」）
    或有（「缀」于「首」于「余」）则
      虑「名」者「首」中「零」而
      若「非」于（「可请求头」于「名」）则
        「发生事故」授以（「列」于（「字符串」合「癸象」））于『请求标头不允许』
      否则
        若「已用头」于「名」于「已用」则
          「发生事故」授以（「列」于（「字符串」合「癸象」））
          于『请求标头重复』
        否则
          若「非」于（「请求头值合法」于「名」于（「首」中「一」））则
            「发生事故」授以（「列」于（「字符串」合「癸象」））
            于『请求标头值无效』
          否则
            「缀」授以（「字符串」合「癸象」）
            于（「名」与（「癸象字符串」于（「首」中「一」）））
            于（「造请求头」于「余」于（「缀」授以「字符串」于「名」于「已用」））
也。

「请求授权网页上游」乃
  化「字符串」而
  化「字符串」而
  化（「列」于（「字符串」合「字符串」））而
  化「字符串」而
  化「整数」而
  （「爻」合「字符串」）
也。
「请求授权网页上游」者会「网址」而会「方法」而会「诸头」而会「正文」而会「时限」而
  若「非」于（「云工外发网址已授权」于「网址」）则
    「阴」与『上游网址未获授权』
  否则
    若「非」于（「或者」
      于（「串相等」于「方法」于『GET』）
      于（「或者」于（「串相等」于「方法」于『HEAD』）于（「串相等」于「方法」于『POST』）））则
        「发生事故」授以（「爻」合「字符串」）于『上游请求方法无效』
    否则
      若「或者」
        于（「小于」于「时限」于「一」）
        于（「大于」于「时限」于「一八零零零零」）则
          「发生事故」授以（「爻」合「字符串」）于『上游请求时限无效』
      否则
        若「大于」
          于（「长度」授以（「字符串」合「字符串」）于「诸头」）
          于「一六」则「发生事故」授以（「爻」合「字符串」）
          于『请求标头过多』
        否则
          若「大于」于（「字节长度」于「正文」）于「二零九七一五二」则
            「发生事故」授以（「爻」合「字符串」）
            于『上游请求正文超过 2 MiB』
          否则
            若「且」
              于（「或者」于（「串相等」于「方法」于『GET』）于（「串相等」于「方法」于『HEAD』））
              于（「非」于（「串相等」于「正文」于『』））则
                「发生事故」授以（「爻」合「字符串」）
                于『GET/HEAD 不得带正文』
            否则
              虑「头」者
                「癸象对象」
                  于（「造请求头」于「诸头」于（「罄」授以「字符串」））
              而
              虑「基础」者
                「缀」授以（「字符串」合「癸象」）
                于（『method』与（「癸象字符串」于「方法」））
                于（「缀」授以（「字符串」合「癸象」）
                于（『headers』与「头」）
                于（「缀」授以（「字符串」合「癸象」）
                于（『redirect』与（「癸象字符串」于『error』））
                于（「罄」授以（「字符串」合「癸象」））））
              而
              虑「选项」者
                「癸象对象」于（
                若「串相等」于「方法」于『POST』则
                  「附加」授以（「字符串」合「癸象」）
                  于（「缀」授以（「字符串」合「癸象」）
                  于（『body』与（「癸象字符串」于「正文」））
                  于（「罄」授以（「字符串」合「癸象」）））于「基础」
                否则
                  「基础」）
              而
              虑「信号」者「云工中断信号限时安全」于「时限」
              而
              若「非」于（「信号」中「零」）则
                「阴」与（「信号」中「一」）
              否则
                虑「待」者
                  「云工请求发起可中断」
                    于「网址」
                    于（「癸象表示」于「选项」）
                    于（「信号」中「一」）
                而
                虑「应」者「云工请求候回应安全」于「待」
                而
                若「非」于（「应」中「零」）
                则
                  （虑「无」者「云工释放句柄」于（「信号」中「一」）而「应」）
                否则
                  虑「无」者
                    「登记读态」于（「应」中「一」）于（「信号」中「一」）
                  而
                  若「云工中断信号已中断」于（「信号」中「一」）
                  则
                    （
                      虑「无」者
                        「存读态」于（「取消读态」于（「取读态」于（「应」中「一」））于『超时』）
                      而
                      （「阴」与『上游请求超时』）
                    ）否则「应」
也。

「读取网页上游状态」乃化「字符串」而「整数」也。
「读取网页上游状态」者会「回应」而
  「读数」于（「云工读取属性」于「回应」于『status』）
也。

「读取网页上游癸象正文文」乃化「字符串」而「字符串」也。
「读取网页上游癸象正文文」者会「回应」而
  若「已开始读取」于「回应」则
    「发生事故」授以「字符串」于『网页上游响应正文已被增量读取，不可再整体读取』
  否则
    虑「正文」者「云工调用方法」于「回应」于『json』于『[]』
    而
    若「大于」于（「字节长度」于「正文」）于「二零九七一五二」则
      「发生事故」授以「字符串」于『上游 JSON 正文超过 2 MiB』
    否则
      「癸象表示」于（「癸象解析」于「正文」）
也。

「置响应头」乃
  化「字符串」而
  化（「列」于（「字符串」合「字符串」））而
  化（「列」于「字符串」）而
  「有」
也。
「置响应头」者会「头柄」而会「诸头」而会「已用」而
  鉴「诸头」而
    有「罄」则「元」
    或有（「缀」于「首」于「余」）则
      虑「名」者「首」中「零」而
      若「非」于（「可响应头」于「名」）则「发生事故」授以「有」
        于『响应标头不允许』
      否则
        若「已用头」于「名」于「已用」则
          「发生事故」授以「有」于『响应标头重复』
        否则
          虑「参数」者
            『[』附（「引文」于「名」）附『,』附（「引文」于（「首」中「一」））附『]』
          而
          虑「无」者「云工调用方法」于「头柄」于『set』于「参数」而
          「置响应头」
            于「头柄」于「余」
            于（「缀」授以「字符串」于「名」于「已用」）
也。

「回应入站以上游流」乃
  化「字符串」而
  化（「列」于（「字符串」合「字符串」））而
  「有」
也。
「回应入站以上游流」者会「回应」而会「诸头」而
  若「已开始读取」于「回应」则
    「发生事故」授以「有」于『网页上游响应正文已被增量读取，不可再作流答』
  否则
    若「大于」于（「长度」授以（「字符串」合「字符串」）于「诸头」）于「八」则
      「发生事故」授以「有」于『响应标头过多』
    否则
      虑「原体」者「云工读取属性」于「回应」于『body』
      而
      虑「头」者
        「取云工句柄」于（「云工构造对象」于『Headers』于『[]』）
      而
      虑「无」者「置响应头」于「头」于「诸头」于（「罄」授以「字符串」）
      而
      虑「参数」者
        『[』附「原体」附『,{"status":200,"headers":』附（「云工句柄引用文」于「头」）附『}]』
      而
      虑「回」者
        「取云工句柄」于（「云工构造对象」于『Response』于「参数」）
      而
      「云工设置响应句柄」于「回」
也。

「：文言：读上游之答头，不分大小写，无则空。汉语：读取上游响应的指定标头值，不区分大小写；缺失返回空字符串；名须是合法标头令牌。：」
「读取网页上游标头值」乃化「字符串」而化「字符串」而「字符串」也。
「读取网页上游标头值」者会「柄」而会「名」而
  虑「无」者「取读态」于「柄」而
  若「非」于（「标头名合法」于「名」）则
    「发生事故」授以「字符串」于『网页上游响应标头名无效』
  否则
    虑「取」者「云工标头取」于（「云工回应标头句柄」于「柄」）于「名」
    而
    若「取」中「零」则「取」中「一」否则『』
也。

「：文言：逐块读上游之文，宿主流式解码，跨块之字自相衔接。汉语：增量读取上游响应正文的下一块文字，最大字节为 1 至 65536。宿主做流式 UTF-8 解码，跨块多字节字符正确拼接，非法序列成 U+FFFD，文字不含被截断的半个字符，UTF-8 字节数不超过最大字节（小于 4 按 4 计）。状态：0 数据，1 流结束，2 读取错误，3 超时或已取消。：」
「读取网页上游文字块」乃化「字符串」而化「整数」而（「整数」合「字符串」）也。
「读取网页上游文字块」者会「柄」而会「最大」而
  若「或者」于（「小于」于「最大」于「一」）于（「大于」于「最大」于「六五五三六」）则
    「发生事故」授以（「整数」合「字符串」）
    于『网页上游文字块上限须在 1 至 65536 字节之间』
  否则
    虑「态」者「取读态」于「柄」
    而
    虑「果」者「出块」于「态」于「最大」而
    虑「无」者「存读态」于（「果」中「零」）而
    （（「果」中「一」）与（「果」中「二」））
也。

「：文言：整读上游余文，逾限则弃而告过大；先验其声明之长。汉语：一次读完上游响应剩余正文：状态 0 成功，1 超过字节上限（先看 Content-Length，超限不读；流式累计超限则取消），2 错误，3 超时或已取消。字节上限 1 至 8388608。：」
「读取网页上游有限文字」乃化「字符串」而化「整数」而（「整数」合「字符串」）也。
「读取网页上游有限文字」者会「柄」而会「上限」而
  若「或者」于（「小于」于「上限」于「一」）于（「大于」于「上限」于「八三八八六零八」）则
    「发生事故」授以（「整数」合「字符串」）
    于『网页上游响应字节上限须在 1 至 8388608 之间』
  否则
    虑「态」者「取读态」于「柄」
    而
    虑「果」者「有限读」于「态」于「上限」而
    虑「无」者「存读态」于（「果」中「零」）而
    （（「果」中「一」）与（「果」中「二」））
也。

「：文言：取消则对上游流行 cancel，幂等。汉语：取消对上游响应正文的读取并对上游流执行取消，重复调用无害。：」
「取消网页上游」乃化「字符串」而「有」也。
「取消网页上游」者会「柄」而
  「存读态」于（「取消读态」于（「取读态」于「柄」）于『已取消』）
也。

「：文言：公网之址，惟点分域名而已；凡 IP、内网名、凭据、询串与片段，皆拒。汉语：校验运行时登记的公网 HTTPS 网址。规则：原文 1 至 2048 字节且只含可见 ASCII（无空白、控制字符、反斜线、问号、井号）；以 https:// 开头；无用户信息、查询、片段；主机名（经 URL 规范化后）只含 [a-z0-9.-]，至少含一个点，不以点开头或结尾，无连续点，每段 1 至 63 字符且不以连字符开头结尾，末段不得全为数字（拒绝 IPv4 及其十进制、十六进制、八进制写法；IPv6 因含方括号已拒）；拒绝 localhost、*.localhost、*.local、*.internal、*.localdomain、*.arpa（含 home.arpa）、*.lan、*.home、*.corp、*.intranet、*.private；端口只允许省略（即 443）、443、2053、2083、2087、2096、8443、11434 及 8000 至 9999。通过时返回阳和规范化后的完整网址，否则返回阴和原因。：」
「公网网址字节」乃化「整数」而「爻」也。
「公网网址字节」者会「字节」而
  「且」
    于（「大于」于「字节」于「三二」）
    于（「且」
      于（「小于」于「字节」于「一二七」）
      于（「且」
        于（「不等于」于「字节」于「九二」）
        于（「且」于（「不等于」于「字节」于「六三」）于（「不等于」于「字节」于「三五」））））
也。

「：文言：主机名之字节惟小写字母、数字、点、短横。汉语：主机名允许的字节：a-z、0-9、点、连字符。：」
「主机名字节」乃化「整数」而「爻」也。
「主机名字节」者会「字节」而
  「或者」
    于（「且」于（「非」于（「小于」于「字节」于「四八」））于（「小于」于「字节」于「五八」））
    于（「或者」
      于（「且」于（「非」于（「小于」于「字节」于「九七」））于（「小于」于「字节」于「一二三」））
      于（「或者」于（「等于」于「字节」于「四五」）于（「等于」于「字节」于「四六」）））
也。

「：文言：按点分主机名为段。汉语：把主机名按点切成各段（保留空段以便检出连续点）。：」
「按点切」乃
  化「字符串」而
  化「整数」而
  化「整数」而
  化（「列」于「字符串」）而
  （「列」于「字符串」）
也。
「按点切」者会「文」而会「位」而会「起」而会「积」而
  若「等于」于「位」于（「字节长度」于「文」）则
    「反转」授以「字符串」于（「缀」授以「字符串」于（「获取子字符串」于「起」于「位」于「文」）于「积」）
  否则
    若「等于」于（「字符转整数」于「文」于「位」）于「四六」则
      「按点切」
        于「文」
        于（「加」于「位」于「一」）
        于（「加」于「位」于「一」）
        于（「缀」授以「字符串」于（「获取子字符串」于「起」于「位」于「文」）于「积」）
    否则
      「按点切」于「文」于（「加」于「位」于「一」）于「起」于「积」
也。

「：文言：每段一至六十三字，不以短横始终。汉语：主机名的每一段长 1 至 63 字节，且不以连字符开头或结尾。：」
「标签合法」乃化「字符串」而「爻」也。
「标签合法」者会「段」而
  「且」
    于（「大于」于（「字节长度」于「段」）于「零」）
    于（「且」
      于（「小于」于（「字节长度」于「段」）于「六四」）
      于（「且」于（「非」于（「串开头是它吗」于『-』于「段」））于（「非」于（「串结尾是它吗」于『-』于「段」））））
也。

「：文言：取列末项。汉语：取列表的最后一项，空列表返回空串。：」
「取末段」乃化（「列」于「字符串」）而「字符串」也。
「取末段」者会「诸段」而
  鉴「诸段」而
    有「罄」则『』
    或有（「缀」于「首」于「余」）则
      若「等于」于（「长度」授以「字符串」于「余」）于「零」则「首」否则「取末段」
        于「余」
也。

「：文言：主机名以列中任一后缀终则阳。汉语：判断主机名是否以列表中任一后缀结尾。：」
「任一后缀」乃化「字符串」而化（「列」于「字符串」）而「爻」也。
「任一后缀」者会「主机」而会「诸缀」而
  鉴「诸缀」而
    有「罄」则「阴」
    或有（「缀」于「首」于「余」）则
      若「串结尾是它吗」于「首」于「主机」则「阳」否则「任一后缀」于「主机」于「余」
也。

「：文言：本机与内网之名皆拒。汉语：主机名是 localhost 或以本机、内网保留后缀结尾。：」
「保留尾名」乃化「字符串」而「爻」也。
「保留尾名」者会「主机」而
  若「串相等」于「主机」于『localhost』则
    「阳」
  否则
    「任一后缀」
      于「主机」
      于（「列」【
        『.localhost』，
        『.local』，
        『.internal』，
        『.localdomain』，
        『.arpa』，
        『.lan』，
        『.home』，
        『.corp』，
        『.intranet』，
        『.private』
      】）
也。

「：文言：整数在列中则阳。汉语：判断整数是否在列表中。：」
「任一整数」乃化「整数」而化（「列」于「整数」）而「爻」也。
「任一整数」者会「号」而会「诸号」而
  鉴「诸号」而
    有「罄」则「阴」
    或有（「缀」于「首」于「余」）则
      若「等于」于「号」于「首」则「阳」否则「任一整数」于「号」于「余」
也。

「：文言：端口之则：省略、四四三、二〇五三、二〇八三、二〇八七、二〇九六、八四四三、一一四三四及八〇〇〇至九九九九。汉语：公网上游端口规则：省略（即 443）、443、2053、2083、2087、2096、8443、11434 及 8000 至 9999。：」
「公网端口合法」乃化「字符串」而「爻」也。
「公网端口合法」者会「端口」而
  若「串相等」于「端口」于『』则
    「阳」
  否则
    若「非」于（「全是数字」于「端口」于「零」于（「字节长度」于「端口」））则
      「阴」
    否则
      若「大于」于（「字节长度」于「端口」）于「五」则「阴」否则
        虑「号」者「理解整数」于「端口」
        而
        若「任一整数」
          于「号」
          于（「列」【「四四三」，「二零五三」，「二零八三」，「二零八七」，「二零九六」，「八四四三」，「一一四三四」】）
        则
          「阳」
        否则
          「且」
            于（「非」于（「小于」于「号」于「八零零零」））
            于（「小于」于「号」于「一零零零零」）
也。

「：文言：公网主机名之则。汉语：公网主机名规则：ASCII 小写域名、带点、每段合法、末段非数字、不是本机与内网名。：」
「主机名合法」乃化「字符串」而「爻」也。
「主机名合法」者会「主机」而
  若「或者」于（「小于」于（「字节长度」于「主机」）于「三」）
  于（「大于」于（「字节长度」于「主机」）于「二五三」）则
    「阴」
  否则
    若「非」于（「全字节合」于「主机」于「零」于（「字节长度」于「主机」）于「主机名字节」）则
      「阴」
    否则
      若「非」于（「是子字符串吗」于『.』于「主机」）则
        「阴」
      否则
        虑「诸段」者
          「按点切」于「主机」于「零」于「零」于（「罄」授以「字符串」）
        而
        若「非」于（「全部符合」授以「字符串」于「标签合法」于「诸段」）则
          「阴」
        否则
          若「全是数字」
            于（「取末段」于「诸段」）
            于「零」
            于（「字节长度」于（「取末段」于「诸段」））则
            「阴」
          否则
            「非」于（「保留尾名」于「主机」）
也。

「：文言：取网址中 https:// 后至首斜线之段。汉语：取原始网址里 https:// 之后、第一个斜线之前的授权部分（用来发现 @）。：」
「授权段」乃化「字符串」而「字符串」也。
「授权段」者会「网址」而
  虑「余」者
    「获取子字符串」于「八」于（「字节长度」于「网址」）于「网址」而
  鉴（「串从左搜索单个」于『/』于「余」）而
    有（「可有」于「位」）则
      「获取子字符串」于「零」于「位」于「余」
    或有「可无」则「余」
也。

「：文言：公网之址逐条严验，过者返其规范全址。汉语：逐条校验公网 HTTPS 网址，通过返回（阳，规范化后的完整网址），否则返回（阴，原因）。：」
「公网网址检查」乃化「字符串」而（「爻」合「字符串」）也。
「公网网址检查」者会「网址」而
  若「或者」于（「等于」于（「字节长度」于「网址」）于「零」）
  于（「大于」于（「字节长度」于「网址」）于「二零四八」）则（「阴」与『公网上游网址长度须在 1 至 2048 字节之间』）
  否则
    若「非」于（「全字节合」于「网址」于「零」于（「字节长度」于「网址」）于「公网网址字节」）则
      （「阴」与『公网上游网址含空白、控制字符、反斜线、查询或片段标记』）
    否则
      若「非」于（「串开头是它吗」于『https://』于「网址」）则（「阴」与『公网上游网址须以 https:// 开头』）否则
        若「是子字符串吗」于『@』于（「授权段」于「网址」）则（「阴」与『公网上游网址不得含用户信息』）否则
          若「非」于（「云工网址可解析」于「网址」）则（「阴」与『公网上游网址无效』）否则
            虑「目标」者「云工新建网址」于「网址」
            而
            若「非」于（「串相等」于（「云工网址协议」于「目标」）于『https:』）则（「阴」与『公网上游网址须为 HTTPS』）
            否则
              若「或者」
                于（「非」于（「串相等」于（「云工网址用户」于「目标」）于『』））
                于（「非」于（「串相等」于（「云工网址口令」于「目标」）于『』））则
                （「阴」与『公网上游网址不得含用户信息』）
              否则
                若「或者」
                  于（「非」于（「串相等」于（「云工网址查询」于「目标」）于『』））
                  于（「非」于（「串相等」于（「云工网址片段」于「目标」）于『』））则
                  （「阴」与『公网上游网址不得含查询或片段』）
                否则
                  若「非」于（「主机名合法」于（「云工网址主机名」于「目标」））则
                    （「阴」与『公网上游主机名不合规则：须为带点的 DNS 名，且不得为 IP、本机或内网名』）
                  否则
                    若「非」于（「公网端口合法」于（「云工网址端口」于「目标」））则
                      （「阴」与『公网上游端口不在允许范围』）
                    否则
                      （「阳」与（「云工网址全文」于「目标」））
也。

「：文言：公网请之头惟 Content-Type、Accept、X-Yuyan-Request-ID。汉语：公网上游请求的标头名（已转小写）只允许 content-type、accept、x-yuyan-request-id。：」
「公网头名合法」乃化「字符串」而「爻」也。
「公网头名合法」者会「小名」而
  「或者」
    于（「串相等」于「小名」于『content-type』）
    于（「或者」于（「串相等」于「小名」于『accept』）于（「串相等」于「小名」于『x-yuyan-request-id』））
也。

「：文言：逐一验公网请之头。汉语：逐项校验公网上游标头：名合法且在白名单、不重复、值合规；违规抛豫言异常。：」
「校验公网头们」乃
  化（「列」于（「字符串」合「字符串」））而
  化（「列」于「字符串」）而
  「有」
也。
「校验公网头们」者会「诸头」而会「已用」而
  鉴「诸头」而
    有「罄」则「元」
    或有（「缀」于「首」于「余」）则（
      若「非」于（「标头名合法」于（「首」中「零」））则
        「发生事故」授以「有」于『公网上游标头名无效』
      否则
        虑「小名」者「小写名」于（「首」中「零」）
        而
        若「非」于（「公网头名合法」于「小名」）则
          「发生事故」授以「有」于『公网上游标头不允许』
        否则
          若「已用名」于「小名」于「已用」则
            「发生事故」授以「有」于『公网上游标头重复』
          否则
            虑「值合」者
              若「串相等」于「小名」于『x-yuyan-request-id』则
                「请求编号合法」于（「首」中「一」）
              否则
                「标头值合法」于（「首」中「一」）
            而
            若「非」于「值合」则
              「发生事故」授以「有」于『公网上游标头值无效』
            否则
              「校验公网头们」
                于「余」
                于（「缀」授以「字符串」于「小名」于「已用」）
    ）
也。

「：文言：公网之上游，以动态之址而请；先验其址之形，乃发请，不随转址；期限覆盖发请及读尽之全程。汉语：向运行时登记的公网 HTTPS 上游发请求（需程序许可声明来源 https://*）。方法 GET 或 POST；标头只允许 Content-Type、Accept、X-Yuyan-Request-ID（值为 36 位小写十六进制与连字符）；正文至多 2 MiB；超时毫秒 1 至 900000，覆盖发请和读取响应的整次交换；不跟随重定向，3xx 作为成功响应返回，由应用当成上游失败。参数违规、无许可抛事故；网址不合公网规则、传输失败或超时返回阴和原因；成功返回阳和仅本次事件有效的响应柄。：」
「请求公网HTTPS上游」乃
  化「字符串」而
  化「字符串」而
  化（「列」于（「字符串」合「字符串」））而
  化「字符串」而
  化「整数」而
  （「爻」合「字符串」）
也。
「请求公网HTTPS上游」者会「网址」而会「方法」而会「诸头」而会「正文」而会「时限」而
  若「非」于（「云工外发网址已授权」于『https://*』）则
    「发生事故」授以（「爻」合「字符串」）
    于『公网 HTTPS 上游未获授权：程序许可须声明来源 https://*』
  否则
    若「非」于（「或者」于（「串相等」于「方法」于『GET』）于（「串相等」于「方法」于『POST』））则
      「发生事故」授以（「爻」合「字符串」）
      于『公网上游方法只允许 GET 或 POST』
    否则
      若「或者」
        于（「小于」于「时限」于「一」）
        于（「大于」于「时限」于「九零零零零零」）则
          「发生事故」授以（「爻」合「字符串」）
          于『公网上游超时毫秒须在 1 至 900000 之间』
      否则
        若「大于」
          于（「长度」授以（「字符串」合「字符串」）于「诸头」）
          于「八」则
          「发生事故」授以（「爻」合「字符串」）
          于『公网上游标头过多』
        否则
          若「大于」
            于（「字节长度」于「正文」）于「二零九七一五二」则
              「发生事故」授以（「爻」合「字符串」）
              于『公网上游请求正文超过 2 MiB』
          否则
            若「且」
              于（「串相等」于「方法」于『GET』）
              于（「非」于（「串相等」于「正文」于『』））则
                「发生事故」授以（「爻」合「字符串」）
                于『GET 不可带正文』
            否则
              虑「无」者
                「校验公网头们」
                  于「诸头」
                  于（「罄」授以「字符串」）
              而
              虑「查」者「公网网址检查」于「网址」
              而
              若「非」于（「查」中「零」）则（「阴」与（「查」中「一」））否则
                虑「信号」者「云工中断信号限时安全」于「时限」
                而
                若「非」于（「信号」中「零」）则
                  「发生事故」授以（「爻」合「字符串」）
                  于（『公网上游无法建立超时信号：』附（「信号」中「一」））
                否则
                  虑「头号」者「云工新建标头自项」于「诸头」
                  而
                  虑「体号」者
                    若「串相等」于「方法」于『POST』则「云工字节成句柄」
                    于（「字符串转字节串」于「正文」）
                    否则
                      『』
                  而
                  虑「体项」者
                    若「串相等」于「体号」于『』则『』否则（『,"body":』附（「云工句柄引用文」于「体号」））
                  而
                  虑「选项」者
                    『{"method":』附（「引文」于「方法」）附『,"headers":』附（「云工句柄引用文」于「头号」）附
                      『,"redirect":"manual","signal":』附（「云工句柄引用文」于（「信号」中「一」））附「体项」附『}』
                  而
                  虑「果」者
                    「云工调用全局安全」
                      于『fetch』
                      于（『[』附（「引文」于（「查」中「一」））附『,』附「选项」附『]』）
                  而
                  虑「无」者「释放非空句柄」于「体号」
                  而
                  虑「无」者「云工释放句柄」于「头号」
                  而
                  若「非」于（「果」中「零」）则（
                    虑「无」者「云工释放句柄」于（「信号」中「一」）而（「阴」
                      与（『公网上游请求失败或超时：』附（「安全错误文」于（「果」中「一」））））
                  ）否则
                    虑「柄」者「取云工句柄」于（「果」中「一」）
                    而
                    虑「无」者「登记读态」于「柄」于（「信号」中「一」）
                    而
                    若「云工中断信号已中断」于（「信号」中「一」）
                    则
                      （
                        虑「无」者
                          「存读态」于（「取消读态」于（「取读态」于「柄」）于『超时』）
                        而
                        （「阴」与『公网上游请求超时』）
                      ）
                    否则
                      （「阳」与「柄」）
也。
