Metadata-Version: 2.1
Name: rinzer
Version: 1.0.8
Summary: 几何公理体系的连通性分析器 + 多路径证明发现器 + 形式化验证前端
Author-email: yatelandis01@163.com
Requires-Python: >=3.8
Description-Content-Type: text/markdown
Requires-Dist: z3-solver

# Rinzer

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

## 安装

```bash
pip install rinzer

## 更新日志

v1.0.8 (2026-08-19)
🔧 修复：结论与路径脱节问题。结论要求垂直但路径只含平行 这类幻觉不再被放行

✨ 新增：_classify_conclusion 结论分类器，把自然语言结论映射为不变量类型

🛡️ 增强：check() 返回前强制校验结论节点是否在真实搜索路径中

⚡ 优化：路径不再硬编码，改用 find_all_paths 真实搜索

v1.0.7 (2026-07-16)
📝 文档：更新项目描述，加入完整更新日志和特别鸣谢

🔖 版本：同步 PyPI 页面版本标签

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 依赖包的演化过程中，提供了逻辑审计、架构评审和跨领域知识检索。

元宝用户，在 1.0.7 版本测试中发现并报告了“结论与路径脱节”的关键漏洞。

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

联系作者
📧 email：yatelandis01@163.com
