wandering1
db16694a87
上一笔提交 720f841 留下的待办，已登记在报告与 GD5F Trap Records 遗留 3。
ftl_page_in_range() 的越界上界 = num_blocks << log2_ppb，完全依赖 log2_ppb；
而这两个 log2_* 原本在 disk_initialize 里是裸字面量 11 / 6。将来换 128 页/块
的兼容片、只改了 GD5F_* 常量而忘了同步字面量，守卫会**静默算错**——偏大就是
越界守卫失效，正是它要防的那一类错误，且不报任何错。
收口方式比"加一条断言"更彻底：字面量收成 FTL_LOG2_PAGE_SIZE / FTL_LOG2_PPB
单一真源（disk_initialize 与守卫同取此宏，杜绝两处各写一遍再各自漂移），再加
两条负数组编译期守卫 FTL_PAGE_SIZE == (1 << FTL_LOG2_PAGE_SIZE) 与
GD5F_PAGES_PER_BLOCK == (1 << FTL_LOG2_PPB)。AC5 不支持 C11 _Static_assert，
负数组是本项目惯用法（同本目录 gd5f2gq5ue.h 的 N-26 DMA 契约守卫）。
验证：@build 0 错 0 警且**代码尺寸逐字节不变**（Code 213,540 / ER_IROM1
232,280 B / RW_IRAM1 75,232 B）→ 纯语义等价重构；主机侧移植层单测
149/149 PASSED。**守卫牙齿实测**：临时把 FTL_LOG2_PPB 改成 7 → 编译失败
（nand_ftl.c:70 error C2118 负下标），改回即恢复，证明它真会拦而不是摆设。
文档：GD5F Trap Records 遗留 3 由"待办"改为"同日已收口"并记收口方式；
nand_ftl.c 模块头修改记录补第 ④ 条。
Drivers/BSP/GD5F2GQ5UE/ — GD5F2GQ5UE SPI NAND 驱动 + FTL
256MB SPI NAND Flash 驱动，以及之上的 FTL（Flash 转换层，
nand_ftl.c）—— 提供逻辑块映射、坏块管理、磨损均衡。再上层是 dhara（坏块/磨损算法）与 FatFs。
文件一览
| 文件 | 作用 |
|---|---|
gd5f2gq5ue.c/h |
NAND 芯片底层驱动：读/写/擦除、页/块管理、ID 与状态查询 |
nand_ftl.c/h |
FTL 层：逻辑地址 → 物理地址映射、坏块表、磨损均衡 |
硬件接口
- SPI1：PE0 CS / PB3 SCK / PB4 MISO / PB5 MOSI / PB8 WP / PE1 HOLD
三层存储栈
FatFs（文件系统）
↓
dhara（坏块管理 + 磨损均衡算法，Lib/dhara/）
↓
nand_ftl.c（本目录，FTL 适配）
↓
gd5f2gq5ue.c（本目录，芯片驱动）
↓
GD5F2GQ5UE 芯片
⚠️ 改本驱动前必读陷阱
| 陷阱 | 说明 |
|---|---|
| FatFs 打开模式 | FA_OPEN_APPEND(0x30) 不含 FA_WRITE(0x02)——追加写必须 FA_WRITE|FA_OPEN_APPEND，否则 f_write 恒返 FR_DENIED(7) |
| FatFs 文件名 | 严格 8.3 短名、不得以点开头（.fschk 会 FR_INVALID_NAME，纯 RAM 判定不碰盘）；自愈逻辑严禁把名字类错误归入"卷损坏"触发集 |
f_write 簇分配失败返回 FR_OK + 短写 |
判失败必须校验写回字节数（无错误码） |
| 禁用 C 库堆分配 | MicroLIB 堆仅 512B，malloc 必返回 NULL；用 pvPortMalloc/vPortFree |
完整台账见
docs/问题记录/GD5F2GQ5UE_Trap_Records.md。
相关文档
- 存储架构：
docs/架构设计/STM32F4-Base存储架构说明.md - 测试指南：
docs/测试说明/GD5F2GQ5UE_Test_Guide.md - 容量恢复：
docs/测试说明/存储维护与容量恢复.md