docs(报告): 删除 §0.2「未闭环问题」小节
Top 2 修复销项后该节只剩指针与暂缓说明，而三条内容都已在别处单点详述： 未闭环清单 → §0.4；内存簇暂缓 → §0.3 主线一与 §5.3 暂缓横幅；Top 2 修复 证据 → 变更记录与文末「已销项条目的记录去处」。按 ../文档规范.md「同一 事实只在一处详述」删除，不留空壳。 §0.3 / §0.4 编号保持不变、不重排：../任务规划/README.md §2 前言正引用 本报告 §0.3，报告内部另有 §0.4 交叉引用，重排会全断（与本报告 2026-10-14 变更记录第 ⑤ 条「报告自有编号不回改、不重排」同一口径）。代价是 §0 下 现为 0.1 → 0.3 → 0.4 的空号，已在变更记录里写明理由。 文首「销项状态」行指针 §0.2 / §0.4 → §0.4；变更记录补一行删除说明。 check_doc_links --all：142 篇、无法判定 0。
This commit is contained in:
@@ -4,7 +4,7 @@
|
||||
|------|------|
|
||||
| 审查日期 | 2026-09-18（初版） |
|
||||
| **最近复核** | **2026-10-15**（R-9 落地后重链接），基线 `HEAD = a7f5265`（分支 `v2-on-ui`，工作树干净；其后的 `0cece5a` 文档提交与 `172b3f4` 模拟器侧改动都不影响固件）；固件基线 = `MDK-ARM/STM32F407-Demo/STM32F407-Demo.map`（0 Error / 0 Warning，Code 212,344 = 已含 `506eccc` 的 `cfg_file` / `sd2506` 改动，比 2026-10-14 那次干净基线多 48 B）。本报告只在**内存/Flash 水位**上追这次构建，其余结论仍属 2026-10-14 复核 |
|
||||
| **销项状态** | 本报告采用**修复即销项**：已修复项的正文与表格行已删除，去处见文末**已销项条目的记录去处**；未闭环清单见 **§0.2 / §0.4** |
|
||||
| **销项状态** | 本报告采用**修复即销项**：已修复项的正文与表格行已删除，去处见文末**已销项条目的记录去处**；未闭环清单见 **§0.4** |
|
||||
| 审查范围 | 仓库全量（2,466 个受版本控制文件 / 79.3 MB）；重点为自研代码 50,874 行（191 文件）与构建产物内存画像 |
|
||||
| 审查方式 | 静态审查 + 链接图（.map）量化分析 + 构建脚本/门禁核对；**未做上机动态验证**（除特别标注外） |
|
||||
| 目标 | 结构合理性、文档分布合理性、模块设计合理性、改进路线图、内存优化、UI 标准化 |
|
||||
@@ -30,19 +30,6 @@
|
||||
| Flash 使用 | **A−** | F-1/F-2/F-3 落地省 64,576 B → 占用 **22.2%（232,280 B）** | F-4/F-5/F-6 ≈10 KB + 编译时长（§5.4） |
|
||||
| UI 标准化 | **B** | golden 回归已建（`simulator/tests/` 四脚本，含池水位门禁） | 无令牌层 / 无组件库 / 无页注册表（手写 `case` 仍在）、**27 页**未落地、golden 与字符集差集未挂门禁（§6） |
|
||||
|
||||
### 0.2 未闭环问题（2026-10-15 复核）
|
||||
|
||||
> ✅ **原 Top 2 已全部修复并销项（2026-10-15）**：
|
||||
> ① **N-12 / N-13**（登记簿 N-21，W2）——`dhara_nand_is_free()` 改整页精确扫描、HAL 六个入口加几何上界守卫；
|
||||
> ② **N-16**（登记簿 N-24，W4）——日志写侧一次排空合并成"每文件一次 open/write/close"、读侧加 8 条滑动窗口。
|
||||
> 实施记录与硬约束 → `../架构设计/STM32F4-Base存储架构说明.md` §5.3（移植层两条硬约束）、`../子系统设计/运行与自检记录设计说明.md` §4.4 / §4.5（写批量化 + 读窗口）；验证链见文末变更记录（含台架 journal 恢复点同轨对照）。
|
||||
|
||||
剩余未闭环项**均非紧急级**（W4 结构债 / 评估簇 / 已裁定暂缓的内存优化簇），逐条见 §0.4；推进顺序的唯一权威仍是 `../任务规划/README.md` §2。
|
||||
|
||||
⚠ 另有两条**不在上表但需知晓**：`.git` 已膨胀到 **235 MB**（D-1，§3.1，2026-10-11 决策"暂不处理、登记观察"）；`rs485_task.c` 仍不在两端构建清单里——**这是 E-59 门禁下的刻意缺口**（随 B2 暂缓），已登记在 `check_registration.py` 的 `KNOWN_GAPS`，不是漏注册。
|
||||
|
||||
⏸ **内存优化簇已整簇暂缓**（用户裁定 2026-10-15，未闭环清单里的 R-2 剩余已移出）：R-2 后半（把 LVGL 池 + UI 两份缓冲 ≈29.6 KB 搬进 CCM）与 R-3 / R-4 / R-6 不再排期。**已落地的 R-9 与治理面保留常开**（`mem-budget` 92% 门禁、预算台账、趋势基线、栈/堆观测）。理由与重开条件 → §5.3；登记簿 N-27 已标暂缓。
|
||||
|
||||
### 0.3 两条主线建议
|
||||
|
||||
> **推进顺序的唯一权威是 [`../任务规划/README.md`](../任务规划/README.md) §2**；本节只是体系评审视角的两条结构性建议，不另立顺序。
|
||||
@@ -642,6 +629,7 @@ const ui_page_desc_t ui_page_deadzone = UI_FORM_PAGE("遥测死区", s_items_dea
|
||||
| **2026-10-15** | **补漏：§0.1 六维评分与口径/附录数字追平 R-9 后状态** | 前面那条只改了 §0.2/§0.3/§0.4/§5.x，**漏掉 §0.1、§1 术语表、附录 A 证据表**（用户指出）：① 内存使用行仍写"54,146 B 仍在 SRAM1 / SRAM1 74.9% / 须先 R-9"→ 改为 SRAM1 **56.1%（余 57,504 B）**、瓶颈收敛到 CCM 单点、只差"缩堆"一步，评级 **B → B+**（理由：SRAM1 由卡点变富裕，治理三件套与观测齐备；扣分项换成 CCM 单点 + C 堆无机械检查）② Flash `231,036` → **`231,084`**（§0.1 / §1 术语表 / §6.4 三处），并修掉术语表里 `ROM = 231,324 B` 这个**算术错**（`Code + RO + RW` 实为 **232,196 B**）③ RAM 占用定义 `98,144 / 74.9%` → **`73,568 / 56.1%`** ④ 附录 A 证据行改 `RW_IRAM1 Size: 0x00011f60`、余量 57,504 B ⑤ 文档分布 **88 篇 / 31,416 行 → 87 篇 / 30,781 行**、§3.1 体量表受控文件 **2,466 / 79.3 MB → 2,465 / 79.2 MB**（均随 `错误码传播审计.md` 删除，−1 篇 / −635 行；同表 `docs/` **56.9 MB**、手册图片 **703 张 / 36.3 MB** 复核未变）⑥ §0.1/§0.2/§0.4 与附录的复核日期统一标 **2026-10-15**，最近复核行的 `HEAD` 改指 `a7f5265` 并注明"后续文档与模拟器侧提交不影响固件"，避免每提交一次就过期 |
|
||||
| **2026-10-15** | **裁定：内存优化簇整簇暂缓** | 用户判定"把 LVGL 池与 UI 帧缓冲（现 ≈29.6 KB）搬进 CCM 作为后续功能预算来源"这个决定不合适，内存优化的事先放一放。据此：§0.2 **Top 3 → Top 2**（R-2 剩余移出名列，表下加一条 ⏸ 说明）；§0.3 主线一由"把内存从卡死变富裕"改写为"**这条线到此为止**"；§0.4 两条内存条目 🟡/❌ → **⏸ 暂缓**；§5.1 结论段与 §5.2 诊断 1 补"不代表现在要动"；**§5.3 加暂缓横幅**（三条理由 + 保留常开的治理面 + 三条重开条件），R-2 / R-3 / R-4 / R-6 优先级列一律 ~~P1/P2~~ → **⏸ 暂缓**。**已落地的 R-9 不回退**（−24,576 B 是净收益且已台架验收）；`mem-budget` 92% 门禁、预算台账、趋势基线、栈/堆观测**全部保留常开**——它们是传感器，不是优化动作。同步 `../任务规划/登记簿.md` N-27、`../任务规划/README.md` W3、`../内存管理/RAM预算台账.md` §3、`../内存管理/RAM使用分析与优化方案.md` 阶段 1.2 / 2 |
|
||||
| **2026-10-15** | **执行本报告条目：N-12 / N-13 / N-16 落地并销项** | **N-12**：`dhara_nand_is_free()` 改整页扫描（栈上 64 B 分块、页首命中即早退，成本与旧实现同价）。**N-13：本报告原建议经核对不成立，已按实际契约改修**——本仓裁剪版 dhara 既没有 `DHARA_NO_PAGE`（哨兵实为 `DHARA_PAGE_NONE`，`journal.h:46`）也没有 `DHARA_E_UNSUPPORTED`（`error.h:20-31` 枚举里没有，照抄直接编译失败），且 `map.c` 三处 `dhara_journal_copy` 调用点各自已挡掉哨兵（`map.c:260`、`:434`+`:440`、`:242`）；真风险是**移植层零上界校验**（越界页号被地址位截断成真实页 → 静默读写错页），故改为六个 HAL 入口统一几何上界守卫 + `DHARA_E_CORRUPT_MAP`（不能用 `BAD_BLOCK`：`journal.c:904` 会据此标坏块；不能用 `RECOVER`：`map.c:275` 会据此启动回收）。**N-16**：写侧一次排空合并成"每文件一次 open/write/close"（≤8 条 = 512 B 静态缓冲；**掉电语义不变**——批次仍在同一次 drain 内 close，close 回写目录项这个不同 LPN 会逼出 FTL 单页写回缓存；失败尾部回投队列，条目不丢）；读侧 8 条滑动窗口 + 写者代数失效（API 与 UI 零改动）。**刻意不批量**：`sys_log_evidence()` 的 `wdev.log` 仍逐条落盘——取证路径要求立刻进 NAND 并靠 flush 诱导逼出脏页。**验证**：`@build` 0 错 0 警（Code 212,344→**213,536**、ZI 129,880→**131,520**，+1,640 B 全为静态缓冲，不吃栈）；`@test` PASS 且**台架 journal 恢复点与修复前同轨**（`sectors used` 恒 14,094、`Map head` 每轮 +128 单调推进、`epoch` 稳定 3 → 整页 `is_free` 未改变恢复语义、无双编程）；`stack_report.py` 9 个任务全 PASS（defaultTask 静态最坏链 3,024 B / 余 40%，实测峰值 2,164 B / 余 57%）；新增主机侧移植层单测 `test/host/nand_port/`（假芯片 + 旧算法对照用例）。实施记录 → `../架构设计/STM32F4-Base存储架构说明.md` §5.3、`../子系统设计/运行与自检记录设计说明.md` §4.4/§4.5 |
|
||||
| **2026-10-15** | **删除 §0.2「未闭环问题」小节** | Top 2 修复销项后该节只剩指针与暂缓说明，而三条内容都已在别处**单点详述**：未闭环清单 → §0.4；内存簇暂缓 → §0.3 主线一与 §5.3 横幅；Top 2 修复证据 → 上一条变更记录与文末「已销项条目的记录去处」。按 `../文档规范.md`「同一事实只在一处详述」删除，不留空壳。**§0.3 / §0.4 编号保持不变、不重排**——`../任务规划/README.md` §2 前言引用本报告 §0.3，本报告内部另有 §0.4 交叉引用，重排会全断（与本表 2026-10-14 行第 ⑤ 条"报告自有编号不回改、不重排"同一口径）。文首「销项状态」行的指针由「§0.2 / §0.4」改为「§0.4」 |
|
||||
| **2026-10-14** | **清理：删除已完成与过时内容** | ① **已修复项按销项删除**（去处见下表）：N-02（FTP 鉴权）、N-03c（`Error_Handler` 降级）、**N-11（DMA 可达性三层防线 + 规则族 R1~R4）**、S-3（注册反向校验）、P2-5/P2-6（SD2506 负温度与 WRTC）、P2-8（`NET_RECV_TIMEOUT_MS` 已删）、P2-9（`mkdir` 幂等重试）、§5.5 前三条（内存治理三件套）、交付物清单已建项。② **删除过时层**：2026-09-16 / 2026-10-11 双列基线表与"复核期间未提交改动"口径说明、旧"组合结果预估"表、逐条"2026-10-11 复核"批注、历史变更记录行——内存数字改由 `../内存管理/RAM预算台账.md` 与 `scripts/ram_baseline.tsv` 持有。③ **按 2026-10-14 `.map` 与代码重测**全部保留结论的数字（含 `lftpd_log.c` 已删除并入 `lftpd_auth.c`，N-06 残余只剩 `rs485_task.c` 一条刻意缺口）。④ **修正三处错误**：R-5（`configMAX_PRIORITIES` 56→32）**判定不可行**（CMSIS-RTOS2 `#error`）；原 §7 把报告 S-5（驱动统一错误码）与登记簿 S-5（卷锁覆盖面）混为一谈；原 §5.5 第 4 条建议的 `_Static_assert` 形态在 AC5 上取不到链接期地址，已被"窗口断言 + 启动自检 + 运行时守卫"三层取代。⑤ 报告自有编号**不回改、不重排**（`../编号规范.md`） |
|
||||
|
||||
### 已销项条目的记录去处
|
||||
|
||||
Reference in New Issue
Block a user