如何质疑这套理论

一项常设邀请：质疑、缩小或纠正任何一条主张

不需要先接受整套研究纲领。只需指出一项具体主张、定义、证明步骤、解释或经验映射，并说明它哪里不成立、缺少什么条件，或超出了现有证据。反例、阴性结果和要求缩小主张范围的意见都欢迎。

你可以质疑什么

01 数学定义或推导 某个定义含糊、某一步推导不成立、隐藏了未声明的前提，或者某个结论只是由定义直接得到却被描述得过强。数学反例、精确的公式差异或一个遗漏的假设，通常最有帮助。

02 Lean 形式化与证明依赖 Lean 声明没有表达论文实际主张、关键前件没有列出、公理依赖范围不清楚，或公开复现命令无法运行。请尽量提供定理名称、文件路径、错误输出或最小复现步骤。

03 主张范围过宽 例如，把条件同一性说成无条件同一性，把特定模型的结果推广为所有自主系统的定律，或把数学对应直接说成经验发现。指出“证据支持到哪里为止”，与指出公式错误同样重要。

04 反例、替代模型或哲学解释 提出另一种选择器、闭包结构或概念解释，说明它能满足相同条件却导出不同结果；或者解释为什么某项哲学类比没有成立。一个明确的反例就足以限制一项具体主张。

#	主张	为何需要谨慎
1	边界—自报的条件同一性	结果依赖报告族满足向上封闭等明确条件。是否正确表述了前件？能否构造新的反例？
2	水平自指的唯一解	给定所选映射时，自洽方程可以有唯一解；这不能被误写成“所有可能选择器中唯一”。现有反例对此施加限制。
3	组装判据≠存在性	已证明的判据不能被误读成组装事件必然存在。从 σ_mech>σ* 构造 c′ 并证明其存在的证明仍然缺失。
4	κ 映射未经验证	κ↔β（神经科学）或机器人变量映射中，哪些是数学定义，哪些仍是经验假设？

收到 定位主张 确认被质疑的是哪条主张、定义或证据。

编号 记录状态 每项疑问都获得一个公开编号，便于追踪。

回应 公开答复 尝试重现问题，检查前提与依赖。

修订 新版本或新行 必要时以新版本或标记 supersedes 的新行发布修正，不静默改写原主张的历史。

需要 GitHub 账号才能发布。问题公开可见，其他读者可以查看与补充。请勿上传私人信息、凭证或你无权分享的数据。提交前可在 GitHub 上修改内容。