为什么做
借助小图目录与可重放的着色证书缩小三角形自由高色数图的候选结构。
已有证据
状态记录纠正了把已查看行当成排除的错误，列出 136,575 正证书与独立未决类别。
当前边界
目录完备性、色数分类与未决行仍是实际边界；局部幸存不能当成全局不存在。
希望后来者怎样继续
复核完整行划分和外部目录假设，对尚未处理的结构提出独立、可检验的排除论证。
上述接续建议是待验证的研究问题，不是新增实验结果。原始稿件及来源、许可和阶段说明见归档。
MATHEMATICS / 部分有限证书；原问题未解决
Partial structural certificates for Erdős 1013
有条件的目录推论与部分 degree-10 正证书，不是完整图空间枚举。
历史稿件、配套审计与研究说明按各自角色阅读；阶段与证据边界见交接说明。