rinzer 1.0.7

几何公理体系的连通性分析器 + 多路径证明发现器 + 形式化验证前端

Rinzer

几何公理体系的连通性分析器 + 多路径证明发现器 + 形式化验证前端。

安装

pip install rinzer

## 更新日志

### v1.0.6 (2026-07-16)
- 🔧 **重大修复**：修复逻辑矛盾检测失效问题，`AB=AC` 与 `AB≠AC` 不再误判为 `reachable`
- 🛡️ **增强**：`validate` 模式新增 ASCII 兼容的正则表达式，彻底解决编码乱码导致的检测漏洞
- ✅ **回归测试**：逻辑矛盾案例、虚数解案例、正常命题全部通过

### v1.0.5 (2026-07-16)
- 🔧 **修复**：修复 `validate.py` 打包未生效问题

### v1.0.4 (2026-07-16)
- ✨ **新增**：`validate` 模式，在 Z3 验证前进行数学合理性检查，解决Z3 把 x²=-1 和 AB=AC且AB≠AC 都判为 reachable，因为它只管多项式可满足性，不管数学意义。
- 🛡️ **拦截**：逻辑矛盾（如 `P` 与 `¬P` 同时存在）
- 🛡️ **拦截**：实数域无解（如 `x²=-1`）
- ⚡ **优化**：规则引擎先过滤，减少无效 Z3 调用

快速开始
python
import rinzer

result = rinzer.check(
    hypotheses=["AC and BD bisect each other"],
    conclusion="ABCD is a parallelogram"
)
print(result["reachable"])  # True


核心能力
不变量闭包分析：14节点，63条边，连通度92.9%

多路径证明发现：BFS搜索 + Z3代数验证

形式化验证：几何推理每一步可审计


从车轮悖论到不变量闭包
Rinzer 的起点是车轮悖论——如果抽掉时间，运动是什么？
经过无时间几何跃迁、Gröbner基消元、不变量依赖图，
最终停在一个精确的问题上：几何公理体系的闭包是否完整？
连通度92.9%，公理闭包全覆盖，ISOSCELES作为最不可达节点，
标记着对称性——那个需要变换群而非推导链来穿越的缝隙。


特别鸣谢
DeepSeek，在 Rinzer 依赖包的演化过程中，提供了逻辑审计、架构评审和跨领域知识检索。

苦瓜老师，提供物理大锤和哲学辣条。