v3.9.0 发版：规则库补强（E3 +20 条，548→568）+ 收敛层防护定型

rules/95_禁则.md

@@ -163,7 +163,7 @@
 ## 五、自造必要条件之禁（推理层收敛纪律）
 
 ### R-禁-23 充分非必要、无路径非反证、藏不透非无
-- **禁止**：①把充分条件当必要条件——有某象则某事成立，不等于无某象即排除某事：有驿马主迁动（R-煞-06），不等于无驿马排除搬迁（冲年支＋印透不经驿马同样合成迁动，见 R-运-32 合成示例）；②以「无某规则路径」为排除依据——规则库未载通往某候选之路，只表明本库不论此事，不构成反证：库中无身材专条，不得据此排除任何身材候选；③以藏干不透、不现论「无」——藏干静以待用（R-运-19），逢透清、会局则发（R-运-22/23）：官藏不透不排除公职、财藏不透不排除经商。
+- **禁止**：①把充分条件当必要条件——有某象则某事成立，不等于无某象即排除某事：有驿马主迁动（R-煞-06），不等于无驿马排除搬迁（冲年支＋印透不经驿马同样合成迁动，见 R-运-32 合成示例）；②以「无某规则路径」为排除依据——规则库未载通往某候选之路，只表明本库不论此事，不构成反证：纵库中无身材专条，亦不得据此排除任何身材候选（身材取象已补入 R-性-40/41）；③以藏干不透、不现论「无」——藏干静以待用（R-运-19），逢透清、会局则发（R-运-22/23）：官藏不透不排除公职、财藏不透不排除经商。
 - **理由**：排除须凭编号规则之正面禁断（排除句校验见 R-运-32 第 2 步），写不出编号之排除皆自造否决。充分条件不可逆用，库之未载非事之必无，藏者待用而非无。
 - **出处**：（综括，无单一原文；干支动静、透清会局之论据 R-运-19/22/23）
 - **原文**：（综括，无单一原文）