化「正则原子」而化「正则原子」而（「或可有」于「字符串」）

文言：同组同索，既访无事故，后访毋复检；诸歧各记，不相冒也。汉语：仅用于已验证的封闭栈调用图：数组头及长度不可变，无宿主重入、原始内存写入及子数组分配。输入须通过 SSA 与表示验证。每个区域独立记录成功访问的数组局部号与索引原子；第一次检查保留，后续相同访问才可省检。子分支不向父区域或另一分支传播事实。调用可改载荷，不能改头；本模块不授权跨越不满足此前提的调用。

化「正则操作」而化（「列」于「正则原子」）而（「或可有」于「字符串」）

暂无说明。

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

暂无说明。