（「引用类」于（「数组引用类」于「爻」））

文言：同径既验其界，再用可省；异径不得相借。汉语：仅记录同一顺序区域内已成功执行数组访问的局部索引。分支和复杂控制前后清空事实，不从兄弟分支、循环或退出域传播证明。只省重复的 wasm32 转换范围检查，数组自身边界检查保留。

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

暂无说明。