SEMSEM · SEM-03 · 术数算法形式化与反循环验证
形式化专题：把规则写成程序，把测试写成防作弊
本课要解决的问题与学习目标
- 能将一条术数规则形式化为查表或函数
- 能设计符合 R8 的反循环测试
先修知识
知识原子
原教材解释原典直证L5已校
形式化：规则→程序→反循环测试
术数规则大多可形式化为「查表 + 模运算 + 分支」；形式化的价值不止自动化，更在暴露规则内部的矛盾与缺口。校验须遵守 R8：期望值取自独立源（原书/锚点），不得从被测输出反推。
地平一百廿八以為徑準方田四周五百一十二以徑圍之一三未合尚餘十八當為一百廿八之徑三
可计算层
定义 · 形式化规则 · 查表推演
定义 · 形式化规则 · 查表推演
⟷
经验与约定层
门派约定 · 经验断语 · 文学意象
门派约定 · 经验断语 · 文学意象
术数规则大多可形式化为「查表 + 模运算 + 分支」；形式化的价值不止自动化，更在暴露规则内部的矛盾与缺口。校验须遵守
可计算层
定义 · 形式化规则 · 查表推演
定义 · 形式化规则 · 查表推演
⟷
经验与约定层
门派约定 · 经验断语 · 文学意象
门派约定 · 经验断语 · 文学意象
术数规则大多可形式化为「查表 + 模运算 + 分支」；形式化的价值不止自动化，更在暴露规则内部的矛盾与缺口。校验须遵守
原形式化：规则→程序→反循环测试
地平一百廿八以為徑準方田四周五百一十二以徑圍之一三未合尚餘十八當為一百廿八之徑三
结本节小结
- 1.形式化：规则→程序→反循环测试：术数规则大多可形式化为「查表 + 模运算 + 分支」；形式化的价值不止自动化，更在暴露规则内部的矛盾与缺口。校验须遵守 R8：期望值取自独立源（原书/锚点），不得从被测输出反推。
续下一节预告
下一课：跨门派案例：同一件事，四份卷宗
出处、版本与延伸阅读
- 《三易洞玑》