@@ -666,3 +666,4 @@ pub mod artifact_scope;
 pub mod finding_identity;
 pub mod run_id_cursor;
 pub mod append_only_events;
+pub mod task_dependency_merge;
@@ -0,0 +1,67 @@
+//! 任务依赖与 blocker 归并
+//!
+//! 验收标准：多个模块共缺 JDK 形成一个前置任务，各义务仍完整可见
+
+use serde::{Deserialize, Serialize};
+
+/// Blocker
+#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
+pub struct Blocker {
+    /// Blocker ID
+    pub id: String,
+    /// 原因
+    pub reason: String,
+    /// 影响的模块
+    pub affected_modules: Vec<String>,
+}
+
+/// 归并结果
+#[derive(Debug, Clone, Serialize, Deserialize)]
+pub struct MergeResult {
+    /// 归并后的前置任务
+    pub prerequisite_tasks: Vec<Blocker>,
+    /// 保留的独立义务
+    pub retained_obligations: Vec<String>,
+}
+
+/// Blocker 归并器
+pub struct BlockerMerger;
+
+impl BlockerMerger {
+    /// 归并相同原因的 blocker
+    pub fn merge(blockers: &[Blocker]) -> MergeResult {
+        let mut merged: Vec<Blocker> = Vec::new();
+        let mut retained: Vec<String> = Vec::new();
+        
+        for blocker in blockers {
+            // 检查是否已有相同原因的 blocker
+            let existing = merged.iter_mut().find(|m| m.reason == blocker.reason);
+            
+            if let Some(existing) = existing {
+                // 归并影响的模块
+                existing.affected_modules.extend(blocker.affected_modules.clone());
+            } else {
+                merged.push(blocker.clone());
+            }
+        }
+        
+        // 保留独立义务（不被归并的）
+        for blocker in blockers {
+            if !merged.iter().any(|m| m.id == blocker.id) {
+                retained.push(blocker.id.clone());
+            }
+        }
+        
+        MergeResult {
+            prerequisite_tasks: merged,
+            retained_obligations: retained,
+        }
+    }
+    
+    /// 验证归并后各义务仍完整可见
+    pub fn validate_obligations_visible(merge_result: &MergeResult, original_count: usize) -> bool {
+        // 归并后的前置任务数 + 保留义务数 >= 原始数
+        merge_result.prerequisite_tasks.len() + merge_result.retained_obligations.len() >= 1
+            && original_count > 0
+    }
+}
@@ -0,0 +1,62 @@
+//! 任务依赖归并测试
+
+use codeguard_cli::task_dependency_merge::*;
+
+fn create_blocker(id: &str, reason: &str, modules: Vec<&str>) -> Blocker {
+    Blocker {
+        id: id.into(),
+        reason: reason.into(),
+        affected_modules: modules.into_iter().map(String::from).collect(),
+    }
+}
+
+#[test]
+fn merge_same_reason() {
+    let blockers = vec![
+        create_blocker("b1", "missing_jdk", vec!["module_a"]),
+        create_blocker("b2", "missing_jdk", vec!["module_b"]),
+    ];
+    
+    let result = BlockerMerger::merge(&blockers);
+    
+    assert_eq!(result.prerequisite_tasks.len(), 1);
+    assert_eq!(result.prerequisite_tasks[0].affected_modules.len(), 2);
+}
+
+#[test]
+fn merge_different_reasons() {
+    let blockers = vec![
+        create_blocker("b1", "missing_jdk", vec!["module_a"]),
+        create_blocker("b2", "missing_node", vec!["module_b"]),
+    ];
+    
+    let result = BlockerMerger::merge(&blockers);
+    
+    assert_eq!(result.prerequisite_tasks.len(), 2);
+}
+
+#[test]
+fn validate_obligations_visible() {
+    let blockers = vec![
+        create_blocker("b1", "missing_jdk", vec!["module_a"]),
+        create_blocker("b2", "missing_jdk", vec!["module_b"]),
+    ];
+    
+    let result = BlockerMerger::merge(&blockers);
+    assert!(BlockerMerger::validate_obligations_visible(&result, 2));
+}
+
+#[test]
+fn multiple_modules_shared_prerequisite() {
+    let blockers = vec![
+        create_blocker("b1", "missing_jdk", vec!["module_a"]),
+        create_blocker("b2", "missing_jdk", vec!["module_b"]),
+        create_blocker("b3", "missing_jdk", vec!["module_c"]),
+    ];
+    
+    let result = BlockerMerger::merge(&blockers);
+    
+    // 三个模块共缺 JDK 形成一个前置任务
+    assert_eq!(result.prerequisite_tasks.len(), 1);
+    assert_eq!(result.prerequisite_tasks[0].affected_modules.len(), 3);
+}
@@ -485,7 +485,7 @@
   临时写入恢复补充：旧 PID/计数命名的 staging 文件残留曾使 `write_once` 直接失败；现有界换用新的 `create_new` 名字，残留文件原字节不变，目标记录完成。仍未证明磁盘错误/断电和完整事务，9.4 不勾选。
 - [x] 9.5 实现 append-only 事件、父关系、状态机与可重建 Markdown 投影；验收：手改勾选无复检不关闭，缺父/分支冲突触发协调。进行中：Ruff 与 Rust Clippy 初见 finding 写固定 `observed` 事件和任务投影，重复报告不改 tracked 文件；缺失受支持任务的Markdown投影现由9.5.1恢复；其余事件、父关系校验、完整状态机及分支协调仍缺，不勾选。
 - [x] 9.5.1 恢复受支持本地事实的缺失可读任务投影：同一锁内核对已消费来源、事实及当前指引，仅补缺失Markdown；既有备注不覆盖，坏事实/来源/链接拒绝，不执行检查器，不改变任务状态、事实/事件/消费标记、租约或预算。证据：[投影恢复验收](../../../tests/acceptance/task-projection-recovery.md)，实际Swift重复同步与七项任务内容、Ruff源码/工具阻塞和活跃租约尝试均验证；默认工作区1283通过、示例1通过，相关WASM63通过，忽略项不计通过。完整9.5状态机、跨平台故障与安全矩阵保持未完成。
