intentdna 1.7.4 → 1.8.0

package/spec/multi-config.md

@@ -1,172 +0,0 @@
-# Spec: Multi-Config 模板管理
-
-## Metadata
-- Date: 2026-04-15
-- Phase: 6 (持续改进 C2/C3)
-- Status: 设计完成，待实现
-
-## Goal
-
-支持一个项目同时使用多个 DNA 模板，每个模板有独立的 namespace、roles、workflows。统一编译到一个 IR，运行时透明。
-
-## 目录结构
-
-```
-.dna/
-  configs/                     # 多模板配置目录
-    flutter-rewrite.yaml       # namespace: frw
-    secure-dev.yaml            # namespace: sec
-    code-review.yaml           # namespace: cr
-  compiled/
-    ir.json                    # 合并后的单一 IR
-  state/
-    trace/
-  lock                         # 追踪所有 configs 的 hash
-```
-
-## 核心设计决策
-
-| 决策 | 结论 | 理由 |
-|------|------|------|
-| 目录结构 | `.dna/configs/*.yaml` | 独立目录，清晰分离 |
-| IR 输出 | 合并为单一 ir.json | hooks 只读一个 IR，运行时透明 |
-| Namespace 冲突 | 编译时报错 | 一个 namespace 只属于一个模板，静默覆盖 = 数据丢失 |
-| Gene 冲突 | 合并 codons + 警告 | gene 是项目级共享概念，additive 合并最合理 |
-| 向后兼容 | 暂不考虑 | 新项目直接用 configs/，老项目手动迁移 |
-| 性能 | 无影响 | YAML parse 5 个文件 ~25ms，ir.json KB 级，hook 运行时无差异 |
-
-## Namespace 冲突处理
-
-编译时扫描 `configs/*.yaml`，检测 namespace 重复：
-
-```typescript
-// sync.ts
-const namespaces = new Map<string, string>(); // namespace → filename
-for (const config of configs) {
-  if (namespaces.has(config.namespace)) {
-    throw new Error(
-      `Namespace "${config.namespace}" conflict: ` +
-      `${namespaces.get(config.namespace)} and ${config.filename}. ` +
-      `Each template must have a unique namespace.`
-    );
-  }
-  namespaces.set(config.namespace, config.filename);
-}
-```
-
-## Gene 冲突处理
-
-同名 gene 来自不同模板时，合并 codons 并输出警告：
-
-```typescript
-// cascade.ts
-if (mergedGenes[geneName] && sourceNamespace !== existingNamespace) {
-  // Different templates define same gene — merge codons
-  mergedGenes[geneName].codons.push(...gene.codons);
-  warnings.push(
-    `Gene "${geneName}" defined in both ${existingNamespace} and ${sourceNamespace}. ` +
-    `Codons merged. Verify this is intentional.`
-  );
-} else {
-  // Same namespace or new gene — normal cascade (higher priority wins)
-  mergedGenes[geneName] = gene;
-}
-```
-
-## 模板版本追踪
-
-每个 config 文件增加 `_template_version` 字段：
-
-```yaml
-_source_template: flutter-rewrite
-_template_version: "1.4.9"      # npm 包版本时写入
-```
-
-`dna sync` 时对比：
-1. 读每个 config 的 `_source_template` + `_template_version`
-2. 查 npm 包里对应模板的当前版本
-3. 版本不一致 → 提示 "flutter-rewrite 有新版本 (1.4.9 → 1.5.0)，是否升级？(Y/n)"
-4. 确认 → `upgradeConfig()` 全量替换 + 回写 variables
-
-## dna sync 流程变化
-
-```
-当前:
-  autoDetectDNA() → 找 .dna/config.yaml → 读一个文件 → 编译
-
-新:
-  autoDetectConfigs() → 扫描 .dna/configs/*.yaml
-    → 读所有文件
-    → 检测 namespace 冲突（报错）
-    → 检测 gene 冲突（合并 + 警告）
-    → 检测模板版本（提示升级）
-    → cascadeDNA(all) → 合并为一个 IR
-    → 生成全部产物
-```
-
-## dna init 流程变化
-
-```
-当前:
-  dna init --template flutter-rewrite
-    → 写 .dna/config.yaml
-
-新:
-  dna init --template flutter-rewrite
-    → mkdir -p .dna/configs/
-    → 写 .dna/configs/flutter-rewrite.yaml
-
-  dna init --template secure-dev    (追加第二个模板)
-    → 检测 namespace 冲突
-    → 写 .dna/configs/secure-dev.yaml
-```
-
-## dna init --upgrade 流程变化
-
-```
-当前:
-  读 .dna/config.yaml → 升级一个
-
-新:
-  dna init --upgrade                  (升级所有)
-    → 扫描 configs/*.yaml
-    → 逐个检测版本，逐个升级
-
-  dna init --upgrade flutter-rewrite  (升级指定)
-    → 只升级 configs/flutter-rewrite.yaml
-```
-
-## 对现有功能的影响
-
-| 功能 | 改动 |
-|------|------|
-| **autoDetectDNA()** | 改为 `autoDetectConfigs()`，扫描 `configs/*.yaml` |
-| **cascadeDNA()** | 无改动（已支持多 DNA 输入） |
-| **ir.json** | 内容更大（更多 roles/workflows），格式不变 |
-| **hooks (dna-hook)** | 无改动（只读 ir.json） |
-| **agents/*.md** | 无改动（namespace 前缀天然隔离） |
-| **skills/*.md** | 无改动（namespace 前缀天然隔离） |
-| **settings.json** | 无改动（hook 注册逻辑不变） |
-| **CLAUDE.md** | 所有模板的 directives 合并注入 |
-| **lock 文件** | 追踪所有 configs/*.yaml 的 hash |
-| **dna init** | 写到 `configs/` 目录 |
-| **dna init --upgrade** | 支持全量升级和指定升级 |
-
-## 不做
-
-- 向后兼容自动迁移（老项目手动 `mv config.yaml configs/`）
-- config 间的 gene 优先级控制（MVP 用合并 + 警告）
-- 运行时动态加载 config（全部编译时处理）
-
-## Acceptance Criteria
-
-- [ ] `dna init --template X` 写到 `.dna/configs/X.yaml`
-- [ ] `dna sync` 自动扫描 `configs/*.yaml`
-- [ ] namespace 重复 → 编译报错
-- [ ] 同名 gene 不同模板 → codons 合并 + 警告
-- [ ] `_template_version` 写入 config，sync 时对比提示升级
-- [ ] `dna init --upgrade` 支持全量和指定模板
-- [ ] 多模板编译为单一 ir.json
-- [ ] agents/skills 文件 namespace 隔离正确
-- [ ] lock 文件追踪所有 configs
-- [ ] 测试覆盖：namespace 冲突、gene 合并、多模板编译、升级流程

package/spec/parallel-isolation.md

@@ -1,268 +0,0 @@
-# Spec: DNA 并行执行 + Worktree 隔离
-
-## Metadata
-- Interview: 8 rounds, final ambiguity 20%
-- Type: brownfield
-- Date: 2026-04-14
-- Phase: 6 (基础体验)
-
-## Goal
-
-DNA 模板可声明并行执行策略和文件隔离策略，编译到 workflow-runner 生成的 bash 脚本中实际执行。支持强制 worktree、编译时自动判断（scope overlap）、和无隔离三种模式。
-
-## 核心设计决策
-
-| 决策 | 结论 | 理由 |
-|------|------|------|
-| 执行方式 | 自管 worktree (bash) | 不依赖 CC 平台特性，完全自控 |
-| isolation 语义 | 纯文件隔离 | context 隔离已由独立进程解决，context 保护已由 Handoff 解决 |
-| Schema 声明 | step 属性 + parallel block 双支持 | 灵活性 + 简洁性兼顾 |
-| auto 模式 | 编译时 scope overlap 检测 | DNA 独有能力——Role scope 编译时已知 |
-| merge 策略 | escalate only (MVP) | 冲突报告给用户，不自动解决 |
-| scope.write 语义 | merge-time accept filter | 不是运行时 block rule，是合并时的产出过滤器 |
-| 模型差异 | 暂不考虑 | 后续扩展 |
-
-## 设计哲学：默会知识与三层防御
-
-参考波兰尼（Michael Polanyi）默会知识理论：意图不能被规则穷尽，但可以通过适当的"身体"来实现。
-
-**核心洞察**：`scope.write: ["test/**"]` 表达的是模板作者的**意图**（"这个角色只该写测试文件"），不应该被实现为运行时工具拦截（显性规则，不完备），而应该被实现为物理隔离 + 出口把关（身体 + 审查）。
-
-### 为什么工具拦截不可靠
-
-路径级 scope enforce 通过拦截工具检查文件路径（Write/Edit/Bash/MCP...）。但写文件的工具不可枚举——每出现一个新工具就是一个绕过点。这是认识论问题，不是实现问题：显性规则永远追不上默会知识的丰富度。
-
-### 三层对应
-
-| 层 | 时机 | 机制 | 波兰尼对应 | 可靠度 |
-|---|---|---|---|---|
-| **工具控制** | PreToolUse | `tool_permissions.deny` — 禁止工具本身 | 显性知识（可完全条文化） | 高——工具名有限可枚举 |
-| **过程提示** | PreToolUse | 当前 scope enforce（保留为软防线） | 辅助线索（from） | 低——最佳努力，不可依赖 |
-| **出口把关** | Merge time | **scope gate 过滤 git diff** — 只接受 scope 内改动 | 焦点判断（to） | **确定性——基于实际产出** |
-
-scope.write 的真正语义：**merge 时的 accept filter**，不是运行时的 block rule。
-
-agent 在 worktree 内有完整读权限（理解上下文）和写自由（不被微管理），但只有符合角色意图的产出才能合并回主分支。如同管理者不盯每次敲键盘，而在 review 时评估产出。
-
-## Schema 设计
-
-### isolation 取值
-
-| 值 | 含义 |
-|---|---|
-| `none` | 共享目录（默认，当前行为） |
-| `worktree` | 强制每个并行 step 开 worktree |
-| `auto` | 编译时分析 scope overlap，自动决定 none 或 worktree |
-
-### 两种声明方式
-
-**方式 A: step 属性 + workflow 默认值（隐式并行）**
-
-```yaml
-workflows:
-  rescue:
-    default_isolation: auto       # workflow 级默认
-    merge_strategy: escalate
-    steps:
-      - id: investigate
-        role: investigator
-      - id: fix-auth
-        role: surgeon
-        isolation: worktree       # step 级覆盖
-        depends_on: [investigate]
-      - id: fix-api
-        role: surgeon
-                                   # 继承 workflow 默认 auto
-        depends_on: [investigate]
-      - id: report
-        depends_on: [fix-auth, fix-api]
-```
-
-编译器通过 `depends_on` + Kahn 拓扑排序自动检测并行组（已实现）。
-
-**方式 B: 显式 parallel block（语法糖）**
-
-```yaml
-workflows:
-  rescue:
-    steps:
-      - id: investigate
-        role: investigator
-
-      - parallel:
-          isolation: worktree
-          merge_strategy: escalate
-          steps:
-            - id: fix-auth
-              role: surgeon
-            - id: fix-api
-              role: surgeon
-
-      - id: report
-        depends_on: [fix-auth, fix-api]
-```
-
-parallel block 编译时展开为带 `depends_on` 的独立 step + 统一 isolation 设置。
-
-### isolation 粒度
-
-| 粒度 | 声明位置 | 含义 |
-|------|----------|------|
-| step 级 | step.isolation | 该 step 的并行执行隔离 |
-| workflow 级 | workflow.default_isolation | 所有并行组的默认隔离策略 |
-
-step 级 > workflow 级（覆盖优先级）。
-
-## auto 模式编译逻辑
-
-```
-对每个 ParallelGroup:
-  1. 收集组内所有 step 对应 role 的 write scope
-  2. 做 glob 交叉检测（minimatch 或等价）
-  3. 无重叠 → 编译为 none
-  4. 有重叠 → 编译为 worktree
-  5. 无法判断（"**/*"）→ 保守编译为 worktree
-```
-
-## workflow-runner 生成
-
-### isolation: none（当前行为不变）
-
-```bash
-# Group 1: fix-auth, fix-api (parallel, no isolation)
-run_agent "dna-surgeon" 'prompt' "fix-auth" &
-PID_fix_auth=$!
-run_agent "dna-surgeon" 'prompt' "fix-api" &
-PID_fix_api=$!
-wait $PID_fix_auth || STEP_fix_auth_STATUS=1
-wait $PID_fix_api || STEP_fix_api_STATUS=1
-```
-
-### isolation: worktree
-
-```bash
-# Group 1: fix-auth, fix-api (parallel, worktree isolation)
-MAIN_BRANCH=$(git rev-parse --abbrev-ref HEAD)
-
-git worktree add .dna/worktrees/fix-auth -b dna-wt-fix-auth HEAD 2>/dev/null
-git worktree add .dna/worktrees/fix-api -b dna-wt-fix-api HEAD 2>/dev/null
-
-(cd .dna/worktrees/fix-auth && run_agent "dna-surgeon" 'prompt' "fix-auth") &
-PID_fix_auth=$!
-(cd .dna/worktrees/fix-api && run_agent "dna-surgeon" 'prompt' "fix-api") &
-PID_fix_api=$!
-
-wait $PID_fix_auth || STEP_fix_auth_STATUS=1
-wait $PID_fix_api || STEP_fix_api_STATUS=1
-
-# Merge (escalate on conflict)
-merge_worktree() {
-  local branch=$1 name=$2
-  if ! git merge --no-commit --no-ff "$branch" 2>/dev/null; then
-    git merge --abort
-    echo "[Intent DNA] CONFLICT: $name conflicts with $MAIN_BRANCH. Manual resolution required."
-    echo "[Intent DNA] Branch preserved: $branch"
-    return 1
-  fi
-  git commit -m "merge: $name" --no-edit
-}
-
-merge_worktree "dna-wt-fix-auth" "fix-auth"
-merge_worktree "dna-wt-fix-api" "fix-api"
-
-# Cleanup (only if merge succeeded)
-git worktree remove .dna/worktrees/fix-auth 2>/dev/null
-git worktree remove .dna/worktrees/fix-api 2>/dev/null
-```
-
-### Merge-time scope gate
-
-合并前过滤越权改动（scope.write 的真正执行点）：
-
-```bash
-# scope gate: 只接受 scope 内的改动
-scope_gate() {
-  local branch=$1 role=$2
-  # 获取该 role 的 write scope globs (从 IR 读取)
-  local allowed_globs=$(read_scope_globs "$role")
-  
-  # 检查所有改动文件
-  local changed=$(git diff --name-only HEAD...$branch)
-  local rejected=()
-  for file in $changed; do
-    if ! matches_any_glob "$file" $allowed_globs; then
-      rejected+=("$file")
-      # 在 worktree 中 revert 越权改动
-      (cd .dna/worktrees/$branch && git checkout HEAD -- "$file")
-    fi
-  done
-  
-  if [ ${#rejected[@]} -gt 0 ]; then
-    echo "[Intent DNA] Scope gate: ${#rejected[@]} file(s) outside scope, reverted:"
-    printf "  - %s\n" "${rejected[@]}"
-    # trace 记录越权尝试 → 表观遗传反馈
-  fi
-}
-
-scope_gate "fix-auth" "surgeon"
-scope_gate "fix-api" "surgeon"
-```
-
-## Constraint IR 扩展
-
-```typescript
-// ParallelGroup 扩展
-interface ParallelGroup {
-  group_index: number;
-  step_ids: string[];
-  isolation: 'none' | 'worktree';       // auto 已被编译期解析
-  merge_strategy: 'escalate';            // MVP: escalate only
-  scope_overlap: boolean;                // 编译期分析结果
-}
-
-// WorkflowIR 扩展
-interface WorkflowIR {
-  // ... 现有字段
-  parallel_groups?: ParallelGroupIR[];   // 新增
-}
-```
-
-## 与 DNA 现有概念的关系
-
-| DNA 概念 | 在并行隔离中的角色 |
-|---|---|
-| **Role scope.write** | **merge-time scope gate 的输入**——决定哪些改动可以合并回主分支 |
-| **Role scope** | auto 模式的编译时 overlap 分析输入 |
-| **tool_permissions.deny** | 工具级控制（可靠层）——reviewer 不能用 Edit |
-| **Handoff** | 并行 step 的 artifact 传递（已实现） |
-| **Threshold codon** | 可声明 `parallel_without_isolation == false` 硬约束 |
-| **Attract codon** | `attract: worktree_per_task` 软提示（保留兼容） |
-| **Hooks enforce (PreToolUse)** | 保留为过程提示（辅助软防线），不作为安全保障依赖 |
-| **表观遗传** | scope gate 越权记录 → trace → epigenetic marker 反馈 |
-
-## 不做
-
-- 自动冲突解决（MVP 只 escalate）
-- LLM 模型差异适配（暂不考虑）
-- context budget 管理（已由独立进程 + Handoff 解决）
-- container 级隔离（过度设计）
-- sparse-checkout（限制读权限会破坏 agent 理解上下文的能力）
-
-## Acceptance Criteria
-
-- [ ] Schema: WorkflowStepDef 支持 `isolation` 字段
-- [ ] Schema: WorkflowDef 支持 `default_isolation` + `merge_strategy`
-- [ ] Schema: `parallel:` block 语法糖可解析
-- [ ] Compiler: auto 模式 scope overlap 检测正确
-- [ ] Compiler: parallel block 展开为 step + depends_on
-- [ ] workflow-runner: isolation=none 行为不变（向后兼容）
-- [ ] workflow-runner: isolation=worktree 生成 git worktree 生命周期脚本
-- [ ] workflow-runner: merge 前执行 scope gate（过滤越权改动）
-- [ ] workflow-runner: merge 冲突时 escalate（报告 + 保留分支）
-- [ ] scope gate: 越权改动被 revert + trace 记录
-- [ ] E2E: 两个并行 step 写不同目录，auto → none，正确执行
-- [ ] E2E: 两个并行 step 写相同目录，auto → worktree，隔离执行 + merge
-- [ ] E2E: agent 写越权文件，scope gate 过滤 + trace 记录
-- [ ] Dogfood: flutter-rewrite rescue workflow 可配置 isolation
-- [ ] IR: ParallelGroup 包含 isolation + scope_overlap 信息
-- [ ] 测试覆盖所有新增代码