（「引用类」于（「或可有」于（「整数」合「整数」）））

文言：范围之证先定，续行之证复成，乃合二步。汉语：候选只由已经拥有动态范围守卫的私有快体设置。单步仍调用原区域生成器；尾递归完成其他参数并行赋值后正常结束单步，扫描加一统一置于步末，异常不跨步重排。生成失败或不支持时保留原循环。

（「引用类」于「爻」）

暂无说明。

（「引用类」于「整数」）

暂无说明。

化「有」而「回收串」

暂无说明。

化「整数」而「字符串」

暂无说明。

化「回收指令」而化「回收指令」而「爻」

文言：令以其文较之，名与立即之数皆较。汉语：两条指令按其文本形式比较是否相同，名字与立即数都参与比较。

化（「列」于「回收指令」）而化（「列」于「回收指令」）而（「列」于「回收指令」）

文言：删令之段，自左而右，不相叠。汉语：从左到右删除指令列表中所有不重叠出现的指令片段。

化「字符串」而化「回收指令」而化（「列」于「回收指令」）而（「列」于「回收指令」）

文言：取某局部而后即转其型者，去其转。汉语：删除紧跟在读取指定局部之后的指定类型转换指令。

化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化「正则区域」而化「回收串」而化化「整数」而化「正则操作」而化（「列」于「正则原子」）而「回收串」而「回收串」

文言：已知为整之无用加减乘比可省，除与存取之效不可废。汉语：仅压缩已证明单步中的无读取纯运算。动态拆箱可能失败时保留运算；数组读取与除法即使结果无用仍保留。恒等参数及扫描参数的尾赋值已由生成规则省去。

「整数」

文言：单步之令有限，逾之则不复制。汉语：压缩后单步体的指令数上限；超过则保留原循环，避免单步体复制三份使代码膨胀。

化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化化「正则区域」而「回收串」而化化「正则原子」而「回收串」而化化「整数」而化「正则操作」而化（「列」于「正则原子」）而「回收串」而（「或可有」于「回收串」）

暂无说明。

化「整数」而化「正则原子」而「爻」

文言：原参不复赋，扫描之进移至步末，余参并赋如故。汉语：单步中省去恒等传递；进度证明已保证扫描参数恰好加一，因此将其写回合并到单步块之后，仍在下一步前完成。其他参数的新值先全部求出再写回，计算它们时扫描参数仍是原值。扫描增加不溢出，不改变异常顺序。