验
公开化「爻」而「有」文言：列小域之诸值，以实数验所推之约。汉语：独立枚举125组三节点约束和每组169个赋值；每个满足原始约束的赋值必须满足全部推导界，且不得被判为矛盾。此非完整形式证明，用于捕获方向、传递及无界处理错误。
模块 / 9
测试/差分关系穷举。测试。豫
测试/差分关系穷举。测试。豫
6公开名称
小域
公开（「列」于「整数」）暂无说明。
值域
公开（「列」于「整数」）暂无说明。
节点
公开（「列」于「整数」）暂无说明。
已验
公开（「引用类」于「整数」）暂无说明。
图验
公开化「整数」而化「整数」而化「整数」而「有」暂无说明。