验
公开化「爻」而「有」文言：以约推界，分支不相染；未证不溢者，不得窄之。汉语：测试未知、传递、分支隔离、矛盾、偏移溢出和循环守恒所需的关系。
模块 / 8
测试/差分关系。测试。豫
测试/差分关系。测试。豫
6公开名称
域
公开（「整数」合（「数组引用类」于「整数」）合（「引用类」于「爻」））暂无说明。
支
公开（「整数」合（「数组引用类」于「整数」）合（「引用类」于「爻」））暂无说明。
矛盾
公开（「整数」合（「数组引用类」于「整数」）合（「引用类」于「爻」））暂无说明。
超域
公开（「整数」合（「数组引用类」于「整数」）合（「引用类」于「爻」））暂无说明。
递参
公开化「整数」而化「整数」而化「整数」而化「整数」而（「列」于（「整数」合「整数」））文言：递参并进则守约，单进存放与互换未必守之。汉语：同时代入覆盖两条合法回边，以及不同步更新、交换、越界步长和零节点变化的拒绝。