多仓 SDD 的关键不是 Spec 放哪，而是契约归谁
多仓/submodule 下做 SDD，常纠结 Spec 塞进某个仓还是与 submodule 同级。更好的判据是契约归属——跨前后端/移动端的行为契约进独立规划层，实现任务留在各仓；OpenSpec Stores 提供了一种清晰拓扑启发。
01
cat ~/ai4se/README.md
# AI 时代的软件工程分层笔记
## Methodology • Process • Tools • Harmony • Measurement
围绕 AI4SE / Agentic Engineering，记录软件工程在方法、流程、工具、人机协作与效能度量上的系统性变化。
research@ai4se:~ — outline
$ tree ~/notes -L 2
[OK] methodology/ spec-driven/ agentic-engineering/
[OK] process/ workflow-design/ review-pipeline/
[OK] tools/ mcp-protocol/ harness-engineering/
[OK] harmony/ hitl-hotl/ governance/
[OK] measurement/ dora-metrics/ dev-productivity/
$ grep -r "Effectiveness" ~/notes
→ 15 draft articles indexed
$ npm run build
[OK] static pages generated from Markdown
$ ▌
man -k ai4se
grep -r "featured" ~/notes/
02
工程没有消失，它搬家了
Thoughtworks 与 Martin Fowler 在 2026 年主持了两场闭门会。二月犹他提出「工程去了哪里」，六月瑞士收敛成三个判断：严谨性迁到规格、测试、约束和风险；生成变便宜之后，稀缺的是信任；写代码的钟快了，等决策的钟没动。本文把两份纪要读成一篇判断文，而不是会议综述。
03
《软件工程的未来》双报告中文译版
收录两份 Thoughtworks《软件工程的未来》务虚会报告的中文译版，分别来自 2026 年 2 月美国犹他场与 2026 年 6 月瑞士恩格尔贝格场，合并于此便于对照阅读。
04
88 页论文，3 页就能讲明白——读 DeepSeek 的 Cordis 时空可组合性论文
DeepSeek 相关团队的 Cordis 预印本很长，但核心可用时空可组合性两维讲清：可回滚副作用与反应式依赖。本文先指出篇幅与术语门槛，再用工程师语言说明机制、合流性与验证边界。
05
AI Harness 作为复合函数：冻结 M(x) 之后的系统编排
从复合函数第一性原理抽象 AI Harness：冻结基础函数 M(x)，编排外层链路 H；单轮是严格多层复合，多轮是复合函数与状态机的融合。优化对象从改权重转向改 H。
06
提效比较的三锚点：可比性、可分离性、诚实性
AI 介入软件工程后，提效比较常掉进鸡同鸭比。本文提出三锚点——可比性（固定 backlog / 团队 / 窗口）、可分离性（冻结复杂度基线）、诚实性（预期而非伪装实测）——并给出吞吐、周期时间（速度口径）与配对汇总的读数纪律，附常见反模式。
dpkg -l | grep ^i
[research@ai4se ~]$ cat /etc/software-engineering.layers
Methodology
layer 1 SDD / Agentic Engineering Process
layer 2 Loop / Pipeline / Review Tools
layer 3 MCP / Harness / Automation Harmony
cross-cut HITL / HOTL / HOOL Measurement
feedback DORA / SPACE / DevEx Effectiveness
foundation Quality + Efficiency