验
公开化「爻」而「有」文言：全覆乃取，漏位、复写、外求皆拒。汉语：测试完整覆盖、不同生成表达式、整数回绕及副作用拒绝，不能只识别当前基准的具体数列。
模块 / 6
测试/完整初始化证明。测试。豫
测试/完整初始化证明。测试。豫
14公开名称
算
公开化「整数」而化「字符串」而化「正则原子」而化「正则原子」而「正则指令」暂无说明。
降
公开化「整数」而化「整数」而「正则指令」暂无说明。
写
公开化「整数」而化「正则原子」而化「正则原子」而「正则指令」暂无说明。
续
公开「正则指令」暂无说明。
造函
公开化「整数」而化（「列」于「正则指令」）而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
正常令
公开（「列」于「正则指令」）暂无说明。
取证
公开化（「列」于「正则指令」）而（「整数」合「整数」合「虚组值式」）暂无说明。
拒证
公开化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而「有」暂无说明。
正常证
公开（「整数」合「整数」合「虚组值式」）暂无说明。
式证
公开（「整数」合「整数」合「虚组值式」）暂无说明。
常证
公开（「整数」合「整数」合「虚组值式」）暂无说明。
宽证
公开（「整数」合「整数」合「虚组值式」）暂无说明。
倒函
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。