猜想与反例：精确调整命题

好猜想不是越大胆越好，而是足够精确、经得住最小例子和边界攻击。发现反例并不意味着研究失败，它告诉你原命题缺少什么条件或真正结构在哪里。

量词决定攻击方式

“对所有”只需一个反例推翻；“存在”需要构造一个对象证明；“唯一存在”还要分别证明存在与唯一。先标量词，才能设计验证策略。

寻找最小反例

按规模排序搜索首次失败对象，常能揭示必要条件。比较最后成功与首次失败，观察奇偶、连通、光滑、互素或维数等差异。

条件不能随意补

为避开每个反例不断加特殊排除，会得到无解释力命题。新增条件应有结构理由，并尽量寻找更自然、更弱的充分条件。

正向与逆向

原命题成立不代表逆命题成立。分别寻找逆命题反例，可能得到充要条件或分类。否命题、逆否命题也能提示证明路径。

记录猜想版本

每次修改保存日期、旧命题、反例和修改理由。最终论文展示关键演化，让读者理解条件并非凭空出现。

还要区分“尚未找到反例”和“已证明成立”。搜索范围与方法只能支持前一种陈述，除非范围本身已穷尽全部对象。

任务：对当前猜想进行五类压力测试：最小值、边界、随机、结构特殊和逆命题，并生成版本日志。