寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则验证」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编容器逃逸」之书。
「：文言：容器与所载各有其寿，外传及外改不可漏。汉语：显式列出应局部和应逃逸的分配编号，验证字段精度、更新、环、分支合流、数组内容和未知调用后的污染传播；拒绝案例必须返回无证书。：」
「局」乃化「整数」而「正则原子」也。
「局」者会「号」而「正则局部」于「号」也。
「令」乃化「整数」而化「正则操作」而化（「列」于「正则原子」）而「正则指令」也。
「令」者会「号」而会「术」而会「参」而「正则运算」于「号」于「正则通用值」于「术」于「参」也。
「造」乃化「整数」而化（「列」于「正则原子」）而「正则指令」也。
「造」者会「号」而会「参」而「令」于「号」于「正则造元组」于「参」也。
「取」乃化「整数」而化「整数」而化「整数」而「正则指令」也。
「取」者会「号」而会「组」而会「位」而「令」于「号」于（「正则取字段」于「位」）于（「列」【「局」于「组」】）也。
「写」乃化「整数」而化「整数」而化「整数」而化「正则原子」而「正则指令」也。
「写」者会「号」而会「组」而会「位」而会「值」而「令」于「号」于（「正则写字段」于「位」）于（「列」【「局」于「组」，「值」】）也。
「调」乃化「整数」而化（「列」于「正则原子」）而「正则指令」也。
「调」者会「号」而会「参」而「令」于「号」于「正则调用」于（「缀」于（「正则函数引用」于『外来』）于「参」）也。
「原」乃化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「原」者会「号」而会「名」而会「参」而「令」于「号」于（「正则原语」于「名」）于「参」也。
「段」乃化（「列」于「正则指令」）而化「正则原子」而「正则区域」也。
「段」者会「诸令」而会「值」而「正则段」于「诸令」于（「正则产出」于「值」）也。
「函」乃化（「列」于「整数」）而化（「列」于「正则指令」）而化「正则原子」而「正则函数」也。
「函」者会「参」而会「诸令」而会「果」而『容器测试』与「阴」与「参」与（「段」于「诸令」于「果」）与「一六」也。
「含」乃化「整数」而化（「列」于「整数」）而「爻」也。
「含」者会「号」而会「诸号」而「存在吗」授以「整数」于（会「位」而「等于」于「号」于「位」）于「诸号」也。
「次数」者「新引用」授以「整数」于「零」也。
「验」乃化「字符串」而化「正则函数」而化（「列」于「整数」）而化（「列」于「整数」）而「有」也。
「验」者会「名」而会「体」而会「局者」而会「逸者」而
 虑「无」者「验证正则函数」于「体」而
 鉴（「求容器逃逸」于「体」）而有「可无」则「发生事故」授以「有」于（「名」附『未得证书』）或有（「可有」于「证」）则（
 虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于（「体」中「四」））于（会「号」而
  虑「有形」者「大于」于（「读数组引用」授以「整数」于（「证」中「零」）于「号」）于「零」而
  虑「期形」者「或者」于（「含」于「号」于「局者」）于（「含」于「号」于「逸者」）而
  虑「合」者「且」于（「爻相等」于「有形」于「期形」）于（若「有形」则「爻相等」于（「读数组引用」授以「爻」于（「证」中「一」）于「号」）于（「含」于「号」于「逸者」）否则「阳」）而
  若「合」则「元」否则「发生事故」授以「有」于（「名」附『编号错误：』附（「整数表示」于「号」）））而
 「写引用」于「次数」于（「加」于（「读引用」于「次数」）于「一」））也。
「拒」乃化「字符串」而化「正则函数」而「有」也。
「拒」者会「名」而会「体」而鉴（「求容器逃逸」于「体」）而
 有「可无」则「写引用」于「次数」于（「加」于（「读引用」于「次数」）于「一」）
 或有「其他」则「发生事故」授以「有」于（「名」附『错误给出证书』）也。
