寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈封闭证明」之书。
「造体」乃化「字符串」而化「正则操作」而化（「列」于「正则原子」）而「正则函数」也。
「造体」者会「名」而会「术」而会「参」而
 「名」与「阴」与（「列」【「零」】）与（「正则段」于（「列」【「正则运算」于「一」于「正则通用值」于「术」于「参」】）于（「正则产出」于（「正则整数」于「零」）））与「二」也。
「调体」乃化「字符串」而化「字符串」而「正则函数」也。
「调体」者会「名」而会「往」而「造体」于「名」于「正则调用」于（「列」【「正则函数引用」于「往」，「正则局部」于「零」】）也。
「叶」者「造体」于『叶』于（「正则原语」于『豫言_整数加』）于（「列」【「正则局部」于「零」，「正则整数」于「一」】）也。
「宿主」者「造体」于『宿主』于（「正则原语」于『豫言_打印行』）于（「列」【「正则字符串」于『不可重入』】）也。
「造组」者「造体」于『造组』于（「正则原语」于『豫言_新建引用数组』）于（「列」【「正则整数」于「零」，「正则局部」于「零」】）也。
「除」者「造体」于『除』于（「正则原语」于『豫言_整数除』）于（「列」【「正则整数」于「一」，「正则整数」于「零」】）也。
「诸函」者（「正则模块」也（「列」【「叶」，「调体」于『调用叶』于『叶』，「调体」于『甲』于『乙』，「调体」于『乙』于『甲』，「宿主」，「调体」于『间接宿主』于『宿主』，「调体」于『再间接』于『间接宿主』，「调体」于『缺失』于『未知』，「造组」，「调体」于『调用造组』于『造组』，「除」，「造体」于『动态』于「正则调用」于（「列」【「正则局部」于「零」】），「造体」于『错参』于「正则调用」于（「列」【「正则函数引用」于『叶』】）】））也。
「摘要」者「求栈封闭摘要」于「诸函」也。
「验」乃化「字符串」而化「爻」而「有」也。
「验」者会「名」而会「期」而若「爻相等」于（「栈摘要可调」于「摘要」于「名」于「一」）于「期」则「元」否则「发生事故」授以「有」于（『栈封闭错误：』附「名」）也。
「验」于『叶』于「阳」。
「验」于『调用叶』于「阳」。
「验」于『甲』于「阳」。
「验」于『乙』于「阳」。
「验」于『宿主』于「阴」。
「验」于『间接宿主』于「阴」。
「验」于『再间接』于「阴」。
「验」于『缺失』于「阴」。
「验」于『造组』于「阴」。
「验」于『调用造组』于「阴」。
「验」于『除』于「阳」。
「验」于『动态』于「阴」。
「验」于『错参』于「阴」。
「根可调」者（化「字符串」而化「整数」而「爻」也会「名」而会「数」而「栈摘要可调」于「摘要」于「名」于「数」）也。
若「验栈封闭函数」于「根可调」于「一」于「造组」则「元」否则「发生事故」授以「有」于『指定分配点未接受』。
若「验栈封闭函数」于「根可调」于「零」于「造组」则「发生事故」授以「有」于『错误分配点被接受』否则「元」。
「重名」者「求栈封闭摘要」于（「列」【「叶」，「叶」】）也。
若「栈摘要可调」于「重名」于『叶』于「一」则「发生事故」授以「有」于『重名被接受』否则「元」。
「打印行」于『栈封闭十六项通过』。
「：文言：数组未交宿主，亦须拒重入；互递有污，逆告其偶。汉语：数组不作为参数传出仍可能遇到宿主重入；验证额外调用和互递归拒绝传播。：」
「加令」乃化「字符串」而化「正则函数」而化「正则指令」而「正则函数」也。
「加令」者会「名」而会「函」而会「令」而
 鉴（「函」中「三」）而有（「正则段」于「诸令」于「终」）则
 「名」与（「函」中「一」）与（「函」中「二」）与（「正则段」于（「缀」于「令」于「诸令」）于「终」）与「三」也。
「宿主令」者「正则运算」于「二」于「正则通用值」于（「正则原语」于『豫言_打印行』）于（「列」【「正则字符串」于『未传数组』】）也。
「带宿主」者「加令」于『带宿主』于「造组」于「宿主令」也。
若「验栈封闭函数」于「根可调」于「一」于「带宿主」则「发生事故」授以「有」于『无关宿主调用被接受』否则「元」。
「环污」者「求栈封闭摘要」于（「列」【「调体」于『环甲』于『环乙』，「加令」于『环乙』于（「调体」于『环乙』于『环甲』）于「宿主令」】）也。
若「栈摘要可调」于「环污」于『环甲』于「一」则「发生事故」授以「有」于『互递归污染未传播』否则「元」。
若「栈摘要可调」于「摘要」于『叶』于「零」则「发生事故」授以「有」于『摘要接受错误实参数量』否则「元」。
「额外分配」者「加令」于『额外分配』于「造组」于（「正则运算」于「二」于「正则通用值」于（「正则原语」于『豫言_新建引用数组』）于（「列」【「正则整数」于「零」，「正则整数」于「一」】））也。
若「验栈封闭函数」于「根可调」于「一」于「额外分配」则「发生事故」授以「有」于『接受额外分配』否则「元」。
「打印行」于『栈封闭新增四项通过』。