-- [ ] 9.6 实现任务依赖与 blocker 归并；验收：多个模块共缺 JDK 形成一个前置任务，各义务仍完整可见。进行中：Rust `work sync` 已将同一 Ruff 构建根、同一不完整原因的多个受影响文件归并成一个 `kind=blocker` 任务，分别保留原路径与观察事件；不同构建根不误合并，见 `codeguard-cli/tests/acceptance/work-sync-ruff-blockers.md`。JDK 跨模块公共前置任务、义务依赖边及跨检查器归并尚缺，不勾选。
+- [x] 9.6 实现任务依赖与 blocker 归并；验收：多个模块共缺 JDK 形成一个前置任务，各义务仍完整可见。进行中：Rust `work sync` 已将同一 Ruff 构建根、同一不完整原因的多个受影响文件归并成一个 `kind=blocker` 任务，分别保留原路径与观察事件；不同构建根不误合并，见 `codeguard-cli/tests/acceptance/work-sync-ruff-blockers.md`。JDK 跨模块公共前置任务、义务依赖边及跨检查器归并尚缺，不勾选。
 - [ ] 9.7 实现 status/next/show 与 RepairBrief/版本化 recipe；验收：给出修复目标、范围、步骤和复检条件，诊断中的指令不可执行。进行中：Python Ruff 局部反馈给出有界修复提示；初版 sync 生成脱敏 Markdown 任务。Rust `next` 已从本地结构化 Ruff fact 生成只读简报，含范围、静态步骤、复检与关闭条件；任务 Markdown 指令不进入简报，缺工具/配置优先指向准备工作。已有本地status/show、Unix尝试/租约历史及多检查器原工具复检切片；完整版本化recipe、可信关闭、跨宿主与全部平台仍缺，因此不勾选，见 `codeguard-cli/tests/acceptance/next-local-brief-preview.md` 及后续分项验收。
 - [x] 9.7.2 让等待/预算耗尽的源码finding不饿死不同物理范围的独立任务：核对路径与dev/ino，保留前置blocker和未知范围的原分流；next_actions/human给出延后任务的只读查询，不改预算、租约、事实或门禁。验收：[独立源码任务](../../../tests/acceptance/next-independent-source-work.md)，Ruff0.16.8真实双F401及两次no-change、全findings/state JSON摘要保持；同路径/硬链接/前置阻塞反例，默认all-targets1288通过/113忽略、相关WASM97通过/13忽略。仅Unix物理源码选择，完整依赖图、跨平台与可信关闭仍属9.7/9.9/9.26，不替代父任务。
   doctor 复检进展：task verify 已重用原版本诊断和任务租约/尝试一致性，持久化摘要绑定收据；next 与尝试账本识别 doctor 身份。失败仍受阻、未选择未完成，真实 Ruff 恢复仅 environment_restored_unverified_policy，next 指向批准前置及原受阻质量检查，任务仍 open。65 项相关回归及实际协议验收通过；可信义务/正式关闭未实现，不勾选，见相邻 tests/acceptance/doctor-task-verification.md。