「零数」者「正则整数」于「零」也。
「一数」者「正则整数」于「一」也。
「叶」乃化「整数」而「正则指令」也。
「叶」者会「号」而「造」于「号」于（「列」【「零数」】）也。
「验」于『局部包装』于（「函」于「罄」于（「列」【「叶」于「零」，「造」于「一」于（「列」【「局」于「零」】），「取」于「二」于「一」于「零」，「取」于「三」于「二」于「零」】）于（「局」于「三」））于（「列」【「零」，「一」】）于「罄」。
「验」于『返回外壳传播』于（「函」于「罄」于（「列」【「叶」于「零」，「造」于「一」于（「列」【「局」于「零」】）】）于（「局」于「一」））于「罄」于（「列」【「零」，「一」】）。
「验」于『只返回选中字段』于（「函」于「罄」于（「列」【「叶」于「零」，「叶」于「一」，「造」于「二」于（「列」【「局」于「零」，「局」于「一」】），「取」于「三」于「二」于「零」】）于（「局」于「三」））于（「列」【「一」，「二」】）于（「列」【「零」】）。
「验」于『局部更新再读取』于（「函」于「罄」于（「列」【「叶」于「零」，「叶」于「一」，「写」于「二」于「一」于「零」于（「局」于「零」），「取」于「三」于「一」于「零」】）于（「局」于「三」））于（「列」【「一」】）于（「列」【「零」】）。
「环令」者（「列」于「正则指令」也（「列」【「叶」于「零」，「叶」于「一」，「写」于「二」于「零」于「零」于（「局」于「一」），「写」于「三」于「一」于「零」于（「局」于「零」）】））也。
「验」于『局部环』于（「函」于「罄」于「环令」于「正则单元」）于（「列」【「零」，「一」】）于「罄」。
「验」于『外传环』于（「函」于「罄」于「环令」于（「局」于「零」））于「罄」于（「列」【「零」，「一」】）。
「验」于『条件合流』于（「函」于「罄」于（「列」【「叶」于「零」，「叶」于「一」，「正则如果」于「二」于「正则通用值」于（「正则爻」于「阳」）于（「段」于「罄」于（「局」于「零」））于（「段」于「罄」于（「局」于「一」））】）于（「局」于「二」））于「罄」于（「列」【「零」，「一」】）。
「验」于『未知调用污染后续字段』于（「函」于「罄」于（「列」【「叶」于「零」，「调」于「一」于（「列」【「局」于「零」】），「取」于「二」于「零」于「零」，「叶」于「三」，「写」于「四」于「二」于「零」于（「局」于「三」）】）于「正则单元」）于「罄」于（「列」【「零」，「三」】）。
「验」于『无关未知调用不外传局部』于（「函」于「罄」于（「列」【「叶」于「零」，「调」于「一」于（「列」【「零数」】），「取」于「二」于「零」于「零」】）于（「局」于「二」））于（「列」【「零」】）于「罄」。
「验」于『外部接收者捕获』于（「函」于（「列」【「零」】）于（「列」【「叶」于「一」，「写」于「二」于「零」于「零」于（「局」于「一」）】）于「正则单元」）于「罄」于（「列」【「一」】）。
「验」于『数组载荷返回』于（「函」于「罄」于（「列」【「叶」于「零」，「原」于「一」于『豫言_新建引用数组』于（「列」【「局」于「零」，「一数」】），「原」于「二」于『豫言_读取引用数组』于（「列」【「局」于「一」，「零数」】）】）于（「局」于「二」））于（「列」【「一」】）于（「列」【「零」】）。
「验」于『包内数组读写标量』于（「函」于「罄」于（「列」【「原」于「零」于『豫言_新建引用数组』于（「列」【「零数」，「一数」】），「造」于「一」于（「列」【「局」于「零」】），「取」于「二」于「一」于「零」，「原」于「三」于『豫言_写入引用数组』于（「列」【「一数」，「零数」，「局」于「二」】），「原」于「四」于『豫言_读取引用数组』于（「列」【「局」于「二」，「零数」】）】）于（「局」于「四」））于（「列」【「零」，「一」】）于「罄」。
「验」于『数组先外传再写入对象』于（「函」于「罄」于（「列」【「原」于「零」于『豫言_新建引用数组』于（「列」【「零数」，「一数」】），「调」于「一」于（「列」【「局」于「零」】），「叶」于「二」，「原」于「三」于『豫言_写入引用数组』于（「列」【「局」于「二」，「零数」，「局」于「零」】）】）于「正则单元」）于「罄」于（「列」【「零」，「二」】）。
「验」于『标签载荷局部解包』于（「函」于（「列」【「零」】）于（「列」【「造」于「一」于（「列」【「局」于「零」】），「令」于「二」于（「正则造标签」于「一」于「一」）于（「列」【「局」于「一」】），「令」于「三」于「正则取载荷」于（「列」【「局」于「二」】），「取」于「四」于「三」于「零」】）于（「局」于「四」））于（「列」【「一」，「二」】）于「罄」。
「验」于『返回标签载荷只保留内层』于（「函」于「罄」于（「列」【「叶」于「零」，「造」于「一」于（「列」【「局」于「零」】），「令」于「二」于（「正则造标签」于「一」于「一」）于（「列」【「局」于「一」】），「令」于「三」于「正则取载荷」于（「列」【「局」于「二」】）】）于（「局」于「三」））于（「列」【「二」】）于（「列」【「零」，「一」】）。
「验」于『分支显式函数返回』于（「函」于「罄」于（「列」【「叶」于「零」，「正则如果」于「一」于「正则通用值」于（「正则爻」于「阳」）于（「正则段」于「罄」于（「正则返回」于（「局」于「零」）））于（「段」于「罄」于「正则单元」）】）于「正则单元」）于「罄」于（「列」【「零」】）。
「拒」于『局部值过多』于（『过大』与「阴」与（「罄」授以「整数」）与（「段」于「罄」于「正则单元」）与「二五七」）。
「拒」于『字段过多』于（「函」于「罄」于（「列」【「造」于「零」于（「打表」授以「正则原子」于「六五」于（会「位」而「正则单元」））】）于「正则单元」）。
「拒」于『控制域未建模』于（「函」于「罄」于（「列」【「正则结果块」于「零」于「零」于（「段」于「罄」于「正则单元」）】）于「正则单元」）。
「打印行」于（『容器逃逸通过：』附（「整数表示」于（「读引用」于「次数」）））。
「图达」乃化（「列」于「整数」）而化「整数」而化（「列」于「整数」）而（「列」于「整数」）也。
「图达」者会「图」而会「位」而会「已」而
 若「或者」于（「非」于（「小于」于「位」于「三」））于（「含」于「位」于「已」）则「已」否则
 「图达」于「图」于（「第N个」授以「整数」于「位」于「图」）于（「缀」于「位」于「已」）也。
