保留短边候选:固定几何与24项既有检查通过 · 原门槛未改,默认求解器未替换;尚待实际动力学与时间/空间比较。

项目首页

只用9个点,
检验一次几何失败候选。

出现了预先指定的短边反例。原生几何函数没有修改、原闭合门槛没有放宽,三组观测只执行一次,没有推进任何模拟时间步。

这是新构造的小反例,不是第78步的重放。原失败扰动几何没有导出;本页证明原规则存在一个问题场景,尚未证明它就是长算例的确切根因,也没有采用修复。

丢掉一条很短的边,会发生什么?

对一个闭合多边形,把每条边的“长度×外法向”相加应互相抵消。原实现会略过短于某个界限的边;这可能破坏后续面组装的闭合。我们固定9个点,只改变右上角一点的位置,包含未扰动、极小扰动、较大扰动三个预定条件。

九点实际构造和明确放大的局部角点,红色表示被省略的边
红色是原规则省略的实际短边。右图按已声明的delta归一化放大几何角点,不是实际膜运动或粒子位移放大。单位为点间距,无实验长度映射。矢量PDF

极小扰动组中,短边长度为5.656854e-09个点间距,小于原截止值7.155418e-09。省略后中央单元闭合残差1.414214e-09,与原生报错数值一致;完整多边形边向量和为1.388e-17。

两组控制通过,一组被原门槛拒绝

三组真实原生闭合残差,极短边组超过原门槛
红色为实际原生组装的闭合残差;蓝色仅是中央多边形全边向量和恒等式。零值以10⁻¹⁸作为绘图下限,不修改原数据。蓝线不是合格的新求解器或物理验证。矢量PDF

未扰动和较大扰动组的原生构造通过;极短边组被原闭合门槛10⁻⁹拒绝。原生观测耗时0.531秒。构建后曾修正驱动输出路径和UTF-8读取,全部原记录保留;原生观测没有重试。

下一步检验候选修复,不直接重跑长作业

候选修复必须保持几何闭合、面积、正交、守恒和动力学的原门槛;还要处理真实运动几何、导数和实际时间/空间比较。完整边向量和接近零,只解释这个构造,不代表修复通过。原10/50/200微秒及完整C1仍未完成。

已查阅Shewchuk稳健谓词资料和CGAL几何内核文档:分类判断与新坐标构造需要分别考虑;这些资料不能替代本项目的反例或动力学证据。

原第二组失败现场 · 首组真实终态。

原始数据、构建记录与完整来源

完整观测与科学范围 · 观测前固定方案 · 实际命令和耗时 · 原生观测CSV · 完整中央边坐标 · 所有点坐标。

原始文件/关闭日志及原驱动源码ZIP · 逐文件SHA清单 · 实际恢复核验。全部8个文件已实际恢复、字节一致。固定计划 · 原生探针源码 · 驱动路径修正 · UTF-8修正记录。ZIP保留原始字节,处理后的文本可能经Git换行规范化。