| title | 讨论记录 |
|---|---|
| status | active |
| type | index |
| created | 2026-07-23 |
| updated | 2026-09-08 |
讨论记录保存想法如何产生、争议如何展开以及尚未进入正式模型的内容。
- 2026-07-23：概念起源与第一轮定义
- 2026-07-23：冶金案例的预注册判断
- 2026-07-23：热工能力负对照案例选择预注册
- 2026-07-23：热工能力负对照候选筛选
- 2026-07-24：案例组合与研究深度政策
- 2026-07-24：Apollo—Artemis 载人登月能力案例预注册
- 2026-07-26：下一跨领域 P1 案例选择
- 2026-07-26：串行制造 P1 案例选择
- 2026-07-26：半导体 P1 案例选择
- 2026-07-26：认知表征 P1 案例选择
- 2026-07-26：跨案例形式模型迭代阶段门
- 2026-07-26：形式模型定向反例案例预注册
- 2026-07-26：形式模型定向反例候选筛选
- 2026-07-26：Debian 10 “buster”安全修复发布能力有限 P1 预注册
- 2026-07-27：形式模型 v2 有限修订范围
- 2026-07-28：形式模型 v2 工作记录模板与字段检查
- 2026-07-28：文章范围决定与推迟裁决
- 2026-07-28：Debian buster 有限 P1 中止记录
- 2026-07-28：最小可计算原型范围
- 2026-07-28：能力同一性判据候选：转化签名等同
- 2026-08-31：FD-10 共享状态类词表的最小维护规则
- 2026-08-31：能力边界的双层表示：转化种类与调用剖面
- 2026-09-08：回到项目初心与下一步实验
新讨论使用 讨论模板。