「图验」乃化（「列」于「整数」）而化「整数」而化「爻」而「有」也。
「图验」者会「图」而会「根」而会「调吗」而
 虑「指」者（化「整数」而「正则原子」也会「位」而若「小于」于「位」于「三」则「局」于「位」否则若「等于」于「位」于「三」则「局」于「六」否则「零数」）而
 虑「写们」者「态射」授以「整数」授以「正则指令」于（「整数范围」于「零」于「三」）于（会「位」而「写」于（「加」于「三」于「位」）于「位」于「零」于（「指」于（「第N个」授以「整数」于「位」于「图」）））而
 虑「令们」者「附加」授以「正则指令」于（「列」【「叶」于「零」，「叶」于「一」，「叶」于「二」】）于（「附加」授以「正则指令」于「写们」于（若「调吗」则「列」【「调」于「七」于（「列」【「指」于「根」】）】否则「罄」））而
 虑「逸们」者「图达」于「图」于「根」于「罄」而
 虑「局们」者「滤」授以「整数」于（会「位」而「非」于（「含」于「位」于「逸们」））于（「整数范围」于「零」于「三」）而
 「验」于『三节点图穷举』于（「函」于（「列」【「六」】）于「令们」于（若「调吗」则「正则单元」否则「指」于「根」））于「局们」于「逸们」也。
虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于「五」）于（会「甲」而
 虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于「五」）于（会「乙」而
  虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于「五」）于（会「丙」而
   虑「无」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于「四」）于（会「根」而
    「图验」于（「列」【「甲」，「乙」，「丙」】）于「根」于「阴」；「图验」于（「列」【「甲」，「乙」，「丙」】）于「根」于「阳」）而「元」）而「元」）而「元」）而「元」。
虑「诸叶」者「态射」授以「整数」授以「正则指令」于（「整数范围」于「零」于「四零」）于「叶」而
 虑「诸写」者「态射」授以「整数」授以「正则指令」于（「整数范围」于「一」于「四零」）于（会「位」而「写」于（「加」于「三九」于「位」）于「位」于「零」于（「局」于（「减」于「位」于「一」）））而
 「验」于『四十节点逆序深链』于（『深链』与「阴」与（「罄」授以「整数」）与（「段」于（「附加」授以「正则指令」于「诸叶」于「诸写」）于（「局」于「三九」））与「八零」）于「罄」于（「整数范围」于「零」于「四零」）。
「打印行」于（『容器图穷举及深链通过：』附（「整数表示」于（「读引用」于「次数」）））。
