wandering1
2a6080827d
docs(网络): 自愈架构 §4.1 形态详解 / §4.10 读即清审计 / §1.5 横向对照
四块内容，都是"把已经做完的事写进文档"，无新增设计。
1. §4.1 形态表扩成 6 小节：两个所有者 / 四个词 / 形态表（补"芯片命令"列与
U11 独立行）/ 每个形态为什么长这样、怎么验的 / 为什么 ①③⑤ 常态 0 命中 /
M3 可疑门与沿革。
⚠ 修一处文档 bug：原 ④ 行实际描述的是 U11，真正的 ④ 没有行。已补 U11
独立行，并在 ⚠ 注记里记录这次更正及其 U12 后果。
2. §4.10 读即清信源审计：两个读即清寄存器与两级门控、现存读清点全量清单
（产品代码 6 处）、已根除的三条互吞实例、一处"看着像缺陷其实是配对
消费"、新增一处读清的三条准入判据 + 结构性残余。AGENTS.md 的 CH395F
单连接 socket 条目加指针。
3. §1.5 与主流 offload 驱动的代码级对照（正面回答"是不是过度设计"）：
ioLibrary close()/listen() 原文、四个机制一一映射、三条约束差异表、
"死等把代价挪到运行时"、lwIP/Zephyr 对照、诚实清单（可省 16 B / 不可省
沉降窗 + D10 + listen 前排清 + 登记执行分离）、唯一杠杆是芯片。
4. 模块归属修正（承接 63cf73b 的 net_events.c 抽出）：
- §11.5 新增一节，含"为什么是一个模块而不是两个"（对账真实调用事件
处理器 2 处 + NET_RECON_STABLE_DEATH 两边共用）与三处非纯搬移；
- §9 行数快照更新，并加警告：这类快照**当天就会漂移**，是地图不是判据；
- §1.5 的 net_listener.c 行数随注释精简同步（508/277 → 386/155）。
引用修正波及 5 个文件：BSD_Socket_API 使用指南文件职责表（拆出
net_events.c 行）、函数调用关系 §4.8 标题、Net 层阻塞模型两处形态⑤表格、
CH395F_Trap_Records 两处"对应文件"（保留"原在 net_socket.c"的历史）。
⚠ doc-links 只校验 § 编号存在性，照不出"函数在哪个文件"——这类归属
漂移门禁不拦，必须人工扫。
验证：check_doc_links --all --sections-strict PASS（2146 处引用，可判定
1263，无法判定 0，142 文档）；ci_local L0 32 钩子 + L0.5 953/953 全过。
2026-10-14 18:18:06 +08:00
..
2026-10-14 18:18:06 +08:00
2026-10-14 18:18:06 +08:00
2026-10-14 18:18:06 +08:00
2026-10-14 18:18:06 +08:00