修复: patch_file 小改动自动放行 + tool_result JSON 压缩 + prompt 项目路径

- C-260627: patch_file ≤5 行自动放行,不阻塞 AI 工作流
- tool_result 压缩: JSON 数组截断到 10 条 + _truncated 标记
- system_prompt: 项目清单增加「目录:」路径信息

crates/df-ai/src/context_helpers.rs

@@ -341,6 +341,8 @@ pub const TOOL_RESULT_SUMMARIZE_RATIO: f32 = 0.40;
 pub const TOOL_RESULT_HEAD_LINES: usize = 5;
 /// extract_key_info 保留的尾部行数。
 pub const TOOL_RESULT_TAIL_LINES: usize = 5;
+/// extract_key_info JSON 数组截断上限(防 tool_result 数组过大撑爆 prompt)。
+pub const TOOL_RESULT_MAX_ARRAY: usize = 10;
 
 /// 判断 tool_result 是否需摘要压缩:content >2KB 或 占比 >40%。
 ///
@@ -374,6 +376,29 @@ pub fn should_summarize_tool_result(
 ///
 /// `tool_name` 仅用于摘要头注释,不参与内容判断。空 content 返回空字符串。
 pub fn extract_key_info(content: &str, tool_name: &str) -> String {
+    // JSON 感知压缩:识别对象中的大数组并截断
+    if let Ok(mut val) = serde_json::from_str::<serde_json::Value>(content) {
+        if let Some(obj) = val.as_object_mut() {
+            let mut truncated = false;
+            for (_key, field) in obj.iter_mut() {
+                if let Some(arr) = field.as_array() {
+                    if arr.len() > TOOL_RESULT_MAX_ARRAY {
+                        *field = serde_json::Value::Array(
+                            arr.iter().take(TOOL_RESULT_MAX_ARRAY).cloned().collect()
+                        );
+                        truncated = true;
+                    }
+                }
+            }
+            if truncated {
+                obj.insert("_truncated".into(), serde_json::Value::Bool(true));
+                return serde_json::to_string(&val).unwrap_or_else(|_| content.to_string());
+            }
+        }
+        // JSON 解析成功但无数组超限 → 原样返回(非 JSON 的走下行行数截断)
+        // 注意:不 return,继续行数判断(如 read_file 的 content 字段虽在 JSON 内但实际包含文件全文,行数压缩仍有价值)
+    }
+
     let lines: Vec<&str> = content.lines().collect();
     if lines.is_empty() {
         return String::new();