| title | Wiki 首页 |
|---|---|
| status | active |
| type | navigation |
| created | 2026-07-23 |
| updated | 2026-09-08 |
flowchart LR
Q[讨论与问题] --> M[概念与领域模型]
M --> H[可检验命题]
H --> C[历史与现实案例]
C --> A[分析与修正]
A --> M
A --> P[专业文章]
S[来源与阅读笔记] --> M
S --> C
- 假说区
- 核心命题草案
- 案例研究区
- 早期铜冶金案例
- Apollo—Artemis 载人登月能力生命周期
- Vogtle 3、4 与美国大型核电新建能力
- Springfield Armory 的量规控制与可互换制造能力
- Fairchild 平面工艺与可制造单片集成电路能力
- Shannon 布尔开关表征与继电器电路综合能力
- 分析方法
- 能力证据标准
- 评估框架
- 相关理论
- 工具自迭代
- 文章工作区
- 文章大纲
- 讨论日志
- 热工能力负对照预注册
- 热工能力负对照候选筛选
- 案例组合与研究深度政策
- Apollo—Artemis 载人登月能力预注册
- 下一跨领域 P1 案例选择
- 串行制造 P1 案例选择：机床、量规与可互换零件
- 半导体 P1 案例选择：从器件事件到可制造集成电路
- 认知表征 P1 案例选择：从符号系统到可执行问题变换
- 跨案例形式模型迭代阶段门
- 形式模型定向反例案例预注册
- 形式模型定向反例候选筛选
- Debian 10 “buster”安全修复发布能力有限 P1 预注册
- 形式模型 v2 有限修订范围
- 形式模型 v2 工作记录模板与字段检查
- 文章范围决定与推迟裁决
- Debian buster 有限 P1 中止记录
- 最小可计算原型范围
- 能力同一性判据候选：转化签名等同
- FD-10 共享状态类词表的最小维护规则
- FD-11 能力边界的双层表示：转化种类与调用剖面
- 回到项目初心与闭包结果语义实验
- 状态类词表与调用剖面的接口假说
- Çatalhöyük 主候选证据包
- 决策记录
- 当前阶段：形式模型 v2 有限修订：闭包结果语义实验已收束
- 已完成：在既有 M1/M2 窄规则上新增结构化闭包解释，分开记录逐 generate 边的守卫三值、目标到达、边的实际执行、最终局部条件与缺失状态主张；新增 7 项对照，原型合计 35 项可发现测试通过，旧接口与四个冶金演示保持兼容
- 当前结论：目标可由一条成功路径到达，同时保留其他路径的 UNKNOWN；缺少状态证据与本轮生成成功可以并存；最终余额不足不是全局不可达证明。这只使原型的判断边界可见，不解决 FD-4 的初始组合默认值或 FD-5 的贪心预算策略，不同步稳定词汇表
- 后续动作：继续定义 FD-11 的 source q 与 require/supply 守卫语义；决定是否让 FD-10 严格模式取代兼容路径；研究 FD-4 的初始信息不足与 FD-9 的失活重建规则。上述工作均需以具体推理歧义为实验目标，服务于长期的能力演化模拟