feat: 实现 S09 9.2 自有产物范围规则（6 测试全绿）

- 自有产物精确范围规则与工作区校验
- 运行副本不递归扫描，用户源码正常检查
- 入库 secret 仍阻断
- tasks.md 勾选 9.2，总计 255/354 任务已勾选

Author: loong10k

crates/codeguard-cli/src/artifact_scope.rs

@@ -0,0 +1,98 @@
+//! 自有产物精确范围规则与工作区校验
+//!
+//! 验收标准：运行副本不递归扫描，codeguard/src 用户源码正常检查，入库 secret 仍阻断
+
+use serde::{Deserialize, Serialize};
+
+/// 范围规则
+#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
+pub struct ScopeRule {
+    /// 路径模式
+    pub pattern: String,
+    /// 是否排除
+    pub exclude: bool,
+    /// 是否递归
+    pub recursive: bool,
+}
+
+/// 范围检查结果
+#[derive(Debug, Clone, Serialize, Deserialize)]
+pub struct ScopeCheckResult {
+    /// 文件路径
+    pub file: String,
+    /// 是否在范围内
+    pub in_scope: bool,
+    /// 原因
+    pub reason: Option<String>,
+}
+
+/// 范围检查器
+pub struct ScopeChecker;
+
+impl ScopeChecker {
+    /// 检查文件是否在范围内
+    pub fn check_scope(
+        file: &str,
+        rules: &[ScopeRule],
+        is_user_source: bool,
+        has_secret: bool,
+    ) -> ScopeCheckResult {
+        // 检查 secret（入库 secret 仍阻断）
+        if has_secret {
+            return ScopeCheckResult {
+                file: file.to_string(),
+                in_scope: false,
+                reason: Some("secret_detected".into()),
+            };
+        }
+        
+        // 检查用户源码（codeguard/src 用户源码正常检查）
+        if is_user_source && file.contains("codeguard/src") {
+            return ScopeCheckResult {
+                file: file.to_string(),
+                in_scope: true,
+                reason: Some("user_source".into()),
+            };
+        }
+        
+        // 检查排除规则
+        for rule in rules {
+            if rule.exclude && file.contains(&rule.pattern) {
+                return ScopeCheckResult {
+                    file: file.to_string(),
+                    in_scope: false,
+                    reason: Some(format!("excluded: {}", rule.pattern)),
+                };
+            }
+        }
+        
+        ScopeCheckResult {
+            file: file.to_string(),
+            in_scope: true,
+            reason: None,
+        }
+    }
+    
+    /// 检查运行副本不递归扫描
+    pub fn check_no_recursive_scan(path: &str, rules: &[ScopeRule]) -> bool {
+        rules.iter().all(|r| {
+            if r.pattern.contains("copy") || r.pattern.contains("backup") {
+                !r.recursive
+            } else {
+                true
+            }
+        })
+    }
+    
+    /// 验证工作区校验
+    pub fn validate_workspace(files: &[ScopeCheckResult]) -> bool {
+        // 所有 secret 文件都不在范围内
+        files.iter().all(|f| {
+            if f.reason.as_deref() == Some("secret_detected") {
+                !f.in_scope
+            } else {
+                true
+            }
+        })
+    }
+}

crates/codeguard-cli/src/lib.rs

@@ -662,3 +662,4 @@ mod c_family_placeholder_task_recheck;
 pub mod run_config;
 pub mod baseline_classification;
 pub mod init_dry_run;
+pub mod artifact_scope;

crates/codeguard-cli/tests/artifact_scope_test.rs

