文档: 能力批设计收口与走查状态同步

- DRY技术债走查报告:状态表同步 12/12 全收口,头部注记状态表为走查快照
- 并行化与异步唤醒设计:补 §13.4 有界失败记忆(窗口折叠/失败分册按类去重/监控轮转,三界类目口径同源)
- todo:登记 GitHub 直连受限替代方案(失败学习环首条)+F-m 实施细节补充

docs/02-架构设计/专项设计/DRY技术债走查报告-2026-10-01.md

@@ -2,24 +2,25 @@
 
 > 范围：全库（src-tauri + src），origin/main..HEAD 30 笔提交走查的横向延伸。
 > 方法：只读审计，按（漂移后果 × 重复量）降序。纯相似但不漂移的不算债。
-> 本轮已收口：#3。其余待排期，收敛方向已给出，勿新造抽象层。
+> 本轮已收口：#1/#2/#3/#4/#5/#6/#7/#8/#9/#10/#11/#12 全部 12 项（B/C 批收口记录见任务 de6095bd 注释与 DRY-A 任务）。
+> 状态表仅反映走查当时快照，实测以任务销账记录为准。
 
 ## 汇总
 
 | # | 债务 | 重复量 | 漂移后果 | 状态 |
 |---|------|--------|----------|------|
-| 1 | emit+publish 双写样板 ~50 处 | ~120 行 | 已发生（BUG-260805-02 只 emit 未 publish 丢事件） | 待排期 |
+| 1 | emit+publish 双写样板 ~50 处 | ~120 行 | 已发生（BUG-260805-02 只 emit 未 publish 丢事件） | ✅ 收口 |
-| 2 | KV 引号归一 7 处 3 种策略并存 | ~25 行 | 已发生（auto-execute medium/all 档静默失效注释自证） | 待排期 |
+| 2 | KV 引号归一 7 处 3 种策略并存 | ~25 行 | 已发生（auto-execute medium/all 档静默失效注释自证） | ✅ 收口 |
 | 3 | 高风险工具名单 TS↔Rust 双写 | 名单×2 | 已漂移：前端缺 10 个 High 工具，审批后二次确认漏弹 | ✅ 本轮收口 |
-| 4 | 噪音目录名单 4 处 4 套 | ~25 行 | 已漂移（AI 搜索与文件树过滤集合不一致） | 待排期 |
+| 4 | 噪音目录名单 4 处 4 套 | ~25 行 | 已漂移（AI 搜索与文件树过滤集合不一致） | ✅ 收口 |
-| 5 | 工具元数据 match 表散布 5 处 | ~90 行 | 已漂移（幽灵 edit_file/list_dir 分支永不命中） | 待排期 |
+| 5 | 工具元数据 match 表散布 5 处 | ~90 行 | 已漂移（幽灵 edit_file/list_dir 分支永不命中） | ✅ 收口 |
-| 6 | 相对时间阶梯 3 套实现 | ~45 行 | 用户可见不一致（同为更新时间三种分档） | 待排期 |
+| 6 | 相对时间阶梯 3 套实现 | ~45 行 | 用户可见不一致（同为更新时间三种分档） | ✅ 收口 |
-| 7 | insert system 警示骨架 4 处同构 | ~100 行 | conv 生命周期语义变更需 4 处同改 | 待排期 |
+| 7 | insert system 警示骨架 4 处同构 | ~100 行 | conv 生命周期语义变更需 4 处同改 | ✅ 收口 |
-| 8 | 压缩关键词兜底块逐字双胞胎 | ~35 行 | 两条失败路径易只改其一产生行为分叉 | 待排期 |
+| 8 | 压缩关键词兜底块逐字双胞胎 | ~35 行 | 两条失败路径易只改其一产生行为分叉 | ✅ 收口 |
-| 9 | formatWaitTime+等待阈值双写三处 | ~36 行 | 审批浮窗与主窗「变红」时刻分叉风险 | 待排期 |
+| 9 | formatWaitTime+等待阈值双写三处 | ~36 行 | 审批浮窗与主窗「变红」时刻分叉风险 | ✅ 收口 |
-| 10 | 灵感 statusOptions 双写 | ~20 行 | 透传链断一处详情页回退英文原值 | 待排期 |
+| 10 | 灵感 statusOptions 双写 | ~20 行 | 透传链断一处详情页回退英文原值 | ✅ 收口 |
-| 11 | truncate 家族（同名不同义陷阱） | ~30 行 | fetch_url 与 audit 同名函数语义分叉误导复用 | 部分收口 |
+| 11 | truncate 家族（同名不同义陷阱） | ~30 行 | fetch_url 与 audit 同名函数语义分叉误导复用 | ✅ 收口 |
-| 12 | LOCK-SLOW 持锁计时样板 ~29 处 | ~145 行 | 低（阈值/行号写死变量名，维护噪音） | 待排期 |
+| 12 | LOCK-SLOW 持锁计时样板 ~29 处 | ~145 行 | 低（阈值/行号写死变量名，维护噪音） | ✅ 收口 |
 
 ## 明细与收敛方向
 
