验
公开化「爻」而「有」文言：号有共同前缀，不可误删；未定之整，不可废其验；整组之参，去其转。汉语：删除必须按完整指令匹配，i12不得误匹配i123；动态拆箱和除法即使结果无读取仍保留；私有整数数组参数读取后的类型转换被删去。
模块 / 3
测试/单步压缩。测试。豫
测试/单步压缩。测试。豫
17公开名称
无串
公开化「字符串」而化「回收串」而「爻」暂无说明。
令
公开化「整数」而化「字符串」而化「正则原子」而「正则指令」暂无说明。
体
公开「正则区域」暂无说明。
函
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
加令
公开「回收串」暂无说明。
写术
公开化「整数」而化「正则操作」而化（「列」于「正则原子」）而「回收串」暂无说明。
存
公开化「字符串」而「回收串」暂无说明。
原
公开「回收串」暂无说明。
压
公开「回收串」暂无说明。
未知体
公开「正则区域」暂无说明。
未知串
公开「回收串」暂无说明。
除体
公开「正则区域」暂无说明。
除串
公开「回收串」暂无说明。
组函
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
组串
公开「回收串」暂无说明。
组压
公开「字符串」暂无说明。