局
公开化「整数」而「正则原子」文言：全写可免，少写、异组、间读与未知皆不可。汉语：验证调用处数组、长度、起点和形参与实参位置的对应；不把填充函数的资格误当完整覆盖证据。
模块 / 26
测试/栈覆盖证明。测试。豫
测试/栈覆盖证明。测试。豫
12公开名称
零数
公开「正则原子」暂无说明。
术
公开化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」暂无说明。
段
公开化（「列」于「正则指令」）而化「正则原子」而「正则区域」暂无说明。
填函
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
签
公开（（「列」于「整数」）合「整数」）暂无说明。
根函
公开化「正则原子」而化「正则原子」而化（「列」于「正则原子」）而化「爻」而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
次数
公开（「引用类」于「整数」）暂无说明。
验
公开化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化（（「列」于「整数」）合「整数」）而化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化「爻」而「有」暂无说明。
验常
公开化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化「爻」而「有」暂无说明。
头
公开「正则原子」暂无说明。
实
公开（「列」于「正则原子」）暂无说明。