化「整数」而「字符串」

文言：依证生私体，公门未改。汉语：生成未导出的数值栈私有函数；所有数值与单元用 i64，数组用 i32 地址。调用图、地址有效性和根帧初始化由入口资格层保证。根数组之前只允许已证明的整数加减乘，帧参数由入口预先分配并按原初值初始化。此模块不自行替换公开入口。 文言：令以回收之串构之，函以回收之项构之，参、局部之名与型及其先后，皆同旧文。汉语：指令构造成回收串，整个函数构造成回收函数项（WasmGC 结构化表示）；参数与局部变量的名字、类型和声明顺序都与原先的 WAT 文本相同。

化「正则原子」而「回收串」

暂无说明。

化「字符串」而「回收串」

暂无说明。

化化「正则原子」而「回收串」而化「回收串」而化「正则原子」而化「正则原子」而「回收串」

暂无说明。

化化「正则原子」而「回收串」而化「正则原子」而化「正则原子」而「回收串」

暂无说明。

化「正则原子」而化「正则原子」而「回收串」

暂无说明。

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

暂无说明。

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

文言：址指其实，歧不产值，扫描之进合于步后。汉语：镜像保存数组基址加8字节头及索引乘8，镜像访问用offset0，恢复索引须先减去头。已证单步只有尾递归续行，故尾条件用无返回值控制、尾更新完成后自然合流。仅独址扫描的共同加一移至单步块之后；其他尾参数仍以旧值并行赋值，非镜像访问保留offset8。 文言：合步须续行之证，先去奇数一步，余者两步而行。汉语：批次入口只供范围守卫后的快体使用；进度证明保证每步正常结束时扫描恰好加一且上界不变。异常不跨步重排，比较局部在步内为假、结束时为真，尾参数仍并行赋值。 文言：单步之令展之逾三百四十则不合步；旧以其文逾四千九十六字为限，今以令数约之。汉语：单步体展平后超过 340 条指令时不做批次；原先按 WAT 文本超过 4096 字符判断，改为结构化表示后按指令条数近似（约 12 字符一条）。

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

文言：后备守旧检，常体方去重。汉语：范围守卫的检查后备体不做访问去重，以保持后备代码形态；正常私有体可使用重复访问证书。公开签名与异常语义相同。

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

暂无说明。

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

文言：无界证则诸检如旧。汉语：普通入口不提供省略检查的编号；有界构造器仅供经过范围守卫的私有循环体调用。