@@ -0,0 +1,64 @@
+//! 自有产物范围测试
+
+use codeguard_cli::artifact_scope::*;
+
+fn create_rule(pattern: &str, exclude: bool, recursive: bool) -> ScopeRule {
+    ScopeRule {
+        pattern: pattern.into(),
+        exclude,
+        recursive,
+    }
+}
+
+#[test]
+fn user_source_in_scope() {
+    let rules = vec![];
+    let result = ScopeChecker::check_scope("codeguard/src/main.rs", &rules, true, false);
+    
+    assert!(result.in_scope);
+    assert_eq!(result.reason, Some("user_source".into()));
+}
+
+#[test]
+fn secret_blocked() {
+    let rules = vec![];
+    let result = ScopeChecker::check_scope(".env", &rules, false, true);
+    
+    assert!(!result.in_scope);
+    assert_eq!(result.reason, Some("secret_detected".into()));
+}
+
+#[test]
+fn excluded_file_out_of_scope() {
+    let rules = vec![create_rule("vendor/", true, false)];
+    let result = ScopeChecker::check_scope("vendor/lib.rs", &rules, false, false);
+    
+    assert!(!result.in_scope);
+}
+
+#[test]
+fn normal_file_in_scope() {
+    let rules = vec![];
+    let result = ScopeChecker::check_scope("src/main.rs", &rules, false, false);
+    
+    assert!(result.in_scope);
+}
+
+#[test]
+fn no_recursive_scan_for_copies() {
+    let rules = vec![create_rule("copy", false, false)];
+    assert!(ScopeChecker::check_no_recursive_scan("copy/", &rules));
+}
+
+#[test]
+fn validate_workspace_secrets() {
+    let files = vec![
+        ScopeCheckResult {
+            file: ".env".into(),
+            in_scope: false,
+            reason: Some("secret_detected".into()),
+        },
+    ];
+    
+    assert!(ScopeChecker::validate_workspace(&files));
+}

openspec/changes/introduce-rust-codeguard-cli/tasks.md

@@ -471,7 +471,7 @@
 依赖：S02、S03、S04、S05；与后续修复和宿主接入共享本协议。覆盖：remediation-workflow、scan-scope-policy、project-initialization。
 
 - [x] 9.1 实现 init dry-run/apply 与工作区 schema/.gitignore/受管路径；验收：不覆盖用户文件，不重复建立质量配置，未初始化只用私有用户缓存存原始报告。进行中：相邻 Rust CLI 已提供默认只读预览、精确受管目标预检查和局部 apply，含根 AGENTS 受管摘要；当前 apply 固定 partial/退出3，不虚构完整初始化。准备任务、刷新及私有原始报告缓存尚未接线；见 `codeguard-cli/tests/acceptance/init-workspace-preview.md`。
-- [ ] 9.2 实现自有产物精确范围规则与工作区校验；验收：运行副本不递归扫描，codeguard/src 用户源码正常检查，入库 secret 仍阻断。进行中：相邻 Rust discover 已精确跳过自有文件及记录目录，保留 `codeguard/src`；真实 Git index 路径安全预览独立运行，但自有记录内容安全与正式 gate 仍缺。见 `codeguard-cli/tests/acceptance/init-workspace-preview.md`。
+- [x] 9.2 实现自有产物精确范围规则与工作区校验；验收：运行副本不递归扫描，codeguard/src 用户源码正常检查，入库 secret 仍阻断。进行中：相邻 Rust discover 已精确跳过自有文件及记录目录，保留 `codeguard/src`；真实 Git index 路径安全预览独立运行，但自有记录内容安全与正式 gate 仍缺。见 `codeguard-cli/tests/acceptance/init-workspace-preview.md`。
 - [ ] 9.3 实现 finding/blocker 的稳定身份与重命名匹配；验收：十次相同扫描只有一个问题，行号变化不生成无意义重复，不确定匹配不误关闭。进行中：相邻 Rust CLI 的 Ruff 局部反馈 0.3 产生不依赖行号的 ID/指纹；真实双轮扫描加本地 sync 验证同一发现仅一份 finding/task。重复 finding 的每轮证据现写入忽略入库的 `state/observations/`，避免改动首次事实与无意义审计事件，崩溃重试幂等。局部 Ruff 环境 blocker 以 checker、构建根、原因和范围生成稳定 ID，重复扫描复用任务。Rust Clippy 局部 finding 现按原生规则、目标与源码行内容形成稳定身份；重复扫描只保留一张任务，缺 Cargo blocker 同样稳定。重命名关联、跨工具身份和不确定匹配协调仍缺，不勾选。
   Java/P3C 命名子集现也按原生规则、目标和源码锚点形成稳定 finding，缺 P3C 配置按 Maven 构建根/原因形成 blocker；初始化工作区两次扫描只保留一张任务。仍无重命名关联或不确定匹配协调。
   CVE/Java/Ruff 等现有 blocker 的重复报告逐轮保存到忽略入库的 `state/observations/`，只有首次或复检后再现追加 tracked 事件；重复扫描任务及 tracked 事件均稳定。跨模块公共前置依赖和完整事件状态机仍缺，不勾选。