@@ -65,6 +66,7 @@
 - 正典 audit/utils.rs:32（补 …）；fetch_url.rs:655 同名不同义（返回元组）；generate_image.rs:460、knowledge_inject.rs:544 手写 take(500)
 - 已收口部分：tools/knowledge.rs 本地截断已改调正典（本轮）
 - 残留收敛：正典上移共享位改名 truncate_chars_ellipsis；fetch_url 改名 truncate_markdown 消同名陷阱
+- ✅ 全部完成（2026-10-04）：audit/utils.rs 正典改名 truncate_chars_ellipsis + audit/mod.rs re-export / record.rs / generate_image.rs / knowledge_inject.rs / tools/knowledge.rs 全链同步；fetch_url truncate_markdown 已先行改名；df-ai context_helpers.rs 私有版跨 crate 不引依赖保留原名+正典标注注释。验收 cargo check --workspace EXIT 0 + devflow 679 测试全过。#2/#6/#9/#10 同日源码核验均为前批已落地（文档滞后）。
 
 ### 12. LOCK-SLOW 样板
 - 29 处 × 5 行，变量名编码行号（__hold610），阈值 30ms 逐处复制

docs/02-架构设计/专项设计/并行化与异步唤醒-设计-2026-10-04.md

@@ -334,3 +334,13 @@ F-m1 归类统计(只读)/F-m2 教训提炼+注入/F-m3 失败现场附学。自
 5. **临时文件同规**: 临时文件(中间产物/探针输出/快照)与脚本同一套生命周期——落专用目录(temp/ 或 .scratch/,禁根目录/文档目录/源码树)+命名带主题与日期+声明保留策略(用完即删/任务末清理)+**永不进 git**(gitignore 已挡,提交前三问第 1 问复核)。今天实证的应然态:探查脚本堆落 docs/.research/ 即违规,应落 temp/agent-monitor/ 同级专用目录。
 
 6. **文档同规**: AI 产文档三分各归其位——①会话报告/分析结论:默认对话内直交,需跨会话保留落 temp/(命名主题-日期);②设计文档:docs/02-架构设计/专项设计/ +INDEX 登记;③项目文档:对应 docs/ 子目录+中文命名+INDEX 更新。禁:文档落根目录/未进 INDEX/设计稿与正式文档混放。今天正反例:四篇设计落专项设计目录(正)vs .research 勘察堆落 docs 目录(反,应落 temp/)。
+
+### 13.4 有界失败记忆([补1]:不无限堆失败记录撑爆上下文)
+
+失败记忆三界,界界有界:
+
+- **窗口内(会话)**: A4 的失败豁免需精化——**同签名失败只保留首条全文,重复签名折叠为一行**「同上: <工具+错误类> (第 N 次)」(签名=工具名+错误类目,非全文哈希)。同时达成三事:上下文不灌爆/盲试被显式计数可视化(第 N 次本身就是给 LLM 的停止信号)/首条因果详情永不丢。豁免从「无条件全文」精化为「首条全文+后续折叠」,A4 语义不回退。
+- **会话间(失败分册)**: knowledges 失败分册按**类**去重——一个失败类一条教训,新证据合并更新旧条目(版本化),非追加新条;分册 Top-K 有界(按频次×新近度保留 50 类,LRU 淘汰长尾)
+- **监控(history.jsonl)**: 每小时一行体量极小,按月轮转归档即可(年增 ~2MB,卫生性轮转)
+
+一致性: 三界的「类目」口径同源(错误归类函数复用,F-m1 的归类器一处实现)——窗口折叠/分册去重/统计归因用的是同一套签名,避免三处三套口径漂移。

docs/todo.md

@@ -1067,3 +1067,10 @@ graph TD
 - [ ] W-f 2.0 改为最小探针(依赖声明工具面暴露,使用率决定深化)——[补2] 方法修正
 
 - [ ] F-m 失败学习环(设计 §十三):F-m1 失败归类统计(挂机自领类)/F-m2 教训提炼进 knowledges 失败分册+同类任务前置注入/F-m3 失败现场即时附学;拍板点 1 项(教训审核)
+
+# 环境知识:GitHub 直连受限的替代方案(2026-10-04 深夜,失败学习环首条)
+
+- download_file 拉 github.com releases 失败(今晚 protoc 实证)→ 替代:**URL 前缀镜像**(如 https://gh-proxy.com/ + 原URL)或 **gh 命令**(gh release download,已登录态)或本地包管理器(winget/choco 装 protoc 等构建依赖,一次预置后构建不再拉外网)
+- download_file 工具增强候选:失败自动镜像回退(小改,登记待批)
+
+- [ ] F-m 实施细节补充(§13.4 有界失败记忆):A4 失败豁免精化为「首条全文+同签名折叠一行(第N次)」——防窗口灌爆+盲试显式计数;失败分册按类去重 Top-K 有界;监控按月轮转;三界类目口径同源(同一归类函数)