化「正则操作」而化（「列」于「正则原子」）而（「或可有」于「整数」）

文言：组长不移，初检既读，后检可用；读不前移，诸歧各记。汉语：仅用于已验证的封闭栈调用图，前提同重复访问分析：数组头不可变，无宿主重入、原始内存写入或子分配，且 SSA 与表示已验证。回调标记不再执行检查的指令，这些指令不能作为长度来源。每个区域独立选取同一数组的首次实际检查；只有存在后续实际检查时才记录来源。生成器必须在原首次头读取处保存长度，不得提前加载，不得跨分支共享未初始化的局部。

化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化化「整数」而「爻」而（「数组引用类」于「整数」）

暂